Skip to content
@dynaroars

Roars Lab

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

Code repository of the Roars lab at George Mason University.

Pinned Loading

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

    Roars Website

    HTML 70 6

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

    A open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.

    TeX 275 26

  3. neuralsat neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    Python 30 6

  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 56 6

  5. npbench npbench Public

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

    TeX 14 1

  6. cspicks cspicks Public

    A simple website to explore Computer Science Professors and PhD programs using data from CSrankings

    JavaScript 2 1

Repositories

Showing 10 of 49 repositories
  • neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    dynaroars/neuralsat’s past year of commit activity
    Python 30 MIT 6 4 0 Updated Feb 14, 2026
  • phd-cs-us Public

    A open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.

    dynaroars/phd-cs-us’s past year of commit activity
    TeX 275 26 0 0 Updated Feb 13, 2026
  • csawards Public
    dynaroars/csawards’s past year of commit activity
    CSS 0 0 0 0 Updated Feb 12, 2026
  • nnv Public

    book_nnv

    dynaroars/nnv’s past year of commit activity
    TeX 1 1 0 0 Updated Feb 12, 2026
  • csconfs Public

    Tracking Deadlines of Major Conferences in Computer Science

    dynaroars/csconfs’s past year of commit activity
    JavaScript 9 MIT 10 1 0 Updated Feb 11, 2026
  • csgmu Public

    Searchable directory for the George Mason University Computer Science department. Browse faculty by name, rank, track, or research interest.

    dynaroars/csgmu’s past year of commit activity
    CSS 0 MIT 0 0 0 Updated Feb 10, 2026
  • iclrpoints Public
    dynaroars/iclrpoints’s past year of commit activity
    HTML 1 0 0 0 Updated Feb 8, 2026
  • cspicks Public

    A simple website to explore Computer Science Professors and PhD programs using data from CSrankings

    dynaroars/cspicks’s past year of commit activity
    JavaScript 2 MIT 1 0 0 Updated Feb 5, 2026
  • aptpchecker Public

    Checking DNN Verification Proofs

    dynaroars/aptpchecker’s past year of commit activity
    Python 2 0 0 0 Updated Feb 3, 2026
  • dynaroars.github.io Public

    Roars Website

    dynaroars/dynaroars.github.io’s past year of commit activity
    HTML 70 6 0 0 Updated Feb 2, 2026