Hugging Face Trending Papers

EML Trees Are Universal Approximators

The recently introduced EML (Exp-Minus-Log) function acts as continuous analogue of NAND gates, providing a compositional building block capable of representing elementary functions. In this work, we study the expressive power of tree-structured compositions of EML functions.

arXiv Machine Learning
Sep 11

Diversity of EML-type operators

The article "Diversity of EML-type operators" discusses the EML operator, which can evaluate standard explicit purely transcendental elementary functions, and notes that while most research has focused on the binary EML, many similar variants exist. It enumerates and classifies these variants, clarifies common misconceptions, and proposes a M"obius layer that replaces matrix operations with rational functions. The paper also showcases the activation function eml(x,1/x), enabling separate recovery of exp(x) and ln(x) and thus evaluation of all elementary functions within a rational neural‑network generalization.

By Andrzej Odrzywo{\l}ek
arXiv Machine Learning
Jul 24

Compiling to recurrent neurons

arXiv:2511. 14953v2 Announce Type: replace-cross Abstract: Discrete structures are currently second-class in differentiable programming.

By Joey Velez-Ginorio, Nada Amin, Konrad Kording, Steve Zdancewic
arXiv AI
Aug 25

Which Algorithms Can Graph Neural Networks Learn?

arXiv:2602.13106v2 Announce Type: replace-cross Abstract: In recent years, there has been growing interest in understanding neural architectures' ability to learn to execute discrete algorithms, a li...

By Solveig Wittig, Antonis Vasileiou, Robert R. Nerem, Timo Stoll, Floris Geerts, Yusu Wang, Christopher Morris
arXiv Machine Learning
5d ago

NeuralCert: certified computational discovery of extremal mathematical constructions

NeuralCert presents a framework that learns high‑dimensional variational trial functions in a compact separable form, then spectrally diagnoses, prunes, and exactly certifies them via multimodular evaluation. The method is fully explicit and independently verifiable, and can run on a standard personal computer. Applied to three extremal problems, it demonstrates that neural optimization can discover better constructions, reveal empirical invariants useful for proofs, and expose optimization barriers that inspire new analytic or numerical approaches.

By Mark Patrick Roeling