adityathakur

Pinned Repositories

• DNNProvableRepairTutorial

  Algorithms and Applications for Provable Repair of Deep Neural Networks.

  Language:HCL2101

• PRDNN

  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."

  Language:Python10434

• SyReNN

  SyReNN: Symbolic Representations for Neural Networks

  Language:Python40515

• SyReNN_GPU

  GPU implementation of SyReNN: Symbolic Representations for Neural Networks

  Language:Python0200

• Waldo

  Waldo Aidentifies Likely Datastructures ... Onestly?

  Language:C1201

• dice-star

  Language:F*17306

• organization

  0200

• WALi-OpenNWA

  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library

  Language:C++1812215

adityathakur's Repositories