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 post my short-form thoughts on Twitter. You can also check out my LinkedIn.

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