di huang's picture

di huang

dihuang

AI & ML interests

None yet

Recent Activity

upvoted a collection 3 days ago

upvoted a paper 9 months ago

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

upvoted a collection 9 months ago

View all activity

Organizations

None yet

commented a paper 11 months ago

CodeV-R1: Reasoning-Enhanced Verilog Generation

Paper • 2505.24183 • Published May 30, 2025 • 9 •

commented 2 papers almost 2 years ago

Case2Code: Learning Inductive Reasoning with Synthetic Data

Paper • 2407.12504 • Published Jul 17, 2024 • 8 •

Case2Code: Learning Inductive Reasoning with Synthetic Data

Paper • 2407.12504 • Published Jul 17, 2024 • 8 •