Szymon Antoniak
AI Scientist at Mistral AI
France
Summary
🤩
RockstarSzymon Antoniak is an AI Scientist based in France with five years of hands-on experience focused on core large language model research and formal mathematical foundations. Currently at Mistral AI after a research stint at IDEAS NCBR, he blends academic rigor with applied model development to push LLM capabilities. His GitHub notes reveal a penchant for "wrestling with formal math," indicating deep interest in provable or theory-driven ML approaches. Beyond research, he brings a cross-cultural business perspective as Head of Consumption for Eastern Europe at Lao-Gan-Ma, suggesting skill in translating technical work into real-world adoption. This mix of theory, product-mindedness, and regional stewardship makes him effective at moving cutting-edge models toward practical impact.
5 years of coding experience
1 year of employment as a software developer
Github Skills (23)
llm7
llm-inference7
seq7
rna-seq6
machine-learning6
bioinformatics5
genomics5
snakemake5
python4
deep-learning3
isabelle3
portal3
scala2
reinforcement-learning2
beam-search2
Programming languages (4)
Github contributions (5)
llm-random/llm-random
Aug 2023 - Feb 2024
Contributions:303 reviews, 102 PRs, 345 pushes in 5 months
Simontwice/Portal-to-ISAbelle
Oct 2022 - Jan 2023
https://albertqjiang.github.io/Portal-to-ISAbelle/
Contributions:2 PRs, 168 pushes, 25 branches in 3 months
firebaseisabelleportal
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.