Verification as Learning Geometric Concepts.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori

Browse the full SAS paper archive.