SRASS - A Semantic Relevance Axiom Selection System
From MaRDI portal
Publication:3608780
DOI10.1007/978-3-540-73595-3_20zbMath1213.68575OpenAlexW1493929955MaRDI QIDQ3608780
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_20
Related Items
History and Prospects for First-Order Automated Deduction ⋮ System Description: E.T. 0.1 ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Premise Selection in the Naproche System ⋮ Sine Qua Non for Large Theory Reasoning ⋮ Names are not just sound and smoke: word embeddings for axiom selection ⋮ SRASS ⋮ Automated verification of refinement laws
Uses Software
