yihongliu
liuyihong
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper 6 days ago
Toward Autonomous Long-Horizon Engineering for ML Research upvoted a paper 3 months ago
LLM-in-Sandbox Elicits General Agentic Intelligence upvoted a paper 6 months ago
ReForm: Reflective Autoformalization with Prospective Bounded Sequence
OptimizationOrganizations
None yet