@misc{indiciae905038d5eebf,
  title = {Symbolic Search Is Not Exhausted: Persistent Proof-Space Exploration in Lean4},
  author = {Ruoran Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.04275},
  note = {Source identifier: 2610.04275}
}