ENTITY
Verina
Verina
PulseAugur coverage of Verina — every cluster mentioning Verina across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
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…