arxiv:2512.17260
Thomas Zhu
hanwenzhu
AI & ML interests
Automated Theorem Proving
Organizations
models 16
hanwenzhu/leandojo-lean4-retriever-byt5-small-hammer
0.2B • Updated
• 2
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
• 1
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