LChen's picture

6 1

LChen

Charlie-LChen

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 10 days ago

liked a model 14 days ago

deepseek-ai/DeepSeek-Math-V2

upvoted a paper about 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

Charlie-LChen 's models

None public yet