Publications

Research in formal reasoning, neuro-symbolic AI, and trustworthy learning.