Rensselaer Artificial Intelligence and Reasoning Laboratory

university

AI & ML interests

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

RAIR-Lab's activity

No public activity