Skip to content
@dynaroars

Roars Lab

Roars (Research on Automated Reasoning Systems) Lab at George Mason University
README.md

Code repository of the Roars lab at George Mason University.

Pinned Loading

  1. dynaroars.github.io dynaroars.github.io Public

    Roars Website

    HTML 67 6

  2. phd-cs-us phd-cs-us Public

    This book helps demystify the PhD admission process in Computer Science in US universities.

    TeX 103 10

  3. neuralsat neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    Python 14 1

  4. dig dig Public

    DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…

    Python 41 6

  5. npbench npbench Public

    a collection of benchmarks (in DIMACS format) for various NP-Complete problems

    TeX 12 1

Repositories

Showing 10 of 31 repositories
  • csconfs Public
    dynaroars/csconfs’s past year of commit activity
    JavaScript 0 0 0 0 Updated Apr 21, 2025
  • neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    dynaroars/neuralsat’s past year of commit activity
    Python 14 MIT 1 5 0 Updated Apr 21, 2025
  • relusplitter Public
    dynaroars/relusplitter’s past year of commit activity
    Python 0 0 0 0 Updated Apr 21, 2025
  • dynaroars.github.io Public

    Roars Website

    dynaroars/dynaroars.github.io’s past year of commit activity
    HTML 67 6 0 0 Updated Apr 19, 2025
  • phd-cs-us Public

    This book helps demystify the PhD admission process in Computer Science in US universities.

    dynaroars/phd-cs-us’s past year of commit activity
    TeX 103 10 0 0 Updated Apr 19, 2025
  • npbench Public

    a collection of benchmarks (in DIMACS format) for various NP-Complete problems

    dynaroars/npbench’s past year of commit activity
    TeX 12 1 0 0 Updated Apr 16, 2025
  • .github Public
    dynaroars/.github’s past year of commit activity
    0 0 0 0 Updated Apr 13, 2025
  • dig Public

    DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

    dynaroars/dig’s past year of commit activity
    Python 41 MIT 6 6 0 Updated Apr 13, 2025
  • AdaptiveGDVB Public
    dynaroars/AdaptiveGDVB’s past year of commit activity
    HCL 0 MIT 0 0 0 Updated Apr 8, 2025
  • COOL-Language-Support Public
    dynaroars/COOL-Language-Support’s past year of commit activity
    Python 3 0 0 0 Updated Mar 18, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…