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 9 months ago
New activity in syzymon/long_llama_3b_instruct 10 months ago