0

Kunhao Zheng

Papers
4

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
4papers

Authored papers

4

The KoLMogorov Test: Compression by Code Generation

arXiv 2025

2025

Formal Mathematics Statement Curriculum Learning

arXiv 2022

2022

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

minif2f-a-cross-system-benchmark-for-formal-1

2021

Prompting Visual-Language Models for Efficient Video Understanding

arXiv 2021

2021

Affiliations

No known affiliations.

Frequent co-authors

10

from 4 papers

Jesse Michael Han

2 shared papers

Stanislas Polu

founder

2 shared papers

Chen Ju

1 shared paper

Fabian Gloeckle

1 shared paper

Gabriel Synnaeve

1 shared paper

Igor Babuschkin

founder

1 shared paper

Ilya Sutskever

co-founder / CEO (SSI)

1 shared paper

Jonas Gehring

1 shared paper

Mantas Baksys

1 shared paper

Ori Yoran

1 shared paper