Yicheng He's picture

1 1

Yicheng He

bruno888

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago

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

liked a model 6 months ago

deepseek-ai/DeepSeek-R1

View all activity

Organizations

None yet

models 0

None public yet

datasets 0

None public yet