arxiv:2512.17260
Thomas Zhu
hanwenzhu
AI & ML interests
Automated Theorem Proving
Recent Activity
liked a model about 2 months ago
deepseek-ai/DeepSeek-V4-Pro authored a paper 6 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience upvoted a paper 6 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperienceOrganizations
models 16
hanwenzhu/leandojo-lean4-retriever-byt5-small-hammer
0.2B • Updated • 4
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5
Updated • 2
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 • 1
hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17
Sentence Similarity • 33.4M • Updated • 1
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 • 2
hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13
Sentence Similarity • 82.1M • Updated • 3