Graph sequence learning for premise selection

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)