![](https://cdn-avatars.huggingface.co/v1/production/uploads/648b152a4cb9bdfc9fe144aa/vJAd5y2mW3Q9wAWb9-ZPj.png)
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
Logic Based AI, Explainable AI, Automated Theorem Proving, Hybrid AI, AGI
No public activity