Szymon Tworkowski

syzymon

AI & ML interests

Language models, theorem proving and much more!

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 about 1 year ago