Szymon Tworkowski

syzymon

AI & ML interests

Language models, theorem proving and much more!

Recent Activity

Organizations

None yet

syzymon's activity