A Neural Theorem Proving Group

ANTPG's activity

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

xqyww123 

updated a dataset 2 months ago

ANTPG/premise_selection

Updated Feb 2 • 35 • 1

xqyww123 

updated a dataset 3 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 13

xqyww123 

published 2 datasets 3 months ago

ANTPG/annotated-isabelle

Viewer • Updated Jan 27 • 8.95k • 13

ANTPG/premise_selection

Updated Feb 2 • 35 • 1

xqyww123 

updated a collection 4 months ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

xqyww123 

updated a dataset 4 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a dataset 4 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a Space 4 months ago

Running

README

🐠

lmlmcat 

authored 2 papers over 2 years ago

LLM360: Towards Fully Transparent Open-Source LLMs

Paper • 2312.06550 • Published Dec 11, 2023 • 57

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

Paper • 2308.16149 • Published Aug 30, 2023 • 29