TY  - RPRT
TI  - Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification
AU  - Yuxuan Jiang
AU  - Aditya Vempaty
AU  - Ashish Jagmohan
PY  - 2026
UR  - https://arxiv.org/abs/2610.05701
ID  - 2610.05701
ER  -