\texttt{gym-saturation}: gymnasium environments for saturation provers (system description)

DOI10.1007/978-3-031-43513-3_11MaRDI QIDQ6541151

Boris A. Shminke

Publication date: 17 May 2024

zbMATH Keywords

reinforcement learningmachine learningautomated theorem provingsaturation-style proving

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• IeanCOP: lean connection-based theorem proving
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Improving ENIGMA-style clause selection while learning from history
• Recursive tree grammar autoencoders
• Vampire getting noisy: Will random bits help conquer chaos? (system description)
• Towards finding longer proofs
• \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
• Old or heavy? Decaying gracefully with age/weight shapes
• Faster, higher, stronger: E 2.3
• A study of continuous vector representations for theorem proving
• The 10th IJCAR automated theorem proving system competition – CASC-J10
• Implementing Superposition in iProver (System Description)

This page was built for publication: \texttt{gym-saturation}: gymnasium environments for saturation provers (system description)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541151)