Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers Feb 10, 2022 Automated Theorem Proving
— Unverified Verifier Theory and Unverifiability Sep 1, 2016 Automated Theorem Proving General Classification
— Unverified Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview Mar 13, 2025 Automated Theorem Proving software testing
— Unverified Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry Apr 9, 2024 Automated Theorem Proving CPU
— Unverified Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving Mar 12, 2025 Automated Theorem Proving Reinforcement Learning (RL)
— Unverified Logically Sound Arguments for the Effectiveness of ML Safety Measures Nov 4, 2021 Automated Theorem Proving
— Unverified Logical Rule Induction and Theory Learning Using Neural Theorem Proving Sep 6, 2018 Automated Theorem Proving
— Unverified Machine Learner for Automated Reasoning 0.4 and 0.5 Feb 11, 2014 Automated Theorem Proving
— Unverified Magnushammer: A Transformer-Based Approach to Premise Selection Mar 8, 2023 Automated Theorem Proving Language Modeling
— Unverified Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics Jul 4, 2023 Automated Theorem Proving Math
— Unverified math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories Oct 25, 2023 Automated Theorem Proving Language Modeling
— Unverified MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? Jun 6, 2025 Automated Theorem Proving Visual Reasoning
— Unverified miniCodeProps: a Minimal Benchmark for Proving Code Properties Jun 16, 2024 AI Agent Automated Theorem Proving
— Unverified ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification Jun 10, 2018 Automated Theorem Proving BIG-bench Machine Learning
— Unverified Modeling in OWL 2 without Restrictions Dec 12, 2012 Automated Theorem Proving
— Unverified Monte Carlo Tableau Proof Search Nov 18, 2016 Automated Theorem Proving
— Unverified Multimodal Logical Inference System for Visual-Textual Entailment Jun 10, 2019 Automated Theorem Proving Natural Language Inference
— Unverified Multi-Task Learning with Multi-Task Optimization Mar 24, 2024 Automated Theorem Proving image-classification
— Unverified Natural Solution to FraCaS Entailment Problems Aug 1, 2016 Automated Theorem Proving Natural Language Inference
— Unverified Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification Apr 23, 2025 Automated Theorem Proving
— Unverified NIL: Learning Nonlinear Interpolants May 28, 2019 Automated Theorem Proving
— Unverified On Quantified Modal Theorem Proving for Modeling Ethics Dec 30, 2019 Automated Theorem Proving Ethics
— Unverified Performance Guarantees for Schatten-p Quasi-Norm Minimization in Recovery of Low-Rank Matrices Jul 14, 2014 Automated Theorem Proving
— Unverified Planning as Theorem Proving with Heuristics Mar 23, 2023 Automated Theorem Proving
— Unverified Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving Mar 16, 2023 Automated Theorem Proving Probabilistic Programming
— Unverified Proceedings 10th International Workshop on Theorem Proving Components for Educational Software Feb 2, 2022 Automated Theorem Proving
— Unverified Proceedings 11th International Workshop on Theorem Proving Components for Educational Software Mar 9, 2023 Automated Theorem Proving
— Unverified Proceedings 12th International Workshop on Theorem proving components for Educational software Apr 4, 2024 Automated Theorem Proving
— Unverified Proceedings 35th International Conference on Logic Programming (Technical Communications) Sep 17, 2019 Automated Theorem Proving Data Integration
— Unverified Proceedings 36th International Conference on Logic Programming (Technical Communications) Sep 19, 2020 Automated Theorem Proving Data Integration
— Unverified Proceedings 37th International Conference on Logic Programming (Technical Communications) Sep 15, 2021 Automated Theorem Proving Data Integration
— Unverified Proceedings 38th International Conference on Logic Programming Aug 4, 2022 Automated Theorem Proving Data Integration
— Unverified Proceedings 6th International Workshop on Theorem proving components for Educational software Mar 2, 2018 Automated Theorem Proving
— Unverified Proceedings 7th International Workshop on Theorem proving components for Educational software Mar 29, 2019 Automated Theorem Proving
— Unverified Proceedings 8th International Workshop on Theorem Proving Components for Educational Software Feb 27, 2020 Automated Theorem Proving
— Unverified Proceedings 9th International Workshop on Theorem Proving Components for Educational Software Oct 28, 2020 Automated Theorem Proving
— Unverified Proceedings of the 13th International Conference on Automated Deduction in Geometry Dec 28, 2021 Automated Theorem Proving
— Unverified Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving Dec 4, 2017 Automated Theorem Proving
— Unverified 0-1 laws for pattern occurrences in phylogenetic trees and networks Feb 7, 2024 10-shot image generation
— Unverified Proof Extraction for Logical Neural Networks Oct 8, 2021 Automated Theorem Proving
— Unverified Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning Oct 17, 2024 Automated Theorem Proving Language Modeling
— Unverified ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction May 30, 2025 Automated Theorem Proving
— Unverified Proof Recommendation System for the HOL4 Theorem Prover Dec 31, 2024 Automated Theorem Proving Recommendation Systems
— Unverified LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation May 17, 2025 Automated Theorem Proving Synthetic Data Generation
Code Code Available Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Oct 25, 2019 Automated Theorem Proving BIG-bench Machine Learning
Code Code Available Lemmas: Generation, Selection, Application Mar 10, 2023 Automated Theorem Proving
Code Code Available Logically Consistent Adversarial Attacks for Soft Theorem Provers Apr 29, 2022 Automated Theorem Proving
Code Code Available Towards Finding Longer Proofs May 30, 2019 Automated Theorem Proving reinforcement-learning
Code Code Available Lectures on Jacques Herbrand as a Logician Feb 26, 2009 Automated Theorem Proving Formal Logic
Code Code Available DeepMath - Deep Sequence Models for Premise Selection Jun 14, 2016 Automated Theorem Proving
Code Code Available 