Rensselaer Artificial Intelligence and Reasoning Laboratory

university

https://rair.cogsci.rpi.edu/

https://github.com/RAIRLab

AI & ML interests

Logic Based AI, Explainable AI, Automated Theorem Proving, Hybrid AI, AGI

RAIR-Lab 's models

None public yet