AI & ML interests

Automated Reasoning, Reinforcement Learning, Neuro-Symbolic AI