Zhihao Yang

hanoiy

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 12 hours ago

LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification

upvoted a paper about 12 hours ago

Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill Adaptation

submitted a paper about 12 hours ago

Evolving to Match Capabilities: Improving Harness Self-Evolution via Skill Adaptation

View all activity

Organizations

None yet

hanoiy 's papers 6

arxiv:2610.30524

arxiv:2610.28698

arxiv:2610.14158

arxiv:2603.29557

arxiv:2602.21628

arxiv:2505.17654