conftrace_
← Authors

Jesse Michael Han

3 papers · 2022–2023 · 1 conference · across top CS/AI conferences

Conferences

ICLR (3)

Top co-authors

Stanislas Polu (3) Kunhao Zheng (2) Ilya Sutskever (1) Edward Ayers (1) Mantas Baksys (1) Yuhuai Wu (1) Igor Babuschkin (1) Jason Rute (1)

Classification in progress for this author's papers.

Papers

Formal Mathematics Statement Curriculum Learning ICLR 2023 Proof Artifact Co-Training for Theorem Proving with Language Models ICLR 2022 miniF2F: a cross-system benchmark for formal Olympiad-level mathematics ICLR 2022