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 19 days ago

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

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

liked a model over 1 year ago

openbmb/MiniCPM-2B-sft-fp32

Text Generation • Updated Sep 7, 2024 • 1.19k • 295

liked a Space over 1 year ago

GenAI Arena

Realtime Image/Video Gen AI Arena

liked 4 datasets over 1 year ago

m-a-p/CMMMU

Viewer • Updated Sep 5, 2024 • 12k • 197 • 29

BAAI/TACO

Updated Jun 19, 2024 • 2.01k • 117

GAIR/MathPile

Preview • Updated Apr 3 • 312 • 188

m-a-p/COIG-CQIA

Viewer • Updated Apr 18, 2024 • 44.7k • 3.63k • 643

liked a Space almost 2 years ago

AutoAgents