https://github.com/ezelikman/parsel
공식 코드Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions
Papers with Code 아카이브
Mathematical Proofs
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 1
- 평가표
- 0
- 보존된 평가 기록
- 0
코드
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
https://github.com/facebookresearch/cdeets
공식 코드https://github.com/facebookresearch/lawt
공식 코드https://github.com/facebookresearch/minif2f
공식 코드Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
https://github.com/fveler/fvel
공식 코드FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
https://github.com/g-pichler/in_feasibility_of_ml_backdoor_detection
공식 코드On the (In)feasibility of ML Backdoor Detection as an Hypothesis Testing Problem
https://github.com/gc974517/autoformalization
공식 코드Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
https://github.com/gpoesia/minimo
공식 코드https://github.com/gpoesia/peano
공식 코드https://github.com/gucorpling/gentle
공식 코드GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic Evaluation
https://github.com/haoxiongliu/proofaug
공식 코드Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
https://github.com/haoyuzhao123/leanineqcomp
공식 코드https://github.com/hendrycks/math
공식 코드Autoformalization in the Era of Large Language Models: A Survey
https://github.com/hkunlp/subgoal-theorem-prover
공식 코드Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving
https://github.com/ibm/ai-descartes
공식 코드AI Descartes: Combining Data and Theory for Derivable Scientific Discovery
https://github.com/ibm/neural_unification_for_logic_reasoning_over_language
공식 코드Neural Unification for Logic Reasoning over Natural Language
https://github.com/internlm/internlm-math
공식 코드Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
https://github.com/izumi-h/ccgcomp
공식 코드Logical Inferences with Comparatives and Generalized Quantifiers
https://github.com/j991222/mirb
공식 코드https://github.com/jacksun200312/ecp
공식 코드Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions
https://github.com/janicicpredrag/larus
공식 코드https://github.com/jasonrute/lean-proof-recording-public
공식 코드Proof Artifact Co-training for Theorem Proving with Language Models
https://github.com/jasonrute/lean_proof_recording
공식 코드Proof Artifact Co-training for Theorem Proving with Language Models
https://github.com/jdeschena/sdtt
공식 코드Beyond Autoregression: Fast LLMs via Self-Distillation Through Time
https://github.com/jesse-michael-han/lean-step-public
공식 코드Proof Artifact Co-training for Theorem Proving with Language Models
https://github.com/jiahao004/deeptheorem
공식 코드https://github.com/jinpz/dtv
공식 코드Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
https://github.com/jinpz/refactor
공식 코드https://github.com/jlab-nlp/arxiv2formal
공식 코드https://github.com/justincasher/lean-explore
공식 코드https://github.com/kfdong/STP
공식 코드STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
https://github.com/kovvalsky/LangPro
공식 코드https://github.com/krishnamrith12/proofver
공식 코드ProoFVer: Natural Logic Theorem Proving for Fact Verification
https://github.com/lean-dojo/leancopilot
공식 코드Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
https://github.com/lean-dojo/leandojo
공식 코드LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://github.com/lean-dojo/leandojochatgpt
공식 코드LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.