Thomas Zhu

hanwenzhu's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 6 months ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Paper • 2512.17260 • Published Dec 19, 2025 • 53

upvoted a paper 11 months ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31, 2025 • 116

upvoted a collection 12 months ago

miniCTX

Collection

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

upvoted a paper over 1 year ago

miniCTX: Neural Theorem Proving with (Long-)Contexts

Paper • 2408.03350 • Published Aug 5, 2024 • 1

upvoted a paper almost 2 years ago

DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors

Paper • 2409.08278 • Published Sep 12, 2024 • 15