ZhangXinyu

Zhongxieye

4 5

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 6 days ago

CalibForge: Adversarial Solver Calibration for Scaling Learnable Terminal Tasks

upvoted a paper 2 months ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

upvoted a paper 2 months ago

COLLEAGUE.SKILL: Automated AI Skill Generation via Expert Knowledge Distillation

View all activity

Organizations

upvoted a paper 6 days ago

CalibForge: Adversarial Solver Calibration for Scaling Learnable Terminal Tasks

Paper • 2608.06352 • Published 7 days ago • 23

upvoted 2 papers 2 months ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

Paper • 2606.13473 • Published Jun 11 • 94

COLLEAGUE.SKILL: Automated AI Skill Generation via Expert Knowledge Distillation

Paper • 2605.31264 • Published May 29 • 124

upvoted a paper 5 months ago

BeyondSWE: Can Current Code Agent Survive Beyond Single-Repo Bug Fixing?

Paper • 2603.03194 • Published Mar 3 • 57