sgomber
CS PhD student at UIUC | Program Analysis & Automated Reasoning
University of Illinois, Urbana-ChampaignIllinois, USA
Pinned Repositories
C-Compiler
A compiler for subset of C which supports function calls, expressions, if-else statements etc.
CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
CVC5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
monotonic-neural-networks
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
Pintos
Pintos Assignments for Operating Systems lab done in B. Tech.
regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
traffic-controller-NuSMV
Project done for my B.Tech course on Formal Methods for System Verification
Verification-of-PINNs
A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
VReadA
A Visual Readability Analyzer
sgomber's Repositories
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
sgomber/monotonic-neural-networks
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
sgomber/traffic-controller-NuSMV
Project done for my B.Tech course on Formal Methods for System Verification
sgomber/C-Compiler
A compiler for subset of C which supports function calls, expressions, if-else statements etc.
sgomber/Pintos
Pintos Assignments for Operating Systems lab done in B. Tech.
sgomber/regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
sgomber/VReadA
A Visual Readability Analyzer
sgomber/COMET
Counterexample-Guided Learning of Monotonic Networks
sgomber/CVC5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
sgomber/DJWaleBabu
sgomber/Socket_Client_Server
sgomber/Verification-of-PINNs
A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
sgomber/IITG-Dashboard_Website-App
sgomber/NFC-Software-Project
sgomber/pysmt
pySMT: A library for SMT formulae manipulation and solving
sgomber/sgomber
Config files for my GitHub profile.
sgomber/sgomber.github.io
sgomber/speech_separation
Research Project on Cocktail Party Problem (Computer Vision) done during my B. Tech.
sgomber/TextSeek
sgomber/Umiam_Hostel_Website