#verification
- Dockerless: Environment-Free Program Verifier for Coding Agents ByteDance research
- LLM-as-a-Verifier: verification as an independent scaling axis for LLMs Stanford University / UC Berkeley / NVIDIA research
- Anthropic: LLMs make formal software verification feasible at much larger scale Anthropic research
- The Verification Horizon: No Single Reward Function Works for Coding Agents at Scale Qwen (Alibaba) research
- OpenAI forms Advisory Group on Mathematics and AI OpenAI research
- AdvancedMathBench: Benchmark Suite for Advanced Mathematical Proof Generation and Verification InternLM research