Hugging Face's logo
Jie Fu's picture
4 25 7

Jie Fu

bigaidream
ALEKAS's profile picture FengdiFlo's profile picture mkj69's profile picture
ยท
https://bigaidream.github.io/

AI & ML interests

AI Safety, Deep RL, Formal Reasoning & Verification, LLM

Recent Activity

authored a paper 26 days ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
upvoted a paper 27 days ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
commented on a paper 27 days ago
Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny
View all activity

Organizations

Veri-Code's profile picture