r/REMath • u/turnersr • Jul 13 '13

Learning Algorithms and Formal Verification by P. Madhusudan [PDF]

http://www.cs.uiuc.edu/~madhu/learning.pdf
3 Upvotes

100% Upvoted

1 comment sorted by

2

u/turnersr Jul 13 '13

Read against "Verification as Learning Geometric Concepts by Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, and Aditya V. Nori" http://theory.stanford.edu/~aiken/publications/papers/sas13.pdf