Hugging Face's logo
Fengdi Che's picture
2

Fengdi Che

FengdiFlo
melsayed95's profile picture XuhanH's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago
Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space
authored a paper 7 months ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
upvoted a paper 7 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