@misc{indiciae8c2042e7b408,
  title = {Benchmarking Testing in Automated Theorem Proving},
  author = {Jongyoon Kim and Hojae Han and Seung-won Hwang},
  year = {2026},
  doi = {10.18653/v1/2026.acl-industry.150},
  url = {https://arxiv.org/abs/2604.23698},
  note = {Source identifier: 2604.23698}
}