Browse State-of-the-Art › Automated Theorem Proving › Papers, page 3

Automated Theorem Proving

Papers archive 2025-07-28

archive papers tagged: 288 · with a code link: 110 · where Syntology ran a sample: 46 (35 with a run with no instrument failure, 11 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (46 of 288 tagged: 35 with a run with no instrument failure, 11 where every run was a failure of Syntology's instrument)

Page 3 of 3: papers 201 to 288 of 288, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.

• Selection Strategies for Commonsense Knowledge
  18 Feb 2022 0 repositories listed
• From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook
  12 Feb 2022 0 repositories listed
• Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
  10 Feb 2022 0 repositories listed
• Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
  2 Feb 2022 0 repositories listed
• Proceedings of the 13th International Conference on Automated Deduction in Geometry
  28 Dec 2021 0 repositories listed
• Proving Theorems using Incremental Learning and Hindsight Experience Replay
  20 Dec 2021 0 repositories listed
• Logically Sound Arguments for the Effectiveness of ML Safety Measures
  4 Nov 2021 0 repositories listed
• Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof
  21 Oct 2021 0 repositories listed
• Proof Extraction for Logical Neural Networks
  8 Oct 2021 0 repositories listed
• Linear algebra with transformers
  29 Sep 2021 0 repositories listed
• Proceedings 37th International Conference on Logic Programming (Technical Communications)
  15 Sep 2021 0 repositories listed
• Conjectures, Tests and Proofs: An Overview of Theory Exploration
  7 Sep 2021 0 repositories listed
• The Horn Non-Clausal Class and its Polynomiality
  31 Aug 2021 0 repositories listed
• Graph Contrastive Pre-training for Effective Theorem Reasoning
  24 Aug 2021 0 repositories listed
• Learning to Guide a Saturation-Based Theorem Prover
  7 Jun 2021 0 repositories listed
• The Role of Entropy in Guiding a Connection Prover
  31 May 2021 0 repositories listed
• Training a First-Order Theorem Prover from Synthetic Data
  5 Mar 2021 0 repositories listed
• TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
  19 Feb 2021 0 repositories listed
• Learning Equational Theorem Proving
  10 Feb 2021 0 repositories listed
• A Study of Continuous Vector Representationsfor Theorem Proving
  22 Jan 2021 0 repositories listed
• A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem
  2 Nov 2020 0 repositories listed
• Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
  28 Oct 2020 0 repositories listed
• Deriving Theorems in Implicational Linear Logic, Declaratively
  22 Sep 2020 0 repositories listed
• Proceedings 36th International Conference on Logic Programming (Technical Communications)
  19 Sep 2020 0 repositories listed
• Generative Language Modeling for Automated Theorem Proving
  7 Sep 2020 0 repositories listed
• Modelling Value-oriented Legal Reasoning in LogiKEy
  23 Jun 2020 0 repositories listed
• Learning to Prove from Synthetic Theorems
  19 Jun 2020 0 repositories listed
• Towards United Reasoning for Automatic Induction in Isabelle/HOL
  25 May 2020 0 repositories listed
• Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems
  6 May 2020 0 repositories listed
• Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)
  21 Apr 2020 0 repositories listed
• Towards a Geometry Automated Provers Competition
  28 Feb 2020 0 repositories listed
• Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
  27 Feb 2020 0 repositories listed
• An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
  2 Feb 2020 0 repositories listed
• On Quantified Modal Theorem Proving for Modeling Ethics
  30 Dec 2019 0 repositories listed
• Property Invariant Embedding for Automated Reasoning
  27 Nov 2019 0 repositories listed
• CSPLib: Twenty Years On
  30 Sep 2019 0 repositories listed
• Proceedings 35th International Conference on Logic Programming (Technical Communications)
  17 Sep 2019 0 repositories listed
• Designing Game of Theorems
  20 Jun 2019 0 repositories listed
• Multimodal Logical Inference System for Visual-Textual Entailment
  10 Jun 2019 0 repositories listed
• NIL: Learning Nonlinear Interpolants
  28 May 2019 0 repositories listed
• Learning to Reason in Large Theories without Imitation
  25 May 2019 0 repositories listed
• Graph Representations for Higher-Order Logic and Theorem Proving
  24 May 2019 0 repositories listed
• Scalable Neural Theorem Proving on Knowledge Bases and Natural Language
  1 May 2019 0 repositories listed
• Towards Evolutionary Theorem Proving for Isabelle/HOL
  17 Apr 2019 0 repositories listed
• Hammering Mizar by Learning Clause Guidance
  2 Apr 2019 0 repositories listed
• Proceedings 7th International Workshop on Theorem proving components for Educational software
  29 Mar 2019 0 repositories listed
• ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
  7 Mar 2019 0 repositories listed
• Review on DNA Strand Algebra and its Application
  4 Mar 2019 0 repositories listed
• Towards Machine Learning Induction
  4 Dec 2018 0 repositories listed
• Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
  2 Nov 2018 0 repositories listed
• Learning to Reason
  12 Oct 2018 0 repositories listed
• Logical Rule Induction and Theory Learning Using Neural Theorem Proving
  6 Sep 2018 0 repositories listed
• Towards Neural Theorem Proving at Scale
  21 Jul 2018 0 repositories listed
• ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification
  10 Jun 2018 0 repositories listed
• Reinforcement Learning of Theorem Proving
  19 May 2018 0 repositories listed
• Cross-checking WordNet and SUMO Using Meronymy
  1 May 2018 0 repositories listed
• Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning
  19 Apr 2018 0 repositories listed
• Improving QED-Tutrix by Automating the Generation of Proofs
  5 Mar 2018 0 repositories listed
• Proceedings 6th International Workshop on Theorem proving components for Educational software
  2 Mar 2018 0 repositories listed
• Artificial Neural Networks that Learn to Satisfy Logic Constraints
  8 Dec 2017 0 repositories listed
• Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
  4 Dec 2017 0 repositories listed
• Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs
  20 Nov 2017 0 repositories listed
• Evaluating an Automata Approach to Query Containment
  1 Sep 2017 0 repositories listed
• Robust Computer Algebra, Theorem Proving, and Oracle AI
  8 Aug 2017 0 repositories listed
• Count-Invariance Including Exponentials
  1 Jul 2017 0 repositories listed
• COVER: Covering the Semantically Tractable Questions
  1 Apr 2017 0 repositories listed
• Theorem Proving Based on Semantics of DNA Strand Graph
  15 Feb 2017 0 repositories listed
• jsCoq: Towards Hybrid Theorem Proving Interfaces
  25 Jan 2017 0 repositories listed
• Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving
  29 Nov 2016 0 repositories listed
• Blocking and Other Enhancements for Bottom-Up Model Generation Methods
  28 Nov 2016 0 repositories listed
• BliStrTune: Hierarchical Invention of Theorem Proving Strategies
  26 Nov 2016 0 repositories listed
• Monte Carlo Tableau Proof Search
  18 Nov 2016 0 repositories listed
• DeepAlgebra - an outline of a program
  4 Oct 2016 0 repositories listed
• Social Network Processes in the Isabelle and Coq Theorem Proving Communities
  22 Sep 2016 0 repositories listed
• Verifier Theory and Unverifiability
  1 Sep 2016 0 repositories listed
• Natural Solution to FraCaS Entailment Problems
  1 Aug 2016 0 repositories listed
• Extracting Higher-Order Goals from the Mizar Mathematical Library
  23 May 2016 0 repositories listed
• GeoGebra Tools with Proof Capabilities
  3 Mar 2016 0 repositories listed
• Analysis of Algorithms and Partial Algorithms
  13 Jan 2016 0 repositories listed
• Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value
  14 Jun 2015 0 repositories listed
• Towards Formal Fault Tree Analysis using Theorem Proving
  8 May 2015 0 repositories listed
• GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry
  18 Dec 2014 0 repositories listed
• Performance Guarantees for Schatten-p Quasi-Norm Minimization in Recovery of Low-Rank Matrices
  14 Jul 2014 0 repositories listed
• Learning-assisted Theorem Proving with Millions of Lemmas
  11 Feb 2014 0 repositories listed
• Machine Learner for Automated Reasoning 0.4 and 0.5
  11 Feb 2014 0 repositories listed
• A state vector algebra for algorithmic implementation of second-order logic
  9 Dec 2013 0 repositories listed
• READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking
  8 Jul 2013 0 repositories listed
• Modeling in OWL 2 without Restrictions
  12 Dec 2012 0 repositories listed