@misc{indiciae0461bfe27d51,
  title = {Formally Solving Answer-Construction Problems in Lean},
  author = {Jialiang Sun and Yuzhi Tang and Ao Li and Chris J. Maddison and Kuldeep S. Meel},
  year = {2026},
  url = {https://arxiv.org/abs/2505.18492},
  note = {Source identifier: 2505.18492}
}