LChen's picture

6 1

LChen

Charlie-LChen

·

AI & ML interests

None yet

Recent Activity

upvoted a collection about 1 month ago

liked a model about 1 month ago

deepseek-ai/DeepSeek-Math-V2

upvoted a paper 2 months ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

View all activity

Organizations

None yet

authored a paper 3 months ago

FlowRL: Matching Reward Distributions for LLM Reasoning

Paper • 2509.15207 • Published Sep 18, 2025 • 114