HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving Dec 30, 2024 Automated Theorem Proving Language Modeling
— Unverified 0 HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement May 21, 2025 Automated Theorem Proving Mathematical Proofs
— Unverified 0 HyperTree Proof Search for Neural Theorem Proving May 23, 2022 Automated Theorem Proving
— Unverified 0 Improving Multimodal LLMs Ability In Geometry Problem Solving, Reasoning, And Multistep Scoring Dec 1, 2024 Automated Theorem Proving Geometry Problem Solving
— Unverified 0 Improving QED-Tutrix by Automating the Generation of Proofs Mar 5, 2018 Automated Theorem Proving
— Unverified 0 Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs Nov 20, 2017 Automated Theorem Proving
— Unverified 0 jsCoq: Towards Hybrid Theorem Proving Interfaces Jan 25, 2017 Automated Theorem Proving
— Unverified 0 Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving Oct 1, 2022 Automated Theorem Proving Information Retrieval
— Unverified 0 Large Language Models' Understanding of Math: Source Criticism and Extrapolation Nov 12, 2023 Automated Theorem Proving Math
— Unverified 0 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Feb 25, 2025 Automated Theorem Proving Mathematical Reasoning
— Unverified 0 Lean-STaR: Learning to Interleave Thinking and Proving Jul 14, 2024 Automated Theorem Proving Language Modeling
— Unverified 0 Learning-assisted Theorem Proving with Millions of Lemmas Feb 11, 2014 Automated Theorem Proving
— Unverified 0 Learning Equational Theorem Proving Feb 10, 2021 Automated Theorem Proving Deep Reinforcement Learning
— Unverified 0 Learning Guided Automated Reasoning: A Brief Survey Mar 6, 2024 Automated Theorem Proving Logical Reasoning
— Unverified 0 Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis May 27, 2022 Automated Theorem Proving Program Synthesis
— Unverified 0 Learning to Guide a Saturation-Based Theorem Prover Jun 7, 2021 Automated Theorem Proving Graph Neural Network
— Unverified 0 Learning to Prove from Synthetic Theorems Jun 19, 2020 Automated Theorem Proving
— Unverified 0 Learning to Prove Trigonometric Identities Jul 14, 2022 Automated Theorem Proving Imitation Learning
— Unverified 0 Learning to Reason Oct 12, 2018 Automated Theorem Proving Q-Learning
— Unverified 0 Learning to Reason in Large Theories without Imitation May 25, 2019 Automated Theorem Proving Deep Reinforcement Learning
— Unverified 0 LemmaHead: RAG Assisted Proof Generation Using Large Language Models Jan 27, 2025 Automated Theorem Proving Mathematical Proofs
— Unverified 0 Linear algebra with transformers Sep 29, 2021 Automated Theorem Proving Few-Shot Learning
— Unverified 0 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving Mar 12, 2025 Automated Theorem Proving Reinforcement Learning (RL)
— Unverified 0 Logically Sound Arguments for the Effectiveness of ML Safety Measures Nov 4, 2021 Automated Theorem Proving
— Unverified 0 Logical Rule Induction and Theory Learning Using Neural Theorem Proving Sep 6, 2018 Automated Theorem Proving
— Unverified 0 Machine Learner for Automated Reasoning 0.4 and 0.5 Feb 11, 2014 Automated Theorem Proving
— Unverified 0 Magnushammer: A Transformer-Based Approach to Premise Selection Mar 8, 2023 Automated Theorem Proving Language Modeling
— Unverified 0 Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics Jul 4, 2023 Automated Theorem Proving Math
— Unverified 0 math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories Oct 25, 2023 Automated Theorem Proving Language Modeling
— Unverified 0 MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? Jun 6, 2025 Automated Theorem Proving Visual Reasoning
— Unverified 0 miniCodeProps: a Minimal Benchmark for Proving Code Properties Jun 16, 2024 AI Agent Automated Theorem Proving
— Unverified 0 ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification Jun 10, 2018 Automated Theorem Proving BIG-bench Machine Learning
— Unverified 0 Modeling in OWL 2 without Restrictions Dec 12, 2012 Automated Theorem Proving
— Unverified 0 Monte Carlo Tableau Proof Search Nov 18, 2016 Automated Theorem Proving
— Unverified 0 Multimodal Logical Inference System for Visual-Textual Entailment Jun 10, 2019 Automated Theorem Proving Natural Language Inference
— Unverified 0 Multi-Task Learning with Multi-Task Optimization Mar 24, 2024 Automated Theorem Proving image-classification
— Unverified 0 Natural Solution to FraCaS Entailment Problems Aug 1, 2016 Automated Theorem Proving Natural Language Inference
— Unverified 0 Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification Apr 23, 2025 Automated Theorem Proving
— Unverified 0 