← Explore by area

Cluster 449857

9 repos

Jupyter Notebook · 1

Python · 1

transformers ·9

pytorch ·9

text-generation ·9

text-generation-inference ·9

endpoints_compatible ·9

gpt_neox ·6

theorem-proving ·3

lean ·3

llama ·3

math ·3

Related clusters

Cluster 4542893 T5 Text-to-Text Transformers27 Cluster 4560503 Cluster 44092112 Cluster 4541406 Cluster 4614082

l3lab/ntp-mathlib-instruct-ctx

No description

1

11 commits

l3lab/ntp-mathlib-instruct-st

No description

0

39 commits

l3lab/ntp-mathlib

No description

2

18 commits

l3lab/ntp-mathlib-context-deepseek-coder-1.3b

No description

3

35 commits

l3lab/ntp-mathlib-st-deepseek-coder-1.3b

No description

0

15 commits

l3lab/miniCTX-v2

No description

3

9 commits

cmu-l3/ntptutorial-II

Neural theorem proving tutorial, version II

Jupyter Notebook

39

20 commits

Kripner/nanoproof

Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

Python

91

421 commits

wellecks/llmstep-mathlib4-pythia2.8b

No description

6

5 commits