TY  - RPRT
TI  - Direct Optimization of Generators for Search in Automated Theorem Proving
AU  - Adam Ousherovitch
AU  - Ambuj Tewari
PY  - 2026
UR  - https://arxiv.org/abs/2609.25575
ID  - 2609.25575
ER  -