-
University of Illinois, Urbana-Champaign
- Illinois, USA
- sgomber.github.io
- @s_gomber
Highlights
- Pro
-
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedJul 7, 2024 -
-
Verification-of-PINNs Public
Forked from avaljotsingh/Verification-of-PINNsA tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably
Jupyter Notebook UpdatedDec 3, 2023 -
CVC5 Public
Forked from ajreynol/CVC4CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedJul 12, 2023 -
regex-to-smtlib Public
A tool to translate regular expressions to smt-lib constraints
-
monotonic-neural-networks Public
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
-
COMET Public
Forked from AishwaryaSivaraman/COMETCounterexample-Guided Learning of Monotonic Networks
Python MIT License UpdatedNov 28, 2022 -
-
IITG-Dashboard_Website-App Public
Forked from architjugran/IITG-Dashboard_Website-AppCSS UpdatedMay 14, 2022 -
Pintos Public
Pintos Assignments for Operating Systems lab done in B. Tech.
-
speech_separation Public
Forked from bill9800/speech_separationResearch Project on Cocktail Party Problem (Computer Vision) done during my B. Tech.
Python MIT License UpdatedNov 15, 2021 -
traffic-controller-NuSMV Public
Project done for my B.Tech course on Formal Methods for System Verification
5 UpdatedOct 25, 2021 -
CDCL-SAT Public
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
-
-
-
C-Compiler Public
A compiler for subset of C which supports function calls, expressions, if-else statements etc.
-
-
-
-