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 Loading

  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 11

  5. lazyslate lazyslate Public

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

    TypeScript 16

  6. Parallel-Verifier Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    C++ 3

Repositories

Showing 10 of 22 repositories
  • 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 Nov 17, 2024
  • 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
  • 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 Nov 11, 2024
  • Publications Public

    RAIR Lab Publication List

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

    The Spectra Automated Planner for DCEC built on ShadowProver

    RAIRLab/Spectra’s past year of commit activity
    Java 2 0 0 0 Updated Jun 1, 2024
  • lazyslate Public

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

    RAIRLab/lazyslate’s past year of commit activity
    TypeScript 16 MIT 0 6 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

    RAIRLab/EG-Theorem-Proving-in-PMH’s past year of commit activity
    2 MIT 0 1 1 Updated Dec 21, 2023
  • .github Public

    The RAIR Lab Github Organization Homepage Markdown

    RAIRLab/.github’s past year of commit activity
    0 0 0 0 Updated Dec 18, 2023
  • Parallel-Verifier Public

    Parallel Verification of Propositional Natural-Deduction Proof Graphs

    RAIRLab/Parallel-Verifier’s past year of commit activity
    C++ 3 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.

    RAIRLab/VirtualSlate’s past year of commit activity
    GDScript 2 0 0 2 Updated Dec 9, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…