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
Language:PythonMIT000
CVC5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMTNOASSERTION000
Language:Java000
Language:Python000
Language:C000
Verification-of-PINNs
A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
Language:Jupyter Notebook000
Language:HTML000
Language:CSS000
Language:JavaMIT000
sgomber
Config files for my GitHub profile.
000
Language:JavaScriptMIT000
speech_separation
Research Project on Cocktail Party Problem (Computer Vision) done during my B. Tech.
Language:PythonMIT000
Language:Python000
Language:CSS000