A Neural Theorem Proving Group

community

AI & ML interests

Neural Theorem Proving

Recent Activity

xqyww123 updated a collection 3 days ago

Minilang OOPSLA'26 Models

xqyww123 updated a collection 3 days ago

Minilang OOPSLA'26 Models

xqyww123 updated a collection 3 days ago

Minilang OOPSLA'26 Models

View all activity

ANTPG 's models 8

ANTPG/llemma-minilang-no-SH

Text Generation • 7B • Updated May 17 • 6

ANTPG/llemma-minilang

Text Generation • 7B • Updated May 17 • 8

ANTPG/llemma-isar-SH

Text Generation • 7B • Updated May 17 • 5

ANTPG/llemma-isar

Text Generation • 7B • Updated May 17 • 8

ANTPG/deepseek-prover-isar-SH

Text Generation • 7B • Updated May 17 • 8

ANTPG/deepseek-prover-minilang

Text Generation • 7B • Updated May 17 • 5

ANTPG/deepseek-prover-minilang-no-SH

Text Generation • 7B • Updated May 13 • 3

ANTPG/deepseek-prover-isar

Text Generation • 7B • Updated May 13 • 5