pith. machine review for the scientific record. sign in

arXiv preprint arXiv:2205.12628 , year=

5 Pith papers cite this work. Polarity classification is still indexing.

5 Pith papers citing it

representative citing papers

BEAVER: An Efficient Deterministic LLM Verifier

cs.AI · 2025-12-05 · unverdicted · novelty 7.0

BEAVER is the first practical deterministic verifier that maintains sound probability bounds on LLM safety properties using token tries and frontier data structures, finding 2-3x more violations than sampling at 1/10 the compute.

citing papers explorer

Showing 5 of 5 citing papers.