Research

Our work

Here we gather papers, preprints, code and talks by lab members, organised by the four modes and by a fifth direction, geometry in the service of AI itself.

Research

9 items
  1. 2026 Preprint

    Optimal pruning for neural architectures using Fisher information distances

    D. S. Berman, Y.-Y. Fu, E. Hirst, T. C. Obirai

    Geodesic distance in the Fisher-information metric on model space organises a hierarchy of pruning schemes for neural networks.

  2. 2026 Talk

    Digital tools and AI for contemporary mathematical productivity

    T. S. R. Silva

    Talk at CBG, Campinas · 17 Aug 2026

    From reducing friction to changing the research frontier, the talk tells a “productivity story” and a “discovery story”.

  3. 2026 Preprint

    Learning the graphical nature of symmetries

    R. Barket, E. Grimaldi, Y. Hendi, E. Hirst, A. Onus, H. Singh

    A census of 131,406 Cayley graphs for learning properties of finite groups from graph observables, which led to new conjectures and new OEIS sequences.

  4. 2026 Preprint

    Black hole black boxes: numerical black hole metrics via AInstein neural networks

    T. Schettini Gherardini, E. Hirst, A. G. Stapleton

    The AInstein architecture, taken to Lorentzian signature, recovers the Schwarzschild geometry and searches for new Petrov type I Einstein metrics.

  5. 2026 Proceedings

    PINNs in more general geometry

    E. Hirst

    An introduction to PINNs for differential geometry, showing how geometric functionals become loss functions.

  6. 2026 Preprint

    Minimising Willmore energy via neural flow

    E. Hirst, H. N. Sá Earp, T. S. R. Silva

    The neural Willmore flow recovers the round sphere (genus 0) and the Clifford torus (genus 1), and opens a new approach to the open genus-2 case.

  7. 2026 Preprint

    A penalised Saito functional for heuristic search of free line arrangements

    T. S. R. Silva

    A functional that vanishes exactly on free arrangements guides the search, and every example is certified in exact arithmetic. In total, 6,146 representatives were found up to n = 28.

  8. 2026 Article

    Neural and numerical methods for G2-structures on contact Calabi–Yau 7-manifolds

    E. Heyes, E. Hirst, H. N. Sá Earp, T. S. R. Silva

    Physics Letters B 878, 140566

    Neural Ricci-flat metrics on Calabi–Yau threefolds yield G2 3-forms on the 7-dimensional links, which are then learned directly by a network.

  9. 2025 Article

    Metaheuristic generation of brane tilings

    Y.-H. He, V. Jejjala, T. S. R. Silva

    Physics Letters B 862, 139365

    Simulated annealing constructs geometrically consistent brane tilings and finds a new example with 26 fields.

Each member's full list is on their personal page.

Code & data

Open by default

WillmorePINN

Physics-informed neural networks (PINNs) that learn surface embeddings minimising the Willmore energy.

FreeLineArrangements

Heuristic and reinforcement-learning search for free line arrangements in the projective plane, with a database of arrangements certified in exact arithmetic.

LearningG2

Neural networks that learn the 3-form φ and the metric of G2-structures on contact Calabi–Yau 7-manifolds.

NumericalExteriorDerivative

A SageMath demo implementation of the numerical exterior derivative in ℝ³, based on the mean value equality.

Metaheuristic brane tiling search

Simulated annealing to construct geometrically consistent brane tilings.

MLcCY7

Generates Calabi–Yau links from weighted projective spaces, computes their topological invariants (Sasakian Hodge numbers, Crowley–Nordström invariant) and studies them with machine learning.

You don't need to know AI. You need a good question.

If you work in geometry or in any other area of mathematics and have a problem with many examples, a hard computation or a pattern you can't yet explain, let's talk.