Papers

• HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement (2025)
  Jilin Hu et al.
  2.82
• s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs (2026)
  Balaji Rao et al.
  1.94
• SEVerA: Verified Synthesis of Self-Evolving Agents (2026)
  Debangshu Banerjee et al.
  1.78
• DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data (2024)
  Huajian Xin et al.
  —