陈韡's picture

1 2 1

陈韡

Gangtiechipangzi

·

https://github.com/yedongxi

AI & ML interests

None yet

Recent Activity

commented on a paper about 2 months ago

Yume: An Interactive World Generation Model

liked a Space about 2 months ago

allenai/WildBench

upvoted a paper 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Organizations

None yet

upvoted 2 papers 2 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 42

MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical Reasoning

Paper • 2505.10557 • Published May 15 • 47