A Neural Theorem Proving Group

community

AI & ML interests

Neural Theorem Proving

Recent Activity

reasonwang authored a paper 4 days ago

ToolGen: Unified Tool Retrieval and Calling via Generation

reasonwang authored a paper 4 days ago

SkillGym: Training Skill-Use Agents with Automatic Verifiable Environment Generation

reasonwang submitted a paper 5 days ago

SkillGym: Training Skill-Use Agents with Automatic Verifiable Environment Generation

View all activity

ANTPG 's models 8

ANTPG/llemma-minilang-no-SH

Text Generation • 7B • Updated May 17, 2025 • 15

ANTPG/llemma-minilang

Text Generation • 7B • Updated May 17, 2025 • 12

ANTPG/llemma-isar-SH

Text Generation • 7B • Updated May 17, 2025 • 19

ANTPG/llemma-isar

Text Generation • 7B • Updated May 17, 2025 • 14

ANTPG/deepseek-prover-isar-SH

Text Generation • 7B • Updated May 17, 2025 • 21

ANTPG/deepseek-prover-minilang

Text Generation • 7B • Updated May 17, 2025 • 20

ANTPG/deepseek-prover-minilang-no-SH

Text Generation • 7B • Updated May 13, 2025 • 25

ANTPG/deepseek-prover-isar

Text Generation • 7B • Updated May 13, 2025 • 24