Shaurya Gomber's repositories
monotonic-neural-networks
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
traffic-controller-NuSMV
Project done for my B.Tech course on Formal Methods for System Verification
C-Compiler
A compiler for subset of C which supports function calls, expressions, if-else statements etc.
regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
COMET
Counterexample-Guided Learning of Monotonic Networks
CVC5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Verification-of-PINNs
A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
elina_main
ELINA: ETH LIbrary for Numerical Analysis
PyAbsInt
An abstract interpreter in Python
pysmt
pySMT: A library for SMT formulae manipulation and solving
seahorn
SeaHorn Verification Framework
speech_separation
Research Project on Cocktail Party Problem (Computer Vision) done during my B. Tech.