We are interested in neuro-symbolic AI and formal methods in theoretical computer science.
No public activity
