arxiv:2512.17260
Thomas Zhu
hanwenzhu
AI & ML interests
Automated Theorem Proving
Recent Activity
authored
a paper
1 day ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
liked
a dataset
29 days ago
l3lab/lean-premises
Organizations
models
16
hanwenzhu/leandojo-lean4-retriever-byt5-small-hammer
0.2B
•
Updated
•
3
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated
•
2
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5
Updated
•
1
hanwenzhu/wip-lean-embeddings
Updated
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-may07
Sentence Similarity
•
82.1M
•
Updated
•
6
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-apr25
Sentence Similarity
•
33.4M
•
Updated
•
6
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity
•
33.4M
•
Updated
•
10
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity
•
82.1M
•
Updated
•
8
hanwenzhu/all-roberta-large-v1-lr5e-5-bs256-nneg3-ml-mar16
Sentence Similarity
•
0.4B
•
Updated
•
6
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13
Sentence Similarity
•
82.1M
•
Updated
•
11