A thread about formal verification of LLMs.I often find myself disclaiming that I do *not* propose to formally verify question-answering or assistant-type models, because I don’t think the…
Posters: davidad. davidad
2 likes recorded by the source corpus.