Papers with Code 아카이브

Mathematical Proofs

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

전체 기법전체 데이터셋

하위 태스크

1

평가표

0

보존된 평가 기록

0

코드

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

https://github.com/facebookresearch/clutrr

Measuring Systematic Generalization in Neural Proof Generation with Transformers

https://github.com/giomasce/mmpp

Holophrasm: a neural Automated Theorem Prover for higher-order logic

https://github.com/heplean/physlean

miniCTX: Neural Theorem Proving with (Long-)Contexts

https://github.com/ibm/torchlogic

Logical Neural Networks

https://github.com/iv4xr-project/aplib

Aplib: Tactical Programming of Intelligent Agents

https://github.com/jurban/mptp2078

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

https://github.com/justin941208/SPIA-Project

Holophrasm: a neural Automated Theorem Prover for higher-order logic

https://github.com/lean-dojo/LeanAgent

LeanAgent: Lifelong Learning for Formal Theorem Proving

https://github.com/lean-dojo/leaninfer

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean

https://github.com/matt-sutton/bigsgPLS

A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big Data

https://github.com/mida-project/prototype-multi-modality-assistant

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

https://github.com/ml4sci/symbahep

Linear algebra with transformers

https://github.com/mluszczyk/deepsat

Automated proof synthesis for propositional logic with deep neural networks

https://github.com/rah4927/lean-dojo-mew

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

https://github.com/reactive-systems/circuit-repair

IsarStep: a Benchmark for High-level Mathematical Reasoning

https://github.com/reactive-systems/ml2

IsarStep: a Benchmark for High-level Mathematical Reasoning

https://github.com/tensorflow/deepmath/tree/master/deepmath/deephol

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

https://github.com/tensorflow/deepmath/tree/master/deepmath/holstep_baselines

HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving

https://github.com/thejohncrafter/flows

Lectures on Jacques Herbrand as a Logician

https://github.com/waylonli/match

Learning to Match Mathematical Statements with Proofs

https://github.com/wellecks/llemma_formal2formal

Llemma: An Open Language Model For Mathematics

https://github.com/yangky11/minif2f-lean4

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

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