arXiv:2507.23726
Thomas Zhu
hanwenzhu
AI & ML interests
Automated Theorem Proving
Recent Activity
updated
a model
11 days ago
l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
updated
a dataset
13 days ago
l3lab/lean-premises
updated
a dataset
13 days ago
l3lab/lean-premises
Organizations
models
15
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5
Updated
hanwenzhu/wip-lean-embeddings
Updated
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-may07
Sentence Similarity
•
82.1M
•
Updated
•
1
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-apr25
Sentence Similarity
•
33.4M
•
Updated
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity
•
33.4M
•
Updated
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity
•
82.1M
•
Updated
•
4
hanwenzhu/all-roberta-large-v1-lr5e-5-bs256-nneg3-ml-mar16
Sentence Similarity
•
0.4B
•
Updated
•
1
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13
Sentence Similarity
•
82.1M
•
Updated
•
1
hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-mlbs-mar03
Sentence Similarity
•
82.1M
•
Updated
•
1
datasets
0
None public yet