Hats off to @KaiyuYang4 for all the hard work in putting together 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
Open Source LLM with Retriever Matches OpenAI in Theorem Proving
By
–
