1 2 1

Thomas Zhu

hanwenzhu

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

l3lab/miniCTX-v2

published a dataset about 1 month ago

l3lab/miniCTX-v2

updated a model about 1 month ago

hanwenzhu/wip-lean-embeddings

View all activity

Organizations

hanwenzhu's activity

updated a dataset about 1 month ago

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 219

published a dataset about 1 month ago

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 219

updated a model about 1 month ago

hanwenzhu/wip-lean-embeddings

Updated Mar 22

upvoted a paper about 1 month ago

miniCTX: Neural Theorem Proving with (Long-)Contexts

Paper • 2408.03350 • Published Aug 5, 2024 • 1

updated a collection about 1 month ago

miniCTX

Collection

miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral) • 8 items • Updated Mar 19

updated a model about 1 month ago

hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17

published a model about 1 month ago

hanwenzhu/all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5-mar17

updated a model about 1 month ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-mar17

published a model about 1 month ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5-mar17

updated a model about 1 month ago

hanwenzhu/all-roberta-large-v1-lr5e-5-bs256-nneg3-ml-mar16

published a model about 1 month ago

hanwenzhu/all-roberta-large-v1-lr5e-5-bs256-nneg3-ml-mar16

updated a model about 1 month ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13

published a model about 1 month ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13

updated a model about 2 months ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-mlbs-mar03

Sentence Similarity • Updated Mar 3 • 1

published a model about 2 months ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-mlbs-mar03

Sentence Similarity • Updated Mar 3 • 1

updated a model about 2 months ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-ml-feb22

published a model about 2 months ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-ml-feb22

New activity in l3lab/miniCTX 2 months ago

Add validation set

#2 opened 2 months ago by

hanwenzhu

updated a model 2 months ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs1024-nneg3-ml-feb11

published a model 2 months ago