ATG: Benchmarking Automated Theorem Generation for Generative Language Models

Documenti analoghi

• FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
  di: Lin, Xiaohan, et al.
  Pubblicazione: (2024)
• MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  di: Huang, Yinya, et al.
  Pubblicazione: (2024)
• Lyra: Orchestrating Dual Correction in Automated Theorem Proving
  di: Zheng, Chuanyang, et al.
  Pubblicazione: (2023)
• Proving Theorems Recursively
  di: Wang, Haiming, et al.
  Pubblicazione: (2024)
• CLOMO: Counterfactual Logical Modification with Large Language Models
  di: Huang, Yinya, et al.
  Pubblicazione: (2023)