LChen's picture

6 1

LChen

Charlie-LChen

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 26 days 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

Charlie-LChen 's datasets

None public yet