Chaofan Tao

tcftrees's activity

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

authored 6 papers about 13 hours ago

MMFormalizer: Multimodal Autoformalization in the Wild

Paper • 2601.03017 • Published Jan 6 • 106

MMDeepResearch-Bench: A Benchmark for Multimodal Deep Research Agents

Paper • 2601.12346 • Published Jan 18 • 52

OVD: On-policy Verbal Distillation

Paper • 2601.21968 • Published Jan 29 • 6

From Verifiable Dot to Reward Chain: Harnessing Verifiable Reference-based Rewards for Reinforcement Learning of Open-ended Generation

Paper • 2601.18533 • Published Jan 26

GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning

Paper • 2604.20659 • Published Apr 22

What Makes Interaction Trajectories Effective for Training Terminal Agents?

Paper • 2606.03461 • Published 7 days ago

upvoted a paper about 2 months ago

Attention Sink in Transformers: A Survey on Utilization, Interpretation, and Mitigation

Paper • 2604.10098 • Published Apr 11 • 82

updated a dataset 3 months ago

autocode07/rebench-filter-2792-think-traj-raw-c

Updated Mar 15 • 4

published a dataset 3 months ago

autocode07/rebench-filter-2792-think-traj-raw-c

Updated Mar 15 • 4

upvoted a paper 3 months ago

OVD: On-policy Verbal Distillation

Paper • 2601.21968 • Published Jan 29 • 6

upvoted 5 papers 5 months ago

Motion 3-to-4: 3D Motion Reconstruction for 4D Synthesis

Paper • 2601.14253 • Published Jan 20 • 10

FARE: Fast-Slow Agentic Robotic Exploration

Paper • 2601.14681 • Published Jan 21 • 8

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Paper • 2601.14027 • Published Jan 20 • 14

Agentic Reasoning for Large Language Models

Paper • 2601.12538 • Published Jan 18 • 204

MMDeepResearch-Bench: A Benchmark for Multimodal Deep Research Agents

Paper • 2601.12346 • Published Jan 18 • 52

liked a model 5 months ago

SWE-Lego/SWE-Lego-Qwen3-32B

677k • Updated Jan 13 • 21 • 4

upvoted a paper 5 months ago

Locate, Steer, and Improve: A Practical Survey of Actionable Mechanistic Interpretability in Large Language Models

Paper • 2601.14004 • Published Jan 20 • 49

liked a model 5 months ago

SWE-Lego/SWE-Lego-Qwen3-8B

308k • Updated Jan 13 • 1.08k • 5

upvoted a paper 5 months ago

MMFormalizer: Multimodal Autoformalization in the Wild

Paper • 2601.03017 • Published Jan 6 • 106

authored a paper 5 months ago

SWE-Lego: Pushing the Limits of Supervised Fine-tuning for Software Issue Resolving

Paper • 2601.01426 • Published Jan 4 • 24