[NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"

[ICLR 2026] Polynomial, trigonometric, and tropical activations

feyntrop integrates Feynman graphs using tropical sampling

Tools and experiments from the paper "Tropical Expressivity of Neural Networks"

Some Tropical Matrices

A Julia package for computing bounds on the number of roots of vertical systems via tropical geometry.

Numerical decomposition of real and complex tropical curves

Structural Intelligence: Regulating Artificial Neural Networks via the Geometric Roots of Graph Domination Polynomials.

A package for computing fast tropical intersections

via AK High-Dimensional Projection Structural Theory (AK-HDPST) This repository presents Version 4.0 of a formally structured and constructively resolved version of the Hilbert's 12th Problem, built upon: Collapse Theory (PH₁/Ext¹ obstruction vanishing) Type-theoretic realization

TropicalHomotopies.jl: A package for constructing polynomial homotopies from tropical intersection data

Tropical geometry for neural networks — max-plus semiring, tropical polynomials, Newton polytopes, tropical attention

A unifying logarithmic framework connecting dimension theory, number theory, and analysis

🔺 Sound design via tropical geometry — tropical polynomials map to ReLU networks, Newton polytopes shape timbre

TropicalNNLab — Interactive Tropical Geometry & Neural Network Theory Laboratory. 6 modules: Tropical Arithmetic, ReLU↔Tropical Bridge, Linear Region Cartographer, Decision Boundary Anatomy, Newton Polytope Workshop, Expressiveness Explorer.

NumPy-based tropical geometry and phylogenetic MLOps pipeline for viral RNA/DNA sequences

Sage implementation of Gröbner bases over polyhedral algebras

My final year project I wrote during university.

PyTorch implementation of Max-Plus Tropical Attention, compared with standard scaled dot-product attention for mathematical reasoning.

Tropical Sensitivity Scores