Skip to content
@RAIRLab

RAIR Lab

The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory
README.md

The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory at Rensselaer Polytechnic Institute (RPI)

Research and development in the RAIR Lab ranges across a number of applied projects, as well as across many of the fundamental questions AI raises. Everything is to a high degree unified by the fact that the formalisms, tools, techniques, systems, etc. that underlie the lab's R&D are invariably based on reasoning.

Faculty

Selmer Bringsjord - Director

Current Members

(As of July 2025)
* = Computer Science † = Cognitive Science

Doctoral Students

Undergraduate Students

Pinned Loading

  1. ShadowProver ShadowProver Public

    The definitive DCEC theorem prover built on SNARK.

    Java 3

  2. ShadowAdjudicator ShadowAdjudicator Public

    An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.

    Python 2

  3. logic-group logic-group Public

    Website listing the talks given in the logic group

    2

  4. Peirce-My-Heart Peirce-My-Heart Public

    A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

    TypeScript 11

  5. lazyslate lazyslate Public

    An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.

    TypeScript 17

  6. Parallel-Verifier Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    C++ 3

Repositories

Showing 10 of 24 repositories
  • bloxorz Public
    RAIRLab/bloxorz’s past year of commit activity
    PDDL 0 0 6 2 Updated Dec 18, 2025
  • nl3pddl Public

    Experiments in generating PDDL domains with LLMs under formal feedback

    RAIRLab/nl3pddl’s past year of commit activity
    Python 3 0 6 4 Updated Dec 16, 2025
  • .github Public

    The RAIR Lab Github Organization Homepage Markdown

    RAIRLab/.github’s past year of commit activity
    0 0 0 0 Updated Nov 26, 2025
  • logic-group Public

    Website listing the talks given in the logic group

    RAIRLab/logic-group’s past year of commit activity
    2 0 0 0 Updated Aug 16, 2025
  • ShadowProver Public

    The definitive DCEC theorem prover built on SNARK.

    RAIRLab/ShadowProver’s past year of commit activity
    Java 3 MIT 0 0 0 Updated Feb 6, 2025
  • Spectra Public

    The Spectra Automated Planner for DCEC built on ShadowProver

    RAIRLab/Spectra’s past year of commit activity
    Java 4 0 0 0 Updated Feb 3, 2025
  • Peirce-My-Heart Public

    A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

    RAIRLab/Peirce-My-Heart’s past year of commit activity
    TypeScript 11 MIT 0 14 (4 issues need help) 2 Updated Jan 5, 2025
  • vsp Public

    Website for the Workshop on Variable Sharing Properties and Their Discontents

    RAIRLab/vsp’s past year of commit activity
    1 0 0 0 Updated Nov 15, 2024
  • Publications Public

    RAIR Lab Publication List

    RAIRLab/Publications’s past year of commit activity
    Python 1 0 3 0 Updated Nov 1, 2024
  • lazyslate Public

    An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.

    RAIRLab/lazyslate’s past year of commit activity
    TypeScript 17 MIT 0 6 0 Updated Feb 3, 2024
View all repositories

Most used topics

Loading…