Autoformalization in the Era of Large Language Models: A Survey

Documenti analoghi

• Automated Formalization via Conceptual Retrieval-Augmented LLMs
  di: Lu, Wangyue, et al.
  Pubblicazione: (2025)
• MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
  di: Li, Sirui, et al.
  Pubblicazione: (2025)
• Can Large Language Models Autoformalize Kinematics?
  di: Kabra, Aditi, et al.
  Pubblicazione: (2025)
• A Survey on Multimodal Large Language Models
  di: Yin, Shukang, et al.
  Pubblicazione: (2023)
• Imposter.AI: Adversarial Attacks with Hidden Intentions towards Aligned Large Language Models
  di: Liu, Xiao, et al.
  Pubblicazione: (2024)