Top Tweets for #proofassistant
Tutorial at ETAPS next Monday: building a verified DSL in Lean. Semantics, interpreter, proofs, etc.
Simplified version of Radix, which 10 AI agents built in a weekend.
Slides: https://t.co/vl63xwnAP9
#LeanLang #LeanProver #Lean4 #ProofAssistant #FormalVerification
Readings shared July 31, 2025. https://t.co/pqq3nnyzRX FunctionalProgramming #Haskell #LeanProver #Math #ProofAssistant
Universal pairs for diophantine equations (in Isabelle/HOL). ~ Marco David et als. https://t.co/mRQO4cA3cP #ITP #ProofAssistant #IsabelleHOL #Math
Harmonic's IMO 2025 results (Harmonic's model Aristotle achieved gold medal performance, solving 5 problems). https://t.co/MKMKlKPEXU #FormalVerification #ProofAssistant #LeanProver #LLMs #Math #IMO
Readings shared July 28, 2025. https://t.co/5DSmU7T0EJ #FormalVerification #FunctionalProgramming #Haskell #LeanProver #Logic #Math #ProofAssistant
Formalized formal logic (in Lean4). https://t.co/vpK5EsqoKb #FormalVerification #ProofAssistant #LeanProver #Logic #Math
Gödel's first incompleteness theorem (in Lean4). https://t.co/bie1MIcPZv #FormalVerification #ProofAssistant #LeanProver #Logic #Math
Encoding finite state automata in Agda using coinduction (Evaluating the support for coinduction in Agda). ~ Noky Soekarman. https://t.co/Fo5Qxa3R8D #FormalVerification #ProofAssistant #Agda
Modelling cyclic structures in Agda (Evaluating Agda’s coinduction through modelling graphs). ~ Faizel Mangroe. https://t.co/73TMkHD2qw #ProofAssistant #Agda
#IMO2025 has begun a few hours ago, wishing a great Olympiad to all the students! We're eager to see how the different AIs perform, including ours 💪🔥
#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience #Lean4 #LeanLang
This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀
#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience
We believe formal math is the future.
🔥Introducing Kimina-Prover Preview, a Numina &
@Kimi_Moonshot collaboration, the first large formal reasoning model for Lean 4, achieving 80.78% miniF2F.
https://t.co/fNX7orQYeZ
Jeremy Avigad's excellent talk, "You Want Proof? I'll Give You Proof! ...Euclid to Lean," that bridges classical mathematics with modern tools like Lean is now available on YouTube!
Watch it now: https://t.co/p7AdJwnvCC
#leanlang #leanprover #proofassistant #mathematics
The Four-Color Problem: Concept and Solution
Slides of a lecture by Steven G. Krantz [PDF]
https://t.co/eee12EAGpR
#Geometry #Topology #ProofAssistant #maths #ArtificialIntelligence #MachineLearning #coding #python #100DaysOfCode #java #indiedev #ComputerAidedProof #Complexity
![academath's tweet photo. The Four-Color Problem: Concept and Solution
Slides of a lecture by Steven G. Krantz [PDF]
https://t.co/eee12EAGpR
#Geometry #Topology #ProofAssistant #maths #ArtificialIntelligence #MachineLearning #coding #python #100DaysOfCode #java #indiedev #ComputerAidedProof #Complexity https://t.co/1hRJGzyQoy](https://pbs.twimg.com/media/Fqis90gXsAEpe2H.png)
.@ipam_ucla machine assisted #proofs workshop talks
#math #leanprover #proofassistant #DeepLearning #ArtificialIntelligence #MachineLearning #coding @rt_tsb #indiedev #openAIChatGPT #python #javascript #rstats #tensorflow #100daysofcode #gamedev #Bigdata https://t.co/q6LNid884C
Rrecent @ipam_ucla machine assisted #proofs workshop talks are now online
#maths #lean #proofassistant #coq #DeepLearning #ArtificialIntelligence #MachineLearning #indie #openAIChatGPT #python #javascript #rstats #golang #100daysofcode #julialang #Bigdata https://t.co/UEJn2OSgau
Would it be possible to involve a proof assistant in the process of training a LLM? #llm #proofassistant https://t.co/kfjTU1hDrt
There is a strong analogy between building provably correct software and building mathematics. Programs are proofs.
https://t.co/3zsBElUCMJ
#artificialintelligence #deeplearning #mathematics #formalsystem #proofassistant
Most Popular Users
Elon Musk 
@elonmusk
240.7M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.6M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
90.9M followers
KATY PERRY
@katyperry
87.7M followers
Taylor Swift
@taylorswift13
81.5M followers
Lady Gaga
@ladygaga
73M followers
Virat Kohli
@imvkohli
69.9M followers
Kim Kardashian
@kimkardashian
69.8M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.9M followers
Neymar Jr
@neymarjr
62.6M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
X
@x
60.8M followers
Selena Gomez
@selenagomez
60.8M followers