Mathematical

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge

• Computer Science > Artificial Intelligence [Submitted on 19 Feb 2026] Title:Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge

Why some tunes stick: Mathematical symmetry helps explain catchy melodies

• Why do some melodies feel instantly right, balanced, memorable and satisfying, even if you have never heard them before? • New research from the University of Waterloo suggests t

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

• Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan