Benchmarking Testing in Automated Theorem Proving.

Jongyoon Kim, Hojae Han, Seung-Won Hwang

Browse the full ACL paper archive.