We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via webform.

Browse Research and Tech Reports - Computer Science by Author "Neider, Daniel"

  • 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/pdfPDF (318kB)
  • Garg, Pranav; Neider, Daniel; Madhusudan, P.; Roth, Dan (2015)
    Inductive invariants can be robustly synthesized using a learning model where the teacher is a program verifier who instructs the learner through concrete program configurations, classified as positive, negative, and ...


    application/pdfPDF (597kB)