Fengdi Che's picture

2

Fengdi Che

FengdiFlo

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

FengdiFlo/VeriEquivBench

published a dataset about 1 month ago

FengdiFlo/VeriEquivBench

upvoted a paper 3 months ago

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

View all activity

Organizations

None yet

upvoted a paper 3 months ago

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

Paper • 2512.24617 • Published Dec 31, 2025 • 66

upvoted a paper 9 months 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