caigua

caiguaq's activity

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

upvoted 2 collections 2 months ago

BFS-Prover

Collection

LLM Step-Provers in Lean4 • 5 items • Updated Oct 7, 2025 • 4

Tar

Collection

[NeurIPS 2025] Unifying Visual Understanding and Generation via Text-Aligned Representations • 5 items • Updated Sep 20, 2025 • 16