@misc{indiciaee9f122a2894f,
  title = {Second-Order Problem Solving for Recursive Self-Improvement in Formal Verification},
  author = {Yuxuan Jiang and Aditya Vempaty and Ashish Jagmohan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.05701},
  note = {Source identifier: 2610.05701}
}