Jie Fu's picture

4 25 7

Jie Fu

bigaidream

·

https://bigaidream.github.io/

AI & ML interests

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

Recent Activity

authored a paper 18 days ago

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

upvoted a paper 19 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 19 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

commented a paper 19 days ago

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

Paper • 2507.16331 • Published 21 days ago • 18 •