Update report: LEO-II version 1.5
Christoph Benzm\"uller, Nik Sultana
TL;DR
This paper reports recent enhancements to the LEO-II theorem prover, including interface improvements, new translation methods, and strategy scheduling, aimed at increasing its effectiveness and flexibility.
Contribution
It introduces several new features and improvements to LEO-II, such as a revised ATP interface, new translation techniques, and enhanced strategy scheduling, advancing its capabilities.
Findings
Enhanced ATP interface improves usability
New translation methods increase proof success
Flexible strategy scheduling optimizes performance
Abstract
Recent improvements of the LEO-II theorem prover are presented. These improvements include a revised ATP interface, new translations into first-order logic, rule support for the axiom of choice, detection of defined equality, and more flexible strategy scheduling.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Logic, Reasoning, and Knowledge