Szymon Antoniak

Simontwice

AI & ML interests

Automated reasoning & much more!

Organizations