A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants

Documenti analoghi

• Towards Repository-Level Program Verification with Large Language Models
  di: Zhong, Si Cheng, et al.
  Pubblicazione: (2025)
• Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
  di: Tang, Hao, et al.
  Pubblicazione: (2024)
• Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
  di: Luo, Ziyan, et al.
  Pubblicazione: (2023)
• From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
  di: Cao, Jialun, et al.
  Pubblicazione: (2025)
• A Certified Proof Checker for Deep Neural Network Verification in Imandra
  di: Desmartin, Remi, et al.
  Pubblicazione: (2024)