bakhyt momunov
right now, i'm working on formal data at desargues, making formal methods accessible at industrial scale.
i did competitive math in high school and won some medals at the national level. the problems were fun, and i met a lot of good people through it.
in high school, a friend and i built a computer vision system for monitoring roads. we signed a six-figure government contract while we were still in school, and it eventually ran on 390 cameras across the city.
see it in action (gif coming soon)
i'll add the gif here soon.
after that, i worked on generative text-to-speech models at freedom's internal ai lab.
i still join hackathons with friends sometimes. it's a fun way to think hard together with a deadline. at the latest one in abu dhabi, we built an autoformalizer and came first out of more than 900 teams. that was when ai for math started to feel especially interesting to me.
things i'd recommend reading:
where is my desk? see here.
other pages: