Mining Math Conjectures from LLMs: A Pruning Approach. - Jake Chuharski; Elias Rojas Collins; Mark Meringolo (CoRR, 2024)