Pages that link to "Item:Q1404981"

The following pages link to IeanCOP: lean connection-based theorem proving (Q1404981):

Displaying 24 items.

• Liberalized variable splitting (Q877894) (← links)
• Automated verification of refinement laws (Q1037397) (← links)
• Machine learning guidance for connection tableaux (Q2031418) (← links)
• Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
• Towards finding longer proofs (Q2142073) (← links)
• The role of entropy in guiding a connection prover (Q2142077) (← links)
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
• Learning theorem proving components (Q2142080) (← links)
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
• ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
• nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
• A Non-clausal Connection Calculus (Q3010371) (← links)
• MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
• Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
• Efficient Low-Level Connection Tableaux (Q3455764) (← links)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
• Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
• From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
• Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
• Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
• Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
• Lemmas: generation, selection, application (Q6541149) (← links)
• \texttt{gym-saturation}: gymnasium environments for saturation provers (system description) (Q6541151) (← links)