English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#ai4math search results

Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Jul 18

The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…

Rythian47's tweet image. The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…
0
0
6
2
383
Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Nov 20

On Monday, I presented an overview of AI for Mathematics and theoretical physics at the #ORIGINS science week, indico.ph.tum.de/event/7680/, where all collaborators gathered for a single purpose, to investigate the origins of life and the universe. #AI4Math

Rythian47's tweet image. On Monday, I presented an overview of AI for Mathematics and theoretical physics at the #ORIGINS science week, indico.ph.tum.de/event/7680/, where all collaborators gathered for a single purpose, to investigate the origins of life and the universe. #AI4Math
Rythian47's tweet image. On Monday, I presented an overview of AI for Mathematics and theoretical physics at the #ORIGINS science week, indico.ph.tum.de/event/7680/, where all collaborators gathered for a single purpose, to investigate the origins of life and the universe. #AI4Math
0
0
3
0
160
LorenzoLuccioli's profile picture. PhD student @ UniBo - AI4Math
Lorenzo Luccioli
 @LorenzoLuccioli
Oct 11

Thrilled to see #ItaLean2025 officially announced! It’s been great working with such an amazing team to make this happen. Applications are now open, join us in Bologna this December! #LeanLang #AI4Math #FormalMath

PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Pietro Monticone
 @PietroMonticone
Oct 10

We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math. 📍 University of Bologna 🗓 9–12 December 2025 Proudly supported by @HarmonicMath. #LeanLang #FormalMath #AI4Math

PietroMonticone's tweet image. We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math. 📍 University of Bologna 🗓 9–12 December 2025 Proudly supported by @HarmonicMath. #LeanLang #FormalMath #AI4Math
2
15
54
15
7K
0
0
2
0
108
PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Pietro Monticone
 @PietroMonticone
Oct 10

We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math. @RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.

PietroMonticone's tweet image. We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math. @RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.
1
2
6
2
247
HiroshiKera's profile picture. Approximate Computer Algebra / Math Transformer / Adversarial Machine learning Associate Prof. at Chiba U. / Guest Researcher at Zuse Institute Berlin
Hiroshi Kera
 @HiroshiKera
Jul 9

Two of our recent preprints got accepted to ICML AI4MATH Workshop as a full-length paper (8 pages)! arxiv.org/abs/2506.20305 arxiv.org/abs/2506.23875 #ai4math #icml

1
1
14
2
1K
ProjectNumina's profile picture. Advancing open-source AI for Math
Project Numina
@ProjectNumina
Jul 7

Hello World! 👋 We're thrilled to officially launch the X account for Numina, dedicated to advancing frontier AI in mathematics. Stay tuned for updates on our research, achievements, and the future of mathematical AI! #AI4Math #FormalMath #LeanProver #AutomatedReasoning…

ProjectNumina's tweet image. Hello World! 👋 We're thrilled to officially launch the X account for Numina, dedicated to advancing frontier AI in mathematics. Stay tuned for updates on our research, achievements, and the future of mathematical AI! #AI4Math #FormalMath #LeanProver #AutomatedReasoning…
0
10
27
1
4K
sugarL_sudo's profile picture. ある日、ピンク巫女の面白げな配信現場を目撃した。配信を見るのに夢中になっている俺は、、、気づいたら35pになっていた。
しゅがー
 @sugarL_sudo
Jul 10

🌟 Accepted to the AI for Math Workshop @ICML2025 !! 🧮✨ We introduce a new task that optimizes target sequence order in Chain-of-Thought reasoning. Honored to attend my first top ML conference—see you there! 🚀 arxiv.org/abs/2506.23875 #ai4math #icml2025

0
0
7
0
186
p_song1's profile picture. CS Major + Robotics Minor @Caltech. #AI Researcher @UCBerkeley & @Stanford. Applying for 26Fall PhD positions in Computer Science.
Peiyang Song
@p_song1
Dec 11, 2023

Just arrived at New Orleans last night for #NeurIPS2023 and will stay until next Sunday. Excited to chat about research (machine reasoning, #AI4MATH, neural theorem proving), or anything ML/NLP!

1
0
9
0
1K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Jul 27

Solving formal math problems by decomposition and iterative reflection. Yichi Zhou et als. arxiv.org/abs/2507.15225… #AI4Math #LLMs #ProofAssistants #LeanProver #Math

2
2
19
8
782
HiroshiKera's profile picture. Approximate Computer Algebra / Math Transformer / Adversarial Machine learning Associate Prof. at Chiba U. / Guest Researcher at Zuse Institute Berlin
Hiroshi Kera
 @HiroshiKera
Jul 9

I appreciate this great workshop, but receiving notifications just a few days before the conference starts is a bit rough. The flight and registration cost a lot (for two students!). As for hotel, we booked the cancelation-free ones beforehand though. #ai4math

0
0
1
0
318
Sca_DS's profile picture. Center for Scalable Data Analytics and Artificial Intelligence Dresden/Leipzig is an institutionalized national center of excellence for Artificial Intelligence
ScaDS.AI Dresden/Leipzig
 @Sca_DS
Feb 26

📅March 14: #Math4AI / #AI4Math at MPI for Mathematics in the Sciences Listen to top researchers and explore the synergy of mathematics and AI! 🔹in-person & online 🔹inspire fresh ideas & collaborations 🌟 Registration open until February 28, 2025 👉 mis.mpg.de/events/series/…

Sca_DS's tweet image. 📅March 14: #Math4AI / #AI4Math at MPI for Mathematics in the Sciences Listen to top researchers and explore the synergy of mathematics and AI! 🔹in-person & online 🔹inspire fresh ideas & collaborations 🌟 Registration open until February 28, 2025 👉 mis.mpg.de/events/series/…
0
1
3
1
244
p_song1's profile picture. CS Major + Robotics Minor @Caltech. #AI Researcher @UCBerkeley & @Stanford. Applying for 26Fall PhD positions in Computer Science.
Peiyang Song
@p_song1
May 28

Presenting our work Lean Copilot (arxiv.org/abs/2404.12534) at @NeuS2025 this week from Tuesday 5/27 to Friday 5/30 in Philadelphia, PA. Welcome to chat about LLM Reasoning, #AI4MATH, Neuro-Symbolic AI or anything related!

2
6
23
5
4K
ProjectNumina's profile picture. Advancing open-source AI for Math
Project Numina
@ProjectNumina
Jul 15

#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…

ProjectNumina's tweet image. #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
1K
BerkeleyRDI's profile picture. UC Berkeley's campus-wide, cross-disciplinary Center for Responsible, Decentralized Intelligence - RDI
UC Berkeley RDI
@BerkeleyRDI
Apr 21

2/8 AI is already reshaping expert domains from finance to medicine. Now, it’s tackling math by merging the world of informal ideas with the rigor of formal proofs, ensuring that even our wildest insights get verified. #AI4Math

1
0
1
0
71
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Jul 27

Reseña de «Solving formal math problems by decomposition and iterative reflection». jaalonso.github.io/vestigium/post… #AI4Math #LLMs #ProofAssistants #LeanProver #Math

0
0
3
3
323
Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Jan 22

I am extremely happy to announce that our paper Can Transformers Do Enumerative Geometry? (arxiv.org/abs/2408.14915) has been accepted to the @iclr_conf !! Congrats to all my co-authors Alessandro and @roderic_guigo #ICLR2025 #AI4Math #ORIGINS

Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Aug 28, 2024

🚨How can we teach Transformers to learn and model Enumerative geometry? How deep can AI go in the rabbit hole of understanding complex mathematical concepts? 🤔 We’ve developed a new approach using Transformers to compute psi-class intersection numbers in algebraic geometry.

Rythian47's tweet image. 🚨How can we teach Transformers to learn and model Enumerative geometry? How deep can AI go in the rabbit hole of understanding complex mathematical concepts? 🤔 We’ve developed a new approach using Transformers to compute psi-class intersection numbers in algebraic geometry.
2
17
115
65
22K
3
5
23
10
4K
LorenzoLuccioli's profile picture. PhD student @ UniBo - AI4Math
Lorenzo Luccioli
 @LorenzoLuccioli
Oct 11

Thrilled to see #ItaLean2025 officially announced! It’s been great working with such an amazing team to make this happen. Applications are now open, join us in Bologna this December! #LeanLang #AI4Math #FormalMath

PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Pietro Monticone
 @PietroMonticone
Oct 10

We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math. 📍 University of Bologna 🗓 9–12 December 2025 Proudly supported by @HarmonicMath. #LeanLang #FormalMath #AI4Math

PietroMonticone's tweet image. We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math. 📍 University of Bologna 🗓 9–12 December 2025 Proudly supported by @HarmonicMath. #LeanLang #FormalMath #AI4Math
2
15
54
15
7K
0
0
2
0
108
PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Pietro Monticone
 @PietroMonticone
Oct 10

A preliminary schedule will be released in the coming weeks, with regular updates to follow. Official website (applications, program, logistics): pitmonticone.github.io/ItaLean2025/ #ItaLean2025 #Lean #AI4Math

1
0
3
2
308
PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Pietro Monticone
 @PietroMonticone
Oct 10

We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math. @RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.

PietroMonticone's tweet image. We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math. @RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.
1
2
6
2
247
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Jul 27

Reseña de «Solving formal math problems by decomposition and iterative reflection». jaalonso.github.io/vestigium/post… #AI4Math #LLMs #ProofAssistants #LeanProver #Math

0
0
3
3
323
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Jul 27

Solving formal math problems by decomposition and iterative reflection. Yichi Zhou et als. arxiv.org/abs/2507.15225… #AI4Math #LLMs #ProofAssistants #LeanProver #Math

2
2
19
8
782
Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Jul 18

The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…

Rythian47's tweet image. The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…
0
0
6
2
383
ProjectNumina's profile picture. Advancing open-source AI for Math
Project Numina
@ProjectNumina
Jul 15

#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…

ProjectNumina's tweet image. #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
1K
sugarL_sudo's profile picture. ある日、ピンク巫女の面白げな配信現場を目撃した。配信を見るのに夢中になっている俺は、、、気づいたら35pになっていた。
しゅがー
 @sugarL_sudo
Jul 10

🌟 Accepted to the AI for Math Workshop @ICML2025 !! 🧮✨ We introduce a new task that optimizes target sequence order in Chain-of-Thought reasoning. Honored to attend my first top ML conference—see you there! 🚀 arxiv.org/abs/2506.23875 #ai4math #icml2025

0
0
7
0
186
HiroshiKera's profile picture. Approximate Computer Algebra / Math Transformer / Adversarial Machine learning Associate Prof. at Chiba U. / Guest Researcher at Zuse Institute Berlin
Hiroshi Kera
 @HiroshiKera
Jul 9

I appreciate this great workshop, but receiving notifications just a few days before the conference starts is a bit rough. The flight and registration cost a lot (for two students!). As for hotel, we booked the cancelation-free ones beforehand though. #ai4math

0
0
1
0
318
HiroshiKera's profile picture. Approximate Computer Algebra / Math Transformer / Adversarial Machine learning Associate Prof. at Chiba U. / Guest Researcher at Zuse Institute Berlin
Hiroshi Kera
 @HiroshiKera
Jul 9

Two of our recent preprints got accepted to ICML AI4MATH Workshop as a full-length paper (8 pages)! arxiv.org/abs/2506.20305 arxiv.org/abs/2506.23875 #ai4math #icml

1
1
14
2
1K
ProjectNumina's profile picture. Advancing open-source AI for Math
Project Numina
@ProjectNumina
Jul 8

This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀 #AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience

JiaLi52524397's profile picture. Co-founder at Numina; former AI scienctist at Mistral AI; Co-founder & ex CSO at Cardiologs
Jia Li
@JiaLi52524397
Apr 14

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. github.com/MoonshotAI/Kim…

JiaLi52524397's tweet image. 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. github.com/MoonshotAI/Kim…
29
134
755
410
140K
0
4
9
4
2K
p_song1's profile picture. CS Major + Robotics Minor @Caltech. #AI Researcher @UCBerkeley & @Stanford. Applying for 26Fall PhD positions in Computer Science.
Peiyang Song
@p_song1
May 28

Presenting our work Lean Copilot (arxiv.org/abs/2404.12534) at @NeuS2025 this week from Tuesday 5/27 to Friday 5/30 in Philadelphia, PA. Welcome to chat about LLM Reasoning, #AI4MATH, Neuro-Symbolic AI or anything related!

2
6
23
5
4K
BerkeleyRDI's profile picture. UC Berkeley's campus-wide, cross-disciplinary Center for Responsible, Decentralized Intelligence - RDI
UC Berkeley RDI
@BerkeleyRDI
Apr 21

2/8 AI is already reshaping expert domains from finance to medicine. Now, it’s tackling math by merging the world of informal ideas with the rigor of formal proofs, ensuring that even our wildest insights get verified. #AI4Math

1
0
1
0
71
Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Nov 20

On Monday, I presented an overview of AI for Mathematics and theoretical physics at the #ORIGINS science week, indico.ph.tum.de/event/7680/, where all collaborators gathered for a single purpose, to investigate the origins of life and the universe. #AI4Math

Rythian47's tweet image. On Monday, I presented an overview of AI for Mathematics and theoretical physics at the #ORIGINS science week, indico.ph.tum.de/event/7680/, where all collaborators gathered for a single purpose, to investigate the origins of life and the universe. #AI4Math
Rythian47's tweet image. On Monday, I presented an overview of AI for Mathematics and theoretical physics at the #ORIGINS science week, indico.ph.tum.de/event/7680/, where all collaborators gathered for a single purpose, to investigate the origins of life and the universe. #AI4Math
0
0
3
0
160
Rythian47's profile picture. Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Baran Hashemi
 @Rythian47
Jul 18

The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…

Rythian47's tweet image. The AI for Math workshop papers are out, the studies were of really high quality 🦾 Come to our #AI4Math workshop tomorrow. It is gonna be epic: openreview.net/group?id=ICML.…
0
0
6
2
383
ProjectNumina's profile picture. Advancing open-source AI for Math
Project Numina
@ProjectNumina
Jul 7

Hello World! 👋 We're thrilled to officially launch the X account for Numina, dedicated to advancing frontier AI in mathematics. Stay tuned for updates on our research, achievements, and the future of mathematical AI! #AI4Math #FormalMath #LeanProver #AutomatedReasoning…

ProjectNumina's tweet image. Hello World! 👋 We're thrilled to officially launch the X account for Numina, dedicated to advancing frontier AI in mathematics. Stay tuned for updates on our research, achievements, and the future of mathematical AI! #AI4Math #FormalMath #LeanProver #AutomatedReasoning…
0
10
27
1
4K
Sca_DS's profile picture. Center for Scalable Data Analytics and Artificial Intelligence Dresden/Leipzig is an institutionalized national center of excellence for Artificial Intelligence
ScaDS.AI Dresden/Leipzig
 @Sca_DS
Feb 26

📅March 14: #Math4AI / #AI4Math at MPI for Mathematics in the Sciences Listen to top researchers and explore the synergy of mathematics and AI! 🔹in-person & online 🔹inspire fresh ideas & collaborations 🌟 Registration open until February 28, 2025 👉 mis.mpg.de/events/series/…

Sca_DS's tweet image. 📅March 14: #Math4AI / #AI4Math at MPI for Mathematics in the Sciences Listen to top researchers and explore the synergy of mathematics and AI! 🔹in-person & online 🔹inspire fresh ideas & collaborations 🌟 Registration open until February 28, 2025 👉 mis.mpg.de/events/series/…
0
1
3
1
244
ProjectNumina's profile picture. Advancing open-source AI for Math
Project Numina
@ProjectNumina
Jul 15

#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…

ProjectNumina's tweet image. #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
1K
PietroMonticone's profile picture. Informal Maths @UniTrento || Formal Maths for AI @HarmonicMath || Formalising in @LeanProver || Developing in #Python #Julia || Forecasting @Metaculus.
Pietro Monticone
 @PietroMonticone
Oct 10

We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math. @RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.

PietroMonticone's tweet image. We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math. @RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.
1
2
6
2
247

Something went wrong.


Something went wrong.


United States Trends