The first open data, model and benchmark for theorem proving under MIT license. Our small LLM with retriever is as good as the closed @OpenAI model. Democratization of #AI See more details in @KaiyuYang4 thread: https://
x.com/KaiyuYang4/sta
tus/1673882824158613504?s=20
…
Open Source LLM Matches OpenAI for Theorem Proving
By
–
