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

models

None public yet

datasets

None public yet