Search Results for author: Kunhao Zheng

Found 5 papers, 3 papers with code

Formal Mathematics Statement Curriculum Learning

1 code implementation3 Feb 2022 Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

We explore the use of expert iteration in the context of language modeling applied to formal mathematics.

Ranked #4 on Automated Theorem Proving on miniF2F-test (using extra training data)

Automated Theorem Proving Language Modelling

Prompting Visual-Language Models for Efficient Video Understanding

1 code implementation8 Dec 2021 Chen Ju, Tengda Han, Kunhao Zheng, Ya zhang, Weidi Xie

Image-based visual-language (I-VL) pre-training has shown great success for learning joint visual-textual representations from large-scale web data, revealing remarkable ability for zero-shot generalisation.

Action Recognition Language Modelling +4

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

3 code implementations ICLR 2022 Kunhao Zheng, Jesse Michael Han, Stanislas Polu

We present miniF2F, a dataset of formal Olympiad-level mathematics problems statements intended to provide a unified cross-system benchmark for neural theorem proving.

 Ranked #1 on Automated Theorem Proving on miniF2F-valid (using extra training data)

Automated Theorem Proving

Cannot find the paper you are looking for? You can Submit a new open access paper.