Szymon Tworkowski

syzymon

AI & ML interests

Language models, theorem proving and much more!

Recent Activity

upvoted a paper 17 days ago

Organizations

None yet

syzymon's activity

New activity in syzymon/long_llama_3b about 1 year ago
New activity in syzymon/long_llama_3b_instruct over 1 year ago