https://github.com/lean-dojo/reprover
공식 코드LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Papers with Code 아카이브
Mathematical Proofs
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 1
- 평가표
- 0
- 보존된 평가 기록
- 0
코드
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
https://github.com/leanabell-lm/leanabell-prover
공식 코드https://github.com/lenianiva/pypantograph
공식 코드https://github.com/leoprover/logic-embedding
공식 코드Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
https://github.com/liuchengwucn/fimo
공식 코드FIMO: A Challenge Formal Dataset for Automated Theorem Proving
https://github.com/liuchengwucn/safe
공식 코드https://github.com/llqy123/dabr
공식 코드Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional Rotation
https://github.com/lou1sm/fastfood
공식 코드The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes
https://github.com/menik1126/TRIGO
공식 코드TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
https://github.com/ml4tp/gamepad
공식 코드https://github.com/moonshotai/kimina-prover-preview
공식 코드Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
https://github.com/multimodal-art-projection/criticlean
공식 코드CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
https://github.com/neuro-symbolic-ai/explanation_refinement
공식 코드Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
https://github.com/njudeepengine/llm_based_atp
공식 코드LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
https://github.com/nk-ruiying/tcompounde
공식 코드Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph Completion
https://github.com/openai/lean-gym
공식 코드https://github.com/openai/minif2f
공식 코드MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
https://github.com/princeton-vl/CoqGym
공식 코드Learning to Prove Theorems via Interacting with Proof Assistants
https://github.com/princeton-vl/FormulaNet
공식 코드Premise Selection for Theorem Proving by Deep Graph Embedding
https://github.com/princeton-vl/MetaGen
공식 코드https://github.com/princeton-vl/MetaQNL.jl
공식 코드Learning Symbolic Rules for Reasoning in Quasi-Natural Language
https://github.com/princeton-vl/metaqnl
공식 코드Learning Symbolic Rules for Reasoning in Quasi-Natural Language
https://github.com/r1niga/step-proof
공식 코드StepProof: Step-by-step verification of natural language mathematical proofs
https://github.com/rickyskywalker/leanofthought-official
공식 코드MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
https://github.com/rookie-joe/formalalign
공식 코드FormalAlign: Automated Alignment Evaluation for Autoformalization
https://github.com/scottviteri/ManipulateProofTrees
공식 코드https://github.com/sileod/unigram
공식 코드Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars
https://github.com/some-random/theorem-proving-reasoning
공식 코드https://github.com/stanford-centaur/pypantograph
공식 코드https://github.com/tptpworld/nonclassicallogic
공식 코드Solving Quantified Modal Logic Problems by Translation to Classical Logics
https://github.com/trishullab/copra
공식 코드https://github.com/trishullab/itp-interface
공식 코드ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving
https://github.com/trishullab/proof-wala
공식 코드ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving
https://github.com/trishullab/putnam
공식 코드PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
https://github.com/trishullab/putnambench
공식 코드PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
https://github.com/txc701/open-source-code-for-ai4m
공식 코드Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.