Hey there!π
I'm Ido Pinto, a Master's student in Computer Science @ HUJI.
Currently focused in NLP & Formal methods research and Formally verified Code Generation by LLMs.
Check out my GitHub to explore the projects Iβve worked on and get a glimpse of my skills and interests!