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)
• ATG: Benchmarking Automated Theorem Generation for Generative Language Models
  di: Lin, Xiaohan, et al.
  Pubblicazione: (2024)
• Lyra: Orchestrating Dual Correction in Automated Theorem Proving
  di: Zheng, Chuanyang, et al.
  Pubblicazione: (2023)
• DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
  di: Xin, Huajian, et al.
  Pubblicazione: (2024)