Consulting in automated reasoning, compilers, & neuro-symbolic AI.

Bio: https://leepike.github.io

LinkedIn: https://www.linkedin.com/in/leepike/

Contact: [email protected]