Papers with Code 아카이브
Mathematical Proofs
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 1
- 평가표
- 0
- 보존된 평가 기록
- 0
논문
이 태스크와 하위 분야의 관련 논문입니다. 실제 성능 비교는 평가 결과에서 확인하세요.
Prover Agent: An Agent-based Framework for Formal Mathematical Proofs
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
The Alignment Trap: Complexity Barriers
StepProof: Step-by-step verification of natural language mathematical proofs
LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
LeanExplore: A search engine for Lean 4 declarations
Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening
ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
Autoformalization in the Era of Large Language Models: A Survey
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations
Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions
Identification of Probabilities of Causation: A Complete Characterization
MIRB: Mathematical Information Retrieval Benchmark
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
Provably safe and human-like car-following behaviors: Part 2. A parsimonious multi-phase model with projected braking
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
Proceedings The 13th International Workshop on Theorem proving components for Educational software
Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem
A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
The Limits of AI Explainability: An Algorithmic Information Theory Approach
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries
Hua-Chen New Theory of Economic Optimization
Hierarchical Attention Generates Better Proofs
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.