Zhihao Yang
hanoiy
AI & ML interests
None yet
Recent Activity
authored a paper about 2 hours ago
Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill Adaptation upvoted a paper about 24 hours ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification upvoted a paper about 24 hours ago
Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill AdaptationOrganizations
None yet