Szymon Tworkowski

syzymon

AI & ML interests

Language models, theorem proving and much more!

Organizations

None yet

syzymon's activity