MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification

Documenti analoghi

• Automated Formalization via Conceptual Retrieval-Augmented LLMs
  di: Lu, Wangyue, et al.
  Pubblicazione: (2025)
• Autoformalization in the Era of Large Language Models: A Survey
  di: Weng, Ke, et al.
  Pubblicazione: (2025)
• Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
  di: Cao, Chuxue, et al.
  Pubblicazione: (2025)
• Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
  di: Liu, Qi, et al.
  Pubblicazione: (2025)
• Automated Theorem Proving for Prolog Verification
  di: Mesnard, Fred, et al.
  Pubblicazione: (2026)