Explore tweets tagged as #TheoremProving
🚀 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
3
7
59
0
1
1
How can i get an constants and specific instance of Uninterpreted sort under Z3 Solver/theorem prover? #theoremproving #z3 #z3py
0
0
0
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
1
0
3
🔗 Want to know more about the future of AI in theorem proving with GamePad? Dive into the potential of human-AI collaboration. #AI #TheoremProving.
0
0
0
🚀 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: Github:
1
33
123
Great book by Paul Thagard. Fantastic primer for knowledge system developers and computational scientific discovery. #logic #theoremproving #deduction #induction #
0
0
0
Abstract: "A decision procedure for a theory of arrays is of interest for applications in #FormalVerification #ProgramAnalysis & #automated #TheoremProving [. ]".Text: 🏆 deets: #ComputationalLogic Center: �
0
3
3
#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
1
0
20
1
3
16
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.
0
4
9
1) this is obvious 2) why so many subgoals? 3) first is easy 4) next plain wrong b/c a list can contain 2^256 elms! #theoremproving.
0
0
1
[New Blog Post] Contextual Datalog: Steps Towards Lambda Datalog #datalog #souffle #theoremproving feels good to finally have some concrete progress on this.
0
1
7
0
2
1
DeepSeek Releases Massive 671B Prover V2 Model For Mathematical Theorem Proving Ahead of R2 Release. #AI #ChinaAI #DeepSeek #OpenSourceAI #Math #TheoremProving #Lean4 #MachineLearning #DeepLearning #MathAI.
0
1
1
めちゃんこJavaのGeoGebraのproverのソースコード解説されとる……すごい < TheoremProving – GeoGebra
0
1
2
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
0
0
0