Hi! I’m Zygi. I’m a tech generalist living in SF. My main focus right now is machine learning, large language models and their mathematical reasoning capabilities. I also have experience in formal verification, formalization of mathematics, programming languages, and systems engineering.

I occasionally write about my projects on my blog here and post my short-form thoughts on Twitter. You can find my formal resume here or check out my LinkedIn.

I’d love to chat! Emails or DMs on any platform are always welcome.