Verina
PulseAugur coverage of Verina — every cluster mentioning Verina across labs, papers, and developer communities, ranked by signal.
-
New LLM methods boost verified code generation with integrated planning and proof search
Researchers have developed new methods for verified code generation, where large language models (LLMs) produce both executable programs and machine-checkable proofs of correctness. The first approach, P$^{3}$, integrat…
-
AI models improve code generation with new verification techniques
Researchers have developed new methods to improve the ability of large language models to generate correct code and proofs. One approach, TTRL-CoCoV, uses confidence-conditioned verification to enhance coverage and accu…
-
New framework VeriScale improves LLM code generation benchmarks
Researchers have developed VeriScale, a new framework designed to create more robust benchmarks for evaluating code generated by large language models. This framework uses adversarial methods to expand and then reduce t…