AutoReal
Abstract
AutoReal-Prover is an language model for interactive theorem proving in real-world verification projects. It is designed to generate Isabelle proof scripts together with natural-language explanations, with the goal of supporting proof development and inspection in large-scale verification efforts.
Fields of Study & Subjects
Logic
programming
and type systems
Software Engineering Research
Mathematics
Computing
and Information Processing
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 29 January 2026