Browse Research and Tech Reports - Computer Science by Author "Garg, Pranav"

  • 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)
  • 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/pdf

    application/pdfPDF (597kB)