Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
ANTPG (A Neural Theorem Proving Group)

A Neural Theorem Proving Group

community

AI & ML interests

Neural Theorem Proving

Recent Activity

xqyww123 updated a dataset 18 days ago

ANTPG/premise_selection

xqyww123 updated a dataset 24 days ago

ANTPG/annotated-isabelle

xqyww123 published a dataset 24 days ago

ANTPG/annotated-isabelle

View all activity

Organization Card

Community About org cards

Edit this README.md markdown file to author your organization card.

Collections 1

models 8

ANTPG/llemma-minilang-no-SH

Text Generation • 7B • Updated May 17, 2025 • 4

ANTPG/llemma-minilang

Text Generation • 7B • Updated May 17, 2025 • 4

ANTPG/llemma-isar-SH

Text Generation • 7B • Updated May 17, 2025 • 1

ANTPG/llemma-isar

Text Generation • 7B • Updated May 17, 2025

ANTPG/deepseek-prover-isar-SH

Text Generation • 7B • Updated May 17, 2025 • 4

ANTPG/deepseek-prover-minilang

Text Generation • 7B • Updated May 17, 2025 • 2

ANTPG/deepseek-prover-minilang-no-SH

Text Generation • 7B • Updated May 13, 2025 • 2

ANTPG/deepseek-prover-isar

Text Generation • 7B • Updated May 13, 2025 • 2

datasets 3

ANTPG/premise_selection

Updated 18 days ago • 81 • 1

ANTPG/annotated-isabelle

Viewer • Updated 24 days ago • 8.95k • 12

ANTPG/Minilang-AFP-v1

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