Pages that link to "Item:Q3608780"
From MaRDI portal
The following pages link to SRASS - A Semantic Relevance Axiom Selection System (Q3608780):
Displaying 14 items.
- SRASS (Q33178) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Names are not just sound and smoke: word embeddings for axiom selection (Q2305419) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)