TY  - RPRT
TI  - Benchmarking Testing in Automated Theorem Proving
AU  - Jongyoon Kim
AU  - Hojae Han
AU  - Seung-won Hwang
PY  - 2026
DO  - 10.18653/v1/2026.acl-industry.150
UR  - https://arxiv.org/abs/2604.23698
ID  - 2604.23698
ER  -