A Neural Theorem Proving Group

community

AI & ML interests

Neural Theorem Proving

Recent Activity

reasonwang authored a paper 1 day ago

ToolGen: Unified Tool Retrieval and Calling via Generation

reasonwang authored a paper 2 days ago

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

reasonwang submitted a paper 3 days ago

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

View all activity

Organization Card

Community About org cards

Edit this README.md markdown file to author your organization card.

Collections 1

models 8

ANTPG/llemma-minilang-no-SH

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

ANTPG/llemma-minilang

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

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 • 20

ANTPG/deepseek-prover-minilang

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

ANTPG/deepseek-prover-minilang-no-SH

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

ANTPG/deepseek-prover-isar

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

datasets 4

ANTPG/MLML-data

Viewer • Updated 10 days ago • 1 • 92 • 1

ANTPG/premise_selection

Updated Feb 2 • 354 • 1

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 35

ANTPG/Minilang-AFP-v1

Viewer • Updated Dec 22, 2025 • 340k • 21