Natural proofs for structure, data, and separation.

Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan

Browse the full PLDI paper archive.