Consulting in automated reasoning, compilers, & agentic AI.

Bio: https://leepike.github.io

Contact: [email protected]