Tristan

Tristan-sdu's activity

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

liked a dataset 4 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 388 • 59

liked a model 5 months ago

pkuAI4M/mathlib_formal_v4.24.0

Updated Dec 21, 2025 • 1

liked a dataset 5 months ago

pkuAI4M/minif2f-lean4-normalized

Viewer • Updated Sep 4, 2024 • 488 • 73 • 4

liked a model 5 months ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 9.57k • • 29