PROMISE: Proof Automation as Structural Imitation of Human Reasoning
Summary
No summary yet. VIRAT can read this paper and write a plain-language summary of its aim, methods, key findings and limitations.
Summarise with VIRAT Free to try with your Science Catalogs account.Abstract
Evaluation result for the paper [PROMISE: Proof Automation as Structural Imitation of Human Reasoning]. It includes the result of all the settings in the paper.
Fields of Study & Subjects
Logic
programming
and type systems
Reasoning
and Knowledge
Formal Methods in Verification
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 17 March 2026
- Language
- EN