https://github.com/BartoszPiotrowski/guiding-connection-tableau-by-RNNs
공식 코드Guiding Inferences in Connection Tableau by Recurrent Neural Networks
Papers with Code 아카이브
Mathematical Proofs
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
- 하위 태스크
- 1
- 평가표
- 0
- 보존된 평가 기록
- 0
코드
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
https://github.com/EleutherAI/math-lm
공식 코드https://github.com/Goedel-LM/Goedel-Prover
공식 코드Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
https://github.com/IBM/LNN
공식 코드https://github.com/IBM/TRAIL
공식 코드A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
https://github.com/MIMBCD-UI/prototype-multi-modality
공식 코드BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis
https://github.com/Michiel29/ntp-release
공식 코드Neural Theorem Provers Do Not Learn Rules Without Exploration
https://github.com/NicolasAG/SGinPG
공식 코드Measuring Systematic Generalization in Neural Proof Generation with Transformers
https://github.com/RickySkywalker/TheoremLlama
공식 코드TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
https://github.com/TuAnh23/SciEx
공식 코드https://github.com/YuntianChen/Hard_constrant_projection_HCP
공식 코드https://github.com/Zhang-Liao/ilp_coq
공식 코드Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
https://github.com/ai4reason/ATP_Proofs
공식 코드https://github.com/ai4reason/isa_enigma_paper
공식 코드https://github.com/albertqjiang/INT
공식 코드INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
https://github.com/albertqjiang/draft_sketch_prove
공식 코드Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
https://github.com/alexgaskell10/lava
공식 코드Logically Consistent Adversarial Attacks for Soft Theorem Provers
https://github.com/ali-forootani/a-survey-on-mathematical-reasoning-and-optimization-with-large-language-models
공식 코드A Survey on Mathematical Reasoning and Optimization with Large Language Models
https://github.com/anuwu/PSO-Grad
공식 코드AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence
https://github.com/barakeel/synthesis_datasets
공식 코드Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic
https://github.com/car-pe/hagbp
공식 코드https://github.com/chuanyang-zheng/lyra-theorem-prover
공식 코드Lyra: Orchestrating Dual Correction in Automated Theorem Proving
https://github.com/cmu-l3/minictx-eval
공식 코드https://github.com/cyzhh/MMOS
공식 코드An Empirical Study of Data Ability Boundary in LLMs' Math Reasoning
https://github.com/darpa-scify/withdrarxiv
공식 코드https://github.com/deepmind/open_spiel
공식 코드https://github.com/deepseek-ai/deepseek-prover-v1.5
공식 코드https://github.com/deepseek-ai/deepseek-prover-v2
공식 코드https://github.com/dellixx/transerr
공식 코드TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation Rotation
https://github.com/differential-machine-learning/notebooks
공식 코드https://github.com/dodo47/cyberml
공식 코드An energy-based model for neuro-symbolic reasoning on knowledge graphs
https://github.com/dwhalen/holophrasm
공식 코드Holophrasm: a neural Automated Theorem Prover for higher-order logic
https://github.com/eleanor-h/mustard
공식 코드MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
https://github.com/eleutherai/gpt-neox
공식 코드ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
https://github.com/esbmc/esbmc
공식 코드https://github.com/esw0116/odgs
공식 코드ODGS: 3D Scene Reconstruction from Omnidirectional Images with 3D Gaussian Splattings
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.