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
Bram Van Heuvlen - Assistant Director

Current Members

(As of August 2023)
* = Computer Science † = Cognitive Science

Doctoral Students

Pinned

  1. ShadowProver ShadowProver Public

    The definitive DCEC theorem prover built on SNARK.

    Java 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 7

  5. lazyslate lazyslate Public

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

    TypeScript 2

  6. Parallel-Verifier Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    C++ 2

Repositories

Showing 10 of 21 repositories
  • Peirce-My-Heart Public

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

    TypeScript 7 MIT 0 18 (6 issues need help) 2 Updated May 15, 2024
  • Publications Public

    RAIR Lab Publication List

    Python 1 0 1 0 Updated May 1, 2024
  • logic-group Public

    Website listing the talks given in the logic group

    2 0 0 0 Updated Apr 15, 2024
  • Spectra Public

    The Spectra Automated Planner for DCEC built on ShadowProver

    Java 1 0 0 0 Updated Mar 29, 2024
  • lazyslate Public

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

    TypeScript 2 MIT 0 5 0 Updated Feb 3, 2024
  • EG-Theorem-Proving-in-PMH Public

    (Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH

    2 MIT 0 1 1 Updated Dec 21, 2023
  • .github Public

    The RAIR Lab Github Organization Homepage Markdown

    0 0 0 0 Updated Dec 18, 2023
  • Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    C++ 2 MIT 0 0 0 Updated Dec 16, 2023
  • VirtualSlate Public

    VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.

    GDScript 1 0 0 2 Updated Dec 9, 2023
  • ShadowProver Public

    The definitive DCEC theorem prover built on SNARK.

    Java 1 MIT 0 1 0 Updated Nov 28, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…