Browse Dept. of Computer Science by Subject "Learning"

  • Garg, Pranav; Loding, Christof; Madhusudan, P.; Neider, Daniel (2013-10)
    We introduce a new paradigm for using black-box learning to synthesize invariants called ICE-learning that learns using examples, counter-examples, and implications, and show that it allows building honest teachers and ...

    application/pdf

    application/pdfPDF (318kB)