We have now posted an expanded version of our Lean Co-pilot paper and updated the code base. https://
arxiv.org/abs/2404.12534 https://
github.com/lean-dojo/Lean
Copilot
…
The credit goes to @p_song1 for driving this effort.
Our latest experiments show that our co-pilot can automate >80% of the proof steps
LLMS
-
Lean Copilot Automates Over 80% of Mathematical Proof Steps
By
–
-
Llama3-70B Achieves Top Ranking on English-only Benchmark
By
–
also, Llama3-70B is #1 on English-only, whut!!!!
-
Faster AI Inference Enables More Thinking Same Time
By
–
The model will output the same result, no matter the speed. What faster inference enables is more thinking in the same amount of time.
-
AI Model Learning from Inference Failures and Preferences
By
–
A few bits per pair, sure, but so nutritious — lessons not just from humans but from its own inference failures, categorically missing from pre-training. Preferences are some of the only bits a model gets on how to succeed at being itself, with its specific quirks and deficits.
-
Getting into AI: From GPT-2 fine-tuning to ChatGPT
By
–
This was probably around late 2020, 2021. Before that I was doing a bit of fine-tuning over GPT-2, but chargpt was when I really got into it.
-
Backends Simplified: LLM and Prompt Engineering Revolution
By
–
Well it’s true that the backends would be a simple prompt + a LLM nowadays …
-
Llama3-70B ranks fifth as 405B model approaches release
By
–
Llama3-70B has settled at #5. With 405B still to come next… I remember when GPT-4 released in March 2023, it looked like it was nearly-impossible to get to the same performance. Since then, I've seen @Ahmad_Al_Dahle and the rest of the GenAI org in a chaotic rise to focus,
-
Innovative ways to earn digital cash using ChatGPT bundle
By
–
The road to becoming a millionaire is very hard to achieve. But if you get my Complete AI Bundle, you can discover innovative ways on how to use ChatGPT to earn that digital cash: https://
godofprompt.ai/complete-ai-bu
ndle
… -
Ollama LLM Plugin Integration for WordPress
By
–
Yes, ollama is a great option too – I only wrote about the options I'd got running myself, ran out of time! There's an LLM plugin for ollama here:
-
Groq’s Time to First Token Performance Needs Improvement
By
–
If Groq gets their time to first token down a bit, probably not. They still take maybe a half second to a second to get you that first token.