-
University of Illinois, Urbana-Champaign
- Illinois, USA
- sgomber.github.io
- @s_gomber
Highlights
- Pro
-
-
-
COMET Public
Forked from AishwaryaSivaraman/COMETCounterexample-Guided Learning of Monotonic Networks
Jupyter Notebook MIT License UpdatedSep 27, 2024 -
seahorn Public
Forked from seahorn/seahornSeaHorn Verification Framework
C Other UpdatedSep 4, 2024 -
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
-
elina_main Public
Forked from eth-sri/ELINAELINA: ETH LIbrary for Numerical Analysis
C++ Other UpdatedApr 7, 2023 -
monotonic-neural-networks Public
Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity
-
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
-
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.
-
-
-
-