Shadowgraph
TrendingBuzzResearch
Chrome extension
Sign in

Slim205/Lean_prover_v1

Model

Lean Conjecturer

0

10 commits

1 linked in READMEs

updated Sep 1, 2025

See the code

README

Lean Conjecturer

This model generates Lean 4 proofs from given theorem statements. Alt text For more details, please see https://github.com/Slim205/RL-Lean

llama
safetensors

Similar repos

Slim205/Lean-conjecturer

Model

Lean Conjecturer

0

deepseek-ai/DeepSeek-Prover-V1.5-SFT

Model

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and…

27

deepseek-ai/DeepSeek-Prover-V1.5-Base

Model

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and…

29

deepseek-ai/DeepSeek-Prover-V1.5-RL

Model

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and…

77

deepseek-ai/DeepSeek-Prover-V2-671B

Model

1. Introduction

845

NJUDeepEngine/llm_based_atp

Model

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

1

FrenzyMath/REAL-Prover

Model

1. Overview

0

l3lab/ntp-mathlib-st-deepseek-coder-1.3b

Model

State-tactic model from [miniCTX: Neural Theorem Proving with

0

Linked in READMEs

Slim205/RL-Lean

1

README badge

Slim205/Lean_prover_v1

Model

Lean Conjecturer

0

10 commits

1 linked in READMEs

updated Sep 1, 2025

See the code

README

Lean Conjecturer

This model generates Lean 4 proofs from given theorem statements. Alt text For more details, please see https://github.com/Slim205/RL-Lean

llama
safetensors

Similar repos

Slim205/Lean-conjecturer

Model

Lean Conjecturer

0

deepseek-ai/DeepSeek-Prover-V1.5-SFT

Model

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and…

27

deepseek-ai/DeepSeek-Prover-V1.5-Base

Model

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and…

29

deepseek-ai/DeepSeek-Prover-V1.5-RL

Model

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and…

77

deepseek-ai/DeepSeek-Prover-V2-671B

Model

1. Introduction

845

NJUDeepEngine/llm_based_atp

Model

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

1

FrenzyMath/REAL-Prover

Model

1. Overview

0

l3lab/ntp-mathlib-st-deepseek-coder-1.3b

Model

State-tactic model from [miniCTX: Neural Theorem Proving with

0

Linked in READMEs

Slim205/RL-Lean

1

README badge