SLING AI Inc.

AI & ML interests

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

Team members 1