A Neural Theorem Proving Group

ANTPG's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

xqyww123 

updated a dataset 4 days ago

ANTPG/MLML-data

Viewer • Updated 4 days ago • 1 • 246 • 1

reasonwang 

authored 2 papers about 1 month ago

ToolGen: Unified Tool Retrieval and Calling via Generation

Paper • 2410.03439 • Published Oct 4, 2024 • 2

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

Paper • 2609.37539 • Published Sep 29 • 8

reasonwang 

submitted a paper to Daily Papers about 1 month ago

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

Paper • 2609.37539 • Published Sep 29 • 8

xqyww123 

published a dataset 6 months ago

ANTPG/MLML-data

Viewer • Updated 4 days ago • 1 • 246 • 1

xqyww123 

updated 2 datasets 9 months ago

ANTPG/premise_selection

Updated Feb 2 • 256 • 1

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 62

xqyww123 

published a dataset 9 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 62

xqyww123 

published a dataset 10 months ago

ANTPG/premise_selection

Updated Feb 2 • 256 • 1

xqyww123 

updated a collection 11 months ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

xqyww123 

updated a dataset 11 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a dataset 11 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a Space 11 months ago

Running

README

🐠