MS CS at UIUC | Ex: Applied Science @ AWS, D.E. Shaw, IIT Guwahati
-
University of Illinois, Urbana-Champaign
- Illinois, USA
- sgomber.github.io
- @s_gomber
Highlights
- Pro
Block or Report
Block or report sgomber
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
CVC5
CVC5 PublicForked from ajreynol/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT
-
Verification-of-PINNs
Verification-of-PINNs PublicForked from avaljotsingh/Verification-of-PINNs
A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
Jupyter Notebook
-
monotonic-neural-networks
monotonic-neural-networks PublicImplementation of Monotonic Neural Networks using Point-wise loss for monotonicity
-
C-Compiler
C-Compiler PublicA compiler for subset of C which supports function calls, expressions, if-else statements etc.
Yacc 1
-
traffic-controller-NuSMV
traffic-controller-NuSMV PublicProject done for my B.Tech course on Formal Methods for System Verification
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.