Fengdi Che PRO

FengdiFlo's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 7 days ago

FengdiFlo/Monte-Carlo-Q

Updated 7 days ago

updated a dataset 19 days ago

FengdiFlo/mechanism_code

Viewer • Updated 19 days ago • 24.4k • 45

published a dataset 19 days ago

FengdiFlo/mechanism_code

Viewer • Updated 19 days ago • 24.4k • 45

updated a model 21 days ago

FengdiFlo/Mechanism_GRPO

2B • Updated 21 days ago • 70

published a model 24 days ago

FengdiFlo/Mechanism_GRPO

2B • Updated 21 days ago • 70

updated a dataset 3 months ago

FengdiFlo/DeepScaleR-Split

Viewer • Updated Jun 20 • 80.6k • 37

published a model 4 months ago

FengdiFlo/Monte-Carlo-Q

Updated 7 days ago

published a dataset 4 months ago

FengdiFlo/DeepScaleR-Split

Viewer • Updated Jun 20 • 80.6k • 37

updated a dataset 7 months ago

FengdiFlo/VeriEquivBench

Viewer • Updated Mar 5 • 6.21k • 14

published a dataset 7 months ago

FengdiFlo/VeriEquivBench

Viewer • Updated Mar 5 • 6.21k • 14

upvoted a paper 9 months ago

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

Paper • 2512.24617 • Published Dec 31, 2025 • 67

authored a paper about 1 year ago

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

Paper • 2507.16331 • Published Jul 22, 2025 • 22

upvoted a paper about 1 year ago

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

Paper • 2507.16331 • Published Jul 22, 2025 • 22