Shaurya Gomber's Projects
A compiler for subset of C which supports function calls, expressions, if-else statements etc.
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Counterexample-Guided Learning of Monotonic Networks
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
Pintos Assignments for Operating Systems lab done in B. Tech.
pySMT: A library for SMT formulae manipulation and solving
A tool to translate regular expressions to smt-lib constraints
Config files for my GitHub profile.
Research Project on Cocktail Party Problem (Computer Vision) done during my B. Tech.
Project done for my B.Tech course on Formal Methods for System Verification
A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
A Visual Readability Analyzer