SRASS
From MaRDI portal
Software:33178
swMATH21370MaRDI QIDQ33178FDOQ33178
Author name not available (Why is that?)
Cited In (11)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- History and Prospects for First-Order Automated Deduction
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field
- Sine Qua Non for Large Theory Reasoning
- Automated verification of refinement laws
- An abstraction-refinement framework for reasoning with large theories
- Learning-assisted theorem proving with millions of lemmas
- Names are not just sound and smoke: word embeddings for axiom selection
- Lemmatization for Stronger Reasoning in Large Theories
- System Description: E.T. 0.1
- Detecting inconsistencies in large first-order knowledge bases
This page was built for software: SRASS
