zhanghengyuan
hengyuanya
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
4 days ago
MMFormalizer: Multimodal Autoformalization in the Wild
upvoted
a
paper
9 days ago
SWE-Lego: Pushing the Limits of Supervised Fine-tuning for Software Issue Resolving
upvoted
a
collection
2 months ago
Long_CoT_Degradation_SFT
Organizations
None yet