Zhihao Yang
hanoiy
AI & ML interests
None yet
Recent Activity
authored a paper 4 days ago
Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill Adaptation upvoted a paper 5 days ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean VerificationOrganizations
None yet