yihongliu
liuyihong
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 1 month ago
ReForm: Reflective Autoformalization with Prospective Bounded Sequence
Optimization
upvoted
a
paper
12 months ago
YuLan-Mini: An Open Data-efficient Language Model
Organizations
None yet