AI & ML interests
We are interested in neuro-symbolic AI and formal methods in theoretical computer science.
sling-ai 's models
None public yet
We are interested in neuro-symbolic AI and formal methods in theoretical computer science.