Own website · haotianye.com ↗

Haotian Ye

Researcher

Now PhD candidate, Computer Science, Stanford University

Latest on AI4S.fyiTimeline · Oct 13A Stanford verifier that hunts for errors in AI maths proofs roughly halves the invalid solutions a human must read, and reports real mistakes in 11 OpenAI preprints

Affiliations

Current

PhD candidate, Computer Science · Stanford Universityas of 2026-10-19haotianye.com ↗

Current roles come from these dated records, not from the bio below. Each links the page it was read from.

On the timeline

2026-10-13A Stanford verifier that hunts for errors in AI maths proofs roughly halves the invalid solutions a human must read, and reports real mistakes in 11 OpenAI preprints

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →