@misc{indiciae41d6856b4d02,
  title = {Pseudo-Formalization for Automatic Proof Verification},
  author = {Slim Barkallah and Luke Bailey and Kaiyue Wen and Mohammed Abouzaid and Tengyu Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2605.20531},
  note = {Source identifier: 2605.20531}
}