Hugging Face's logo
LChen's picture
6 1

LChen

Charlie-LChen
xuekai's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a collection 23 days ago
MemoryDecoder
liked a model 28 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