ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving

Documenti analoghi

• An In-Context Learning Agent for Formal Theorem-Proving
  di: Thakur, Amitayush, et al.
  Pubblicazione: (2023)
• CLEVER: A Curated Benchmark for Formally Verified Code Generation
  di: Thakur, Amitayush, et al.
  Pubblicazione: (2025)
• PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
  di: Tsoukalas, George, et al.
  Pubblicazione: (2024)
• Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
  di: Rao, Balaji, et al.
  Pubblicazione: (2025)
• Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
  di: Zhang, Terry Jingchen, et al.
  Pubblicazione: (2025)