Authors Search About

Meringolo, Mark

1 publications

NeurIPSW 2024 Mining Math Conjectures from LLMs: A Pruning Approach Jake Chuharski, Elias Rojas Collins, Mark Meringolo

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy