TY  - RPRT
TI  - RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
AU  - Andrei Kozyrev
AU  - Nikita Khramov
AU  - Denis Lochmelis
AU  - Valerio Morelli
AU  - Gleb Solovev
AU  - Anton Podkopaev
PY  - 2026
UR  - https://arxiv.org/abs/2602.05762
ID  - 2602.05762
ER  -