Sign in

Baran Hashemi

@rythian47.bsky.social
61 followers 112 following 35 posts

AI for Mathematics

PostsRepliesMedia
Reposted by Baran Hashemi
Lukas Heinrich @lukasheinrich.com · 08/05/2026
I'm very excited about this new paper, which kicks of our LEGO ERC project we started earlier this year towards general-purpose AI surrogates for simulating radiation-matter interaction. Instead of training AI surrogates for specific detectors or material distribution ...
1126
Reposted by Baran Hashemi
José A. Alonso @jalonso.eurosky.social · 04/02/2026
Flow-based extremal mathematical structure discovery. ~ Gergely Bérczi, Baran Hashemi, Jonas Klüver. arxiv.org/abs/2601.180... #AI4Math
arxiv.org
Flow-based Extremal Mathematical Structure Discovery
The discovery of extremal structures in mathematics requires navigating vast and nonconvex landscapes where analytical methods offer little guidance and brute-force search becomes intractable. We intr...
031
Reposted by Baran Hashemi
Baran Hashemi @rythian47.bsky.social · 30/01/2026
1/ Are frontier LLMs the only path to AI math breakthroughs? I think not! We introduce FlowBoost, A lightweight RL+Flow-Matching framework that discovers new extremal geometric structures, beating AlphaEvolve with 100–1000× less compute with zero-shot geometry-aware & reward-guided generation. 🚀
131
Baran Hashemi @rythian47.bsky.social · 30/01/2026
1/ Are frontier LLMs the only path to AI math breakthroughs? I think not! We introduce FlowBoost, A lightweight RL+Flow-Matching framework that discovers new extremal geometric structures, beating AlphaEvolve with 100–1000× less compute with zero-shot geometry-aware & reward-guided generation. 🚀
131
Baran Hashemi @rythian47.bsky.social · 30/01/2026
Soon I will write a thread on our new work. Stay tuned! #AI4Math
010
Baran Hashemi @rythian47.bsky.social · 19/09/2025
We got accepted at #NeurIPS2025. I am very happy that I could merge my knowledge of Mathematics with AI to create sth new and useful for the community. ☺️ The paper: arxiv.org/abs/2505.17190 The code: github.com/Baran-phys/T...
arxiv.org
Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms
Dynamic programming (DP) algorithms for combinatorial optimization problems work with taking maximization, minimization, and classical addition in their recursion algorithms. The associated value func...
1217
Baran Hashemi @rythian47.bsky.social · 08/09/2025
Current AI research vibes: - Let’s use LLM to do a baby science/math, after it doesn’t work, headline: LLM is bad at the baby math task —> guaranteed virality 😒 - Meanwhile, you develope a novel (non-LLM) method to solve this issue, report success on a deep math problem —> naa, not enough drama🤦🏻
000
Baran Hashemi @rythian47.bsky.social · 04/08/2025
Another new result from the #NeurIPS rebuttal/discussion phase, our Tropical Transformer achieves much better length OOD performance across all algorithmic tasks, while being 3x-9x faster at inference and using 20% fewer parameters than the Universal Transformer (UT) models.
030
Baran Hashemi @rythian47.bsky.social · 01/08/2025
During #NeurIPS rebuttal, we have evaluated🌴Tropical Transformer on the Long Range Arena (LRA), achieving highly competitive results, placing 2nd🥈 overall in average accuracy. Check out our paper: arxiv.org/abs/2505.17190 Our code: github.com/Baran-phys/T...
arxiv.org
Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms
Dynamic programming (DP) algorithms for combinatorial optimization problems work with taking maximization, minimization, and classical addition in their recursion algorithms. The associated value functions correspond to convex polyhedra in the max plus semiring. Existing Neural Algorithmic Reasoning models, however, rely on softmax-normalized dot-product attention where the smooth exponential weighting blurs these sharp polyhedral structures and collapses when evaluated on out-of-distribution (OOD) settings. We introduce Tropical attention, a novel attention function that operates natively in the max-plus semiring of tropical geometry. We prove that Tropical attention can approximate tropical circuits of DP-type combinatorial algorithms. We then propose that using Tropical transformers enhances empirical OOD performance in both length generalization and value generalization, on algorithmic reasoning tasks, surpassing softmax baselines while remaining stable under adversarial attacks. We also present adversarial-attack generalization as a third axis for Neural Algorithmic Reasoning benchmarking. Our results demonstrate that Tropical attention restores the sharp, scale-invariant reasoning absent from softmax.
130
Baran Hashemi @rythian47.bsky.social · 26/05/2025
🧵 Tropical Attention --> Softmax is out, Tropical max-plus is in 🦾 1/ 🔥Ever experinced softmax attention fade as sequences grow? That blur is why many attention mechanisms stumble on algorithmic and reasoning tasks. Well, we have a Algebraic Geometric Tropical solution 🌴
1104
Baran Hashemi @rythian47.bsky.social · 07/04/2025
I'm speaking about AI for enumerative geometry at the CMSA New Technologies in Mathematics seminar, on Wednesday.
000
Baran Hashemi @rythian47.bsky.social · 03/04/2025
If you think of DyT as an Activation function, it will be exactly a sub-family of our learnable Dynamic Range Activator (DRA) activation function, when (a,c)=0: openreview.net/forum?id=4X9...
openreview.net
Can Transformers Do Enumerative Geometry?
We introduce a Transformer-based approach to computational enumerative geometry, specifically targeting the computation of $\psi$-class intersection numbers on the moduli space of curves....
000
Baran Hashemi @rythian47.bsky.social · 31/03/2025
🔥Big News! The 2nd AI for Math Workshop is coming back to #ICML2025 and we’re back with the theme of exploring the frontiers of AI for mathematical reasoning, problem solving, discovery! 🫵 Calling all pioneers in AI4Math: 📜 Submit your exciting work: sites.google.com/view/ai4math...
sites.google.com
Call
Paper Submission Entrance The workshop uses OpenReview as the review platform. For detailed submission guidelines, please see below.
000
Baran Hashemi @rythian47.bsky.social · 25/03/2025
Beautiful indeed!
010
Reposted by Baran Hashemi
Sean Carroll @seanmcarroll.bsky.social · 19/03/2025
The DESI survey @desisurvey.bsky.social suggests the universe is *not* maximally boring! Statistical significance is not quite there yet, but a new result is a bit stronger than their previous indication that dark energy might be varying with time. (cont.) arxiv.org/abs/2503.06712
arxiv.org
Dark Energy Survey: implications for cosmological expansion models from the final DES Baryon Acoustic Oscillation and Supernova data
The Dark Energy Survey (DES) recently released the final results of its two principal probes of the expansion history: Type Ia Supernovae (SNe) and Baryonic Acoustic Oscillations (BAO). In this paper,...
1010115
Baran Hashemi @rythian47.bsky.social · 13/03/2025
For the ICLR Camera-ready version: openreview.net/forum?id=4X9...
openreview.net
Can Transformers Do Enumerative Geometry?
We introduce a Transformer-based approach to computational enumerative geometry, specifically targeting the computation of $\psi$-class intersection numbers on the moduli space of curves....
021
Baran Hashemi @rythian47.bsky.social · 08/02/2025
🚀 Curious how Transformers understand Enumerative Geometry or model recursive functions with factorial blow-up? I'll be presenting our results, openreview.net/forum?id=4X9..., at the Math4AI/AI4Math Workshop @mpiMathSci! 🔥 📅 Registration is open until Feb 28 🔗 www.mis.mpg.de/events/serie... #AI4Math
openreview.net
Can Transformers Do Enumerative Geometry?
We introduce a Transformer-based approach to computational enumerative geometry, specifically targeting the computation of $\psi$-class intersection numbers on the moduli space of curves....
010
Baran Hashemi @rythian47.bsky.social · 23/01/2025
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.bsky.social!! Congrats to my collaborators Alessandro Giacchetto at ETH Züruch and Roderic G. Corominas at Harvard. #ICLR2025 #AI4Math #ORIGINS
arxiv.org
Can Transformers Do Enumerative Geometry?
How can Transformers model and learn enumerative geometry? What is a robust procedure for using Transformers in abductive knowledge discovery within a mathematician-machine collaboration? In this work...
1123