Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

RAIR Lab

The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory

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 January 2026)
* = Computer Science † = Cognitive Science

Doctoral Students

Undergraduate Students

Pinned Loading

  1. ShadowProver ShadowProver Public

    The definitive DCEC theorem prover built on SNARK.

    Java 3 1

  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

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 22 repositories

Top languages

Loading...

Most used topics

Loading...

AltStyle によって変換されたページ (->オリジナル) /