Rensselaer Artificial Intelligence and Reasoning Laboratory

AI & ML interests

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

Team members 1