SRASS
From MaRDI portal
Cited in
(16)- Automated verification of refinement laws
- An abstraction-refinement framework for reasoning with large theories
- I-SATCHMO
- Names are not just sound and smoke: word embeddings for axiom selection
- Detecting inconsistencies in large first-order knowledge bases
- Divvy
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- SigmaKEE
- SInE
- Lemmatization for stronger reasoning in large theories
- SNARK
- History and prospects for first-order automated deduction
- System description: E.T. 0.1
- Learning-assisted theorem proving with millions of lemmas
- Theorem proving in large formal mathematics as an emerging AI field
- Sine qua non for large theory reasoning
This page was built for software: SRASS
