Jie Fu's picture

Jie Fu

bigaidream

·

https://bigaidream.github.io/

AI & ML interests

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

Recent Activity

upvoted a paper 2 days ago

InCoder-32B: Code Foundation Model for Industrial Scenarios

upvoted a paper 3 months ago

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

authored a paper 8 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 about 2 years ago

openbmb/MiniCPM-2B-sft-fp32

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

liked a Space about 2 years ago

GenAI Arena

Realtime Image/Video Gen AI Arena

liked 3 datasets about 2 years ago

m-a-p/CMMMU

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

BAAI/TACO

Updated Jun 19, 2024 • 1.95k • 134

GAIR/MathPile

Preview • Updated Apr 3, 2025 • 391 • 194

liked a dataset over 2 years ago

m-a-p/COIG-CQIA

Viewer • Updated Apr 18, 2024 • 44.7k • 4.02k • 704

liked a Space over 2 years ago

AutoAgents