Probably Approximately Correct Interpolants Generation.

Bai Xue, Naijun Zhan

Browse the full SETTA paper archive.