TY  - RPRT
TI  - Mining Math Conjectures from LLMs: A Pruning Approach
AU  - Jake Chuharski
AU  - Elias Rojas Collins
AU  - Mark Meringolo
PY  - 2024
UR  - https://arxiv.org/abs/2412.16177
ID  - 2412.16177
ER  -