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

Bio: https://leepike.github.io

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

Contact: leepike@logothetica.com