LeanDojo was the first opensource LLM+Lean framework. We continue to build and have new tools like Lean Copilot, Lean Agent, and Lean Progress that significantly enhance theorem proving workflows for mathematicians. All of our code is here : http://
github.com/lean-dojo/ Lean Dojo
EDUCATION
-
LeanDojo: Open Source LLM Framework Enhances Theorem Proving
By
–
-
Weekly AI Engineering Tutorials: ML, LLMs, and AI Agents
By
–
If you're interested in ML, LLMs, and AI Agents and want to receive tutorials every week, subscribe to AI Engineering (for free):
-
Autonomous Agents Build Decentralized Nano-Degree Pathways
By
–
[ α‑AGI Business ] Example Scenario: Pocket University Factory “ learn.a.agi.eth + swarm of curriculum.a.agent.agi.eth, mentor-bot.a.agent.agi.eth, credential.a.agent.agi.eth. Agents scrape frontier papers, auto-compose nano-degree paths, verify mastery w/
-
AI Absent from Education Despite Its Major Importance
By
–
Je suis encore étudiant et, au cours de toute ma scolarité, je n’ai jamais entendu parler de l’IA, alors qu’elle représente la plus grande révolution cognitive du XXIᵉ siècle. Ma génération évoluera dans un monde entièrement imprégné d’intelligence artificielle et devra… https://t.co/Ta29bohyN5
— Alexandre Tsicopoulos (@Alex_Tsico) 11 mai 2025I am still a student and throughout my entire education, I have never heard about AI, even though it represents the greatest cognitive revolution of the 21st century. My generation will evolve in a world entirely permeated with artificial intelligence and will have to
-
The Addictive and Fast Way to Learn Coding: Vibe Coding
By
–
Personne ne l’avoue, mais le vibe coding, c’est le raccourci le plus addictif et rapide pour apprendre à coder, si vous ne savez pas encore coder.
-
Academic Research Funding Critical for Industry AI Talent Pipeline
By
–
I'm also in academia.
The two worlds are complementary.
If you think industry research can continue without a vibrant academic research ecosystem, you are gravely mistaken.
Where would industry labs recruit scientists from if NSF stops funding PhD student fellowships?
China? -
Distinguished Lecture on AI at National University Singapore
By
–
My Distinguished Lecture at the National University of Singapore on 2024-04-27.
-
LLMs Transform Middle School Math Teaching for Diverse Learners
By
–
A recent @Stanford research highlights the potential of LLMs as vital tools for middle school math teachers to enhance the learning experience for students across diverse skill levels.
-
How ChatGPT Changed My Life: Five Major Shifts
By
–
Ce que ChatGPT a changé dans ma vie 1 Je ne me sers plus de Google 2 Je ne crois plus à la valeur des diplômes sauf exceptions 3 J’ai été choqué d’être dépassé par ChatGPT : il est plus intelligent que moi depuis décembre 2024 4 J’ai découvert que les politiciens ont encore
