#theoremproving search results
I vibe-coded a bridge from natural language to formal proof: type “Prove that √2 is irrational”, GPT-5 emits a Lean script, and Lean checks it. Next version: a chat stage so GPT and I refine the claim before compiling. Video demo below. #Lean #TheoremProving #GPT5
6/8 LeanHammer is a game changer—it combines neural premise selection with tree search to identify and apply the right building blocks for a proof. Think of it as a “Sledgehammer for Lean” that bridges high-level intuition with low-level precision. 🔨 #TheoremProving
Loop while proving a theorem stackoverflow.com/questions/6691… #lambdacalculus #theoremproving #proof #coq
How can i get an constants and specific instance of Uninterpreted sort under Z3 Solver/theorem prover? stackoverflow.com/questions/6765… #theoremproving #z3 #z3py
🚀 Excited to share our paper: "A Survey on Deep Learning for Theorem Proving"! Dive into our extensive review of DL tasks, methods, datasets, and evaluations in #TheoremProving! Paper: arxiv.org/abs/2404.09939 Github: github.com/zhaoyu-li/DL4TP
🚀 Excited to announce that DeepSeek-Prover-V1.5-RL has surpassed 20,000 downloads in the past month! Huge thanks to the #LLM4Lean community for your support and interest in our work. Stay tuned for more advancements! #AI #TheoremProving #DeepSeek
New preprint out! on arXiv: arxiv.org/abs/2509.19854. Grateful for the incredible Isabelle/HOL ecosystem and modern AI tools that made this formalization journey possible. Thanks to everyone building these foundations! #arXiv #Isabelle #TheoremProving #Algebra #ProofAssistants
DeepSeek-Prover-V2 may be the new benchmark in formal reasoning. Quiet release. Loud impact. And it’s open-source. Bookmark this model. It’s going to reshape the AI x Math landscape. Follow me on X 👉 @MikelEcheve #AI #Lean4 #TheoremProving #DeepSeek #OpenSource #Math
⭐️ @noahdgoodman from Standford University is presenting "Axioms are all you need"! #MATHAI #NeurIPS2023 #TheoremProving #CognitiveScience #AI
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
Great book by Paul Thagard. Fantastic primer for knowledge system developers and computational scientific discovery. #logic #theoremproving #deduction #induction #
MiniCTX: Advancing Context-Dependent Theorem Proving in Large Language Models itinai.com/minictx-advanc… #TheoremProving #ArtificialIntelligence #ResearchInnovation #MiniCTX #MachineLearning #ai #news #llm #ml #research #ainews #innovation #artificialintelligence #machinelearnin…
DeepSeek-AI Open-Sources DeepSeek-Prover-V1.5: A Language Model with 7 Billion Parameters that Outperforms all Open-Source Models in Formal Theorem Proving in Lean 4 itinai.com/deepseek-ai-op… #DeepSeekAI #TheoremProving #AIAdvancements #DeepSeekProverV1.5 #MathematicalReasoning…
How can Informal Reasoning Improve Formal Theorem Proving? This AI Paper Introduces an AI Framework for Learning to Interleave Informal Thoughts with Steps of Formal Proving itinai.com/how-can-inform… #TheoremProving #LeanSTaR #AIInMathematics #FormalProof #InformalReasoning #ai…
自動定理証明の紹介 by masahiro_sakai #proofsummit #theoremproving slideshare.net/sakai/ss-94134… @SlideShareさんから
CMU Researchers Propose miniCodeProps: A Minimal AI Benchmark for Proving Code Properties itinai.com/cmu-researcher… #AIinCodeVerification #miniCodeProps #TheoremProving #AutomationInTech #FutureOfProgramming #ai #news #llm #ml #research #ainews #innovation #artificialintelligen…
LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics Repositories itinai.com/leanagent-the-… #LeanAgent #TheoremProving #ArtificialIntelligence #LifelongLearning #M…
8/8 Ready to see formal reasoning meet LLMs? Dive into Lecture 9 with Kaiyu Yang and witness how he is pioneering robust AI-driven theorem proving and verification. Join the frontier of AI in mathematics! #MetaFAIR #TheoremProving Watch the full lecture here:…
youtube.com
YouTube
Adv. LLM Agents MOOC | UC Berkeley Sp25 | LMs for Autoformalization...
I vibe-coded a bridge from natural language to formal proof: type “Prove that √2 is irrational”, GPT-5 emits a Lean script, and Lean checks it. Next version: a chat stage so GPT and I refine the claim before compiling. Video demo below. #Lean #TheoremProving #GPT5
Super Intelligent Mathematics === AI decisionmaking + automata. Hybrid computation where ai can overrule regular mathematical rules. Some numbers are derived by ai some by function 🧠⚙️ #Math #AI #TheoremProving filebin.net/2vmxdxjd9d1chy…
🔗 Want to know more about the future of AI in theorem proving with GamePad? Dive into the potential of human-AI collaboration. #AI #TheoremProving
Faithful logic embeddings in HOL (Deep and shallow). ~ Christoph Benzmüller. arxiv.org/abs/2502.19311 #ITP #TheoremProving #IsabelleHOL #Logic #Math
REAL-Prover: Retrieval augmented Lean prover for mathematical reasoning. ~ Ziju Shen et als. arxiv.org/abs/2505.20613 #AI #TheoremProving #LeanProver #Math
DeepSeek-Prover-V2 may be the new benchmark in formal reasoning. Quiet release. Loud impact. And it’s open-source. Bookmark this model. It’s going to reshape the AI x Math landscape. Follow me on X 👉 @MikelEcheve #AI #Lean4 #TheoremProving #DeepSeek #OpenSource #Math
6/8 LeanHammer is a game changer—it combines neural premise selection with tree search to identify and apply the right building blocks for a proof. Think of it as a “Sledgehammer for Lean” that bridges high-level intuition with low-level precision. 🔨 #TheoremProving
8/8 Ready to see formal reasoning meet LLMs? Dive into Lecture 9 with Kaiyu Yang and witness how he is pioneering robust AI-driven theorem proving and verification. Join the frontier of AI in mathematics! #MetaFAIR #TheoremProving Watch the full lecture here:…
youtube.com
YouTube
Adv. LLM Agents MOOC | UC Berkeley Sp25 | LMs for Autoformalization...
Goedel-Prover: Princeton Team Creates World's Most Advanced Formal Reasoning Model - New AI System Outperforms DeepSeek-Prover in Automated Theorem Proving xyzlabs.substack.com/p/goedel-prove… #AIResearch #Mathematics #TheoremProving #FormalReasoning #MachineLearning #Princeton #DeepSeek
CMU Researchers Propose miniCodeProps: A Minimal AI Benchmark for Proving Code Properties itinai.com/cmu-researcher… #AIinCodeVerification #miniCodeProps #TheoremProving #AutomationInTech #FutureOfProgramming #ai #news #llm #ml #research #ainews #innovation #artificialintelligen…
🚀 Excited to announce that DeepSeek-Prover-V1.5-RL has surpassed 20,000 downloads in the past month! Huge thanks to the #LLM4Lean community for your support and interest in our work. Stay tuned for more advancements! #AI #TheoremProving #DeepSeek
MiniCTX: Advancing Context-Dependent Theorem Proving in Large Language Models itinai.com/minictx-advanc… #TheoremProving #ArtificialIntelligence #ResearchInnovation #MiniCTX #MachineLearning #ai #news #llm #ml #research #ainews #innovation #artificialintelligence #machinelearnin…
Exciting advancements in theorem proving with DeepSeek! 🚀 Dive into how large-scale synthetic data is shaping LLMs: arxiv.org/abs/2405.14333 #AI #MachineLearning #TheoremProving
LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics Repositories itinai.com/leanagent-the-… #LeanAgent #TheoremProving #ArtificialIntelligence #LifelongLearning #M…
DeepSeek-AI Open-Sources DeepSeek-Prover-V1.5: A Language Model with 7 Billion Parameters that Outperforms all Open-Source Models in Formal Theorem Proving in Lean 4 itinai.com/deepseek-ai-op… #DeepSeekAI #TheoremProving #AIAdvancements #DeepSeekProverV1.5 #MathematicalReasoning…
Check out the latest blog post on miniCTX: Neural Theorem Proving with (Long-)Contexts! Discover how miniCTX introduces a challenging and realistic perspective on evaluating neural theorem provers. Read more at bit.ly/3WwXbZA. #neuralnetworks #theoremproving
Lean 4: Theorem Prover 🚀👨💻 #Lean #TheoremProving #Programming github.com/leanprover/lea…
Loop while proving a theorem stackoverflow.com/questions/6691… #lambdacalculus #theoremproving #proof #coq
How can i get an constants and specific instance of Uninterpreted sort under Z3 Solver/theorem prover? stackoverflow.com/questions/6765… #theoremproving #z3 #z3py
6/8 LeanHammer is a game changer—it combines neural premise selection with tree search to identify and apply the right building blocks for a proof. Think of it as a “Sledgehammer for Lean” that bridges high-level intuition with low-level precision. 🔨 #TheoremProving
CMU Researchers Propose miniCodeProps: A Minimal AI Benchmark for Proving Code Properties itinai.com/cmu-researcher… #AIinCodeVerification #miniCodeProps #TheoremProving #AutomationInTech #FutureOfProgramming #ai #news #llm #ml #research #ainews #innovation #artificialintelligen…
MiniCTX: Advancing Context-Dependent Theorem Proving in Large Language Models itinai.com/minictx-advanc… #TheoremProving #ArtificialIntelligence #ResearchInnovation #MiniCTX #MachineLearning #ai #news #llm #ml #research #ainews #innovation #artificialintelligence #machinelearnin…
Great book by Paul Thagard. Fantastic primer for knowledge system developers and computational scientific discovery. #logic #theoremproving #deduction #induction #
DeepSeek-Prover-V2 may be the new benchmark in formal reasoning. Quiet release. Loud impact. And it’s open-source. Bookmark this model. It’s going to reshape the AI x Math landscape. Follow me on X 👉 @MikelEcheve #AI #Lean4 #TheoremProving #DeepSeek #OpenSource #Math
DeepSeek-AI Open-Sources DeepSeek-Prover-V1.5: A Language Model with 7 Billion Parameters that Outperforms all Open-Source Models in Formal Theorem Proving in Lean 4 itinai.com/deepseek-ai-op… #DeepSeekAI #TheoremProving #AIAdvancements #DeepSeekProverV1.5 #MathematicalReasoning…
How can Informal Reasoning Improve Formal Theorem Proving? This AI Paper Introduces an AI Framework for Learning to Interleave Informal Thoughts with Steps of Formal Proving itinai.com/how-can-inform… #TheoremProving #LeanSTaR #AIInMathematics #FormalProof #InformalReasoning #ai…
LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics Repositories itinai.com/leanagent-the-… #LeanAgent #TheoremProving #ArtificialIntelligence #LifelongLearning #M…
⭐️ @noahdgoodman from Standford University is presenting "Axioms are all you need"! #MATHAI #NeurIPS2023 #TheoremProving #CognitiveScience #AI
📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 mathai2023.github.io 📽️ neurips.cc/virtual/2023/w… Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman,…
Goedel-Prover: Princeton Team Creates World's Most Advanced Formal Reasoning Model - New AI System Outperforms DeepSeek-Prover in Automated Theorem Proving xyzlabs.substack.com/p/goedel-prove… #AIResearch #Mathematics #TheoremProving #FormalReasoning #MachineLearning #Princeton #DeepSeek
🚀 Excited to share our paper: "A Survey on Deep Learning for Theorem Proving"! Dive into our extensive review of DL tasks, methods, datasets, and evaluations in #TheoremProving! Paper: arxiv.org/abs/2404.09939 Github: github.com/zhaoyu-li/DL4TP
🚀 Excited to announce that DeepSeek-Prover-V1.5-RL has surpassed 20,000 downloads in the past month! Huge thanks to the #LLM4Lean community for your support and interest in our work. Stay tuned for more advancements! #AI #TheoremProving #DeepSeek
Something went wrong.
Something went wrong.
United States Trends
- 1. Good Monday 32.7K posts
- 2. #MondayMotivation 8,618 posts
- 3. TOP CALL 3,949 posts
- 4. AI Alert 1,649 posts
- 5. Market Focus 2,729 posts
- 6. Check Analyze N/A
- 7. Token Signal 2,155 posts
- 8. Victory Monday 1,596 posts
- 9. #centralwOrldXmasXFreenBecky 637K posts
- 10. SAROCHA REBECCA DISNEY AT CTW 656K posts
- 11. #LingOrmDiorAmbassador 324K posts
- 12. NAMJOON 64.2K posts
- 13. DOGE 190K posts
- 14. #BaddiesUSA 67.9K posts
- 15. Chip Kelly 9,706 posts
- 16. Happy Thanksgiving 10.3K posts
- 17. Gmonad 18.3K posts
- 18. Soles 78K posts
- 19. Stefanski 9,970 posts
- 20. Stacey 23.6K posts