A Neural Theorem Proving Group

ANTPG's activity

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

xqyww123 

updated a dataset 3 days ago

ANTPG/annotated-isabelle

Viewer • Updated 3 days ago • 8.95k • 6

xqyww123 

published a dataset 3 days ago

ANTPG/annotated-isabelle

Viewer • Updated 3 days ago • 8.95k • 6

xqyww123 

updated a dataset 4 days ago

ANTPG/premise_selection

Updated 4 days ago • 95 • 1

xqyww123 

published a dataset 18 days ago

ANTPG/premise_selection

Updated 4 days ago • 95 • 1

xqyww123 

updated a collection about 1 month ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

xqyww123 

updated a dataset about 1 month ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a dataset about 1 month ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a Space about 1 month ago

Running

README

🐠

lmlmcat 

authored a paper about 2 years ago

LLM360: Towards Fully Transparent Open-Source LLMs

Paper • 2312.06550 • Published Dec 11, 2023 • 57

lmlmcat 

authored a paper over 2 years ago

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

Paper • 2308.16149 • Published Aug 30, 2023 • 28