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

No public activity