Papers with Code 아카이브

Mathematical Proofs

태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.

전체 기법전체 데이터셋

하위 태스크

1

평가표

0

보존된 평가 기록

0

코드

관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.

https://github.com/ucsd-atp/propl

공식 코드

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving

https://github.com/wclsn/Alchemy

공식 코드

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation

https://github.com/weizeming/sam_at

공식 코드

Sharpness-Aware Minimization Alone can Improve Adversarial Robustness

https://github.com/wellecks/llmstep

공식 코드

Llemma: An Open Language Model For Mathematics

https://github.com/wellecks/naturalproofs

공식 코드

NaturalProofs: Mathematical Theorem Proving in Natural Language

https://github.com/wellecks/naturalprover

공식 코드

NaturalProver: Grounded Mathematical Proof Generation with Language Models

https://github.com/wiio12/LEGO-Prover

공식 코드

LEGO-Prover: Neural Theorem Proving with Growing Libraries

https://github.com/wiio12/poetry

공식 코드

Proving Theorems Recursively

https://github.com/yuanpeng16/tacg

공식 코드

A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition

https://github.com/yuvrajselvam/safe-ad-dl

공식 코드

Formal Development of Safe Automated Driving using Differential Dynamic Logic

https://github.com/zhangir-azerbayev/proofnet

공식 코드

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

https://github.com/zhaoxlpku/subgoalxl

공식 코드

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

https://github.com/zhaoyu-li/dl4tp

공식 코드

A Survey on Deep Learning for Theorem Proving

https://github.com/zsoltzombori/lemma

공식 코드

Lemmas: Generation, Selection, Application

https://github.com/zsoltzombori/plcop

공식 코드

Prolog Technology Reinforcement Learning Prover

https://gitlab.com/mcoavoux/statement_proof_matching

공식 코드

Learning to Match Mathematical Statements with Proofs

https://github.com/01mf02/notes

HOL(y)Hammer: Online ATP Service for HOL Light

https://github.com/AdaSwarm/AdaSwarm

AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence

https://github.com/BartoszPiotrowski/ATPboost

DeepMath - Deep Sequence Models for Premise Selection

https://github.com/HEPLean/HepLean

miniCTX: Neural Theorem Proving with (Long-)Contexts

https://github.com/IBM/LogicalFormulaEmbedder

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

https://github.com/JUrban/deepmath

DeepMath - Deep Sequence Models for Premise Selection

https://github.com/JiaxuanYou/G2SAT

G2SAT: Learning to Generate SAT Formulas

https://github.com/Kerram/Deephol-Bert-Zpp

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

https://github.com/Kerram/holist-train

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

https://github.com/MIMBCD-UI/avi-2020-short-paper

BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

https://github.com/MIMBCD-UI/dataset-uta4-dicom

BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

https://github.com/MIMBCD-UI/dataset-uta4-nasa-tlx

BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

https://github.com/MIMBCD-UI/dataset-uta4-rates

BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

https://github.com/MIMBCD-UI/dataset-uta4-sus

BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

https://github.com/MIMBCD-UI/dataset-uta4-time

BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

https://github.com/atpcurr/atpcurr

Towards Finding Longer Proofs

https://github.com/augustepoiroux/LeanInteract

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

https://github.com/cmu-l3/llmlean

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

https://github.com/cmu-l3/ntp-toolkit

miniCTX: Neural Theorem Proving with (Long-)Contexts

https://github.com/dellixx/TransERR

TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation Rotation

출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.