24 citations · 24 across the 2 of their papers we have counts for
2 papers
cs.LG2022★ 24 cited
Formal Mathematics Statement Curriculum Learning
Stanislas Polu, Jesse Michael Han, Kunhao Zheng +3
We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show that at same compute budget, expert iteration, by which we mean pr…
math.CO2021
On number of different sized induced subgraphs of Bipartite-Ramsey graphs
Mantas Baksys, Xuanang Chen
In this paper, we investigate the set of sizes of induced subgraphs of bipartite graphs. We introduce the definition of -- graphs, which is closely related to…