Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: Magnet link to download LLaMA


Junyan Xu (Mar 04 2023 at 01:28):

original link, faster link, hashes, Hugging Face
also an instruction finetuned model released under Apache license: https://twitter.com/YiTayML/status/1631359468675166208


Last updated: Dec 20 2023 at 11:08 UTC