A Neural Theorem Proving Group

ANTPG's activity

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

xqyww123 

updated a dataset 24 days ago

ANTPG/MLML-data

Viewer • Updated 24 days ago • 1 • 135 • 1

xqyww123 

published a dataset 3 months ago

ANTPG/MLML-data

Viewer • Updated 24 days ago • 1 • 135 • 1

xqyww123 

updated 2 datasets 6 months ago

ANTPG/premise_selection

Updated Feb 2 • 295 • 1

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 52

xqyww123 

published a dataset 6 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 52

xqyww123 

published a dataset 7 months ago

ANTPG/premise_selection

Updated Feb 2 • 295 • 1

xqyww123 

updated a collection 8 months ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

xqyww123 

updated a dataset 8 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a dataset 8 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a Space 8 months ago

Running

README

🐠

lmlmcat 

authored a paper over 2 years ago

LLM360: Towards Fully Transparent Open-Source LLMs

Paper • 2312.06550 • Published Dec 11, 2023 • 57

lmlmcat 

authored a paper almost 3 years ago

Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language Models

Paper • 2308.16149 • Published Aug 30, 2023 • 29