Jie Fu's picture

4 26 7

Jie Fu

bigaidream

·

https://bigaidream.github.io/

AI & ML interests

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

Recent Activity

upvoted a paper about 14 hours ago

Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space

authored a paper 5 months ago

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

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

liked a model almost 2 years ago

openbmb/MiniCPM-2B-sft-fp32

Text Generation • Updated Sep 7, 2024 • 374 • 296

liked a Space almost 2 years ago

GenAI Arena

Realtime Image/Video Gen AI Arena

liked a dataset almost 2 years ago

m-a-p/CMMMU

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

liked 3 datasets about 2 years ago

BAAI/TACO

Updated Jun 19, 2024 • 1.89k • 129

GAIR/MathPile

Preview • Updated Apr 3, 2025 • 338 • 193

m-a-p/COIG-CQIA

Viewer • Updated Apr 18, 2024 • 44.7k • 5.87k • 664

liked a Space over 2 years ago

AutoAgents