A Neural Theorem Proving Group

ANTPG's activity

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

xqyww123 

updated a dataset 25 days ago

ANTPG/premise_selection

Updated 25 days ago • 38 • 1

xqyww123 

updated a dataset about 1 month ago

ANTPG/annotated-isabelle

Viewer • Updated about 1 month ago • 8.95k • 9

xqyww123 

published 2 datasets about 1 month ago

ANTPG/annotated-isabelle

Viewer • Updated about 1 month ago • 8.95k • 9

ANTPG/premise_selection

Updated 25 days ago • 38 • 1

xqyww123 

updated a collection 2 months ago

Minilang OOPSLA'26 Models

Collection

8 items • Updated Dec 23, 2025

xqyww123 

updated a dataset 2 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a dataset 2 months ago

ANTPG/Minilang-AFP-v1

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

xqyww123 

published a Space 2 months 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 • 29