Graph sequence learning for premise selection
From MaRDI portal
Publication:6650565
DOI10.1016/j.jsc.2024.102376MaRDI QIDQ6650565
Konstantin Korovin, Edvard K. Holden
Publication date: 9 December 2024
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Artificial neural networks and deep learning (68T07) Learning and adaptive systems in artificial intelligence (68T05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- MizAR 40 for Mizar 40
- Fast and slow enigmas and parental guidance
- MPTP 0.2: Design, implementation, and initial experiments
- Lightweight relevance filtering for machine-generated resolution problems
- Isabelle/HOL. A proof assistant for higher-order logic
- The role of the Mizar mathematical library for interactive proof development in Mizar
- ATPboost: learning premise selection in binary setting with ATP feedback
- ATP and presentation service for Mizar formalizations
- Machine learning guidance for connection tableaux
- Neural precedence recommender
- Improving stateful premise selection with transformers
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Automated deduction -- CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2--7, 2009. Proceedings
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Premise selection for mathematics by corpus analysis and kernel methods
- Framing image description as a ranking task: data, models and evaluation metrics
- System Description: E 1.8
- Random Forests for Premise Selection
- iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
- Multidimensional binary search trees used for associative searching
- The Structure and Function of Complex Networks
- A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
- Implementing Superposition in iProver (System Description)
- Sine Qua Non for Large Theory Reasoning
- MaSh: Machine Learning for Sledgehammer
- The 11th IJCAR automated theorem proving system competition – CASC-J11
- Targeted configuration of an SMT solver
This page was built for publication: Graph sequence learning for premise selection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6650565)