arxiv:2507.23726
Thomas Zhu
hanwenzhu
AI & ML interests
Automated Theorem Proving
Recent Activity
liked
a dataset
6 days ago
l3lab/lean-premises
updated
a dataset
16 days ago
hanwenzhu/leandojo_data_hammer
published
a dataset
16 days ago
hanwenzhu/leandojo_data_hammer
Organizations
models
16
hanwenzhu/leandojo-lean4-retriever-byt5-small-hammer
0.2B
•
Updated
•
6
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
•
3
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-apr25
Sentence Similarity
•
33.4M
•
Updated
•
2
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity
•
33.4M
•
Updated
•
5
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity
•
82.1M
•
Updated
•
3
hanwenzhu/all-roberta-large-v1-lr5e-5-bs256-nneg3-ml-mar16
Sentence Similarity
•
0.4B
•
Updated
•
3
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13
Sentence Similarity
•
82.1M
•
Updated
•
7