03 / Research notes
Research from the
Lanyon Team
Technical deep dives from the Lanyon team on formal verification, numerical methods, scientific AI, and computational physics.
Numerical methods · 21 min
The Maxwell Equations of Electromagnetism
In this numerics deep dive we look closely at the structure and properties of the Maxwell equations of electromagnetism, and show some examples of Lanyon-generated proofs and simulations.
Numerical methods · 15 min
The Advection-Diffusion Equation
In this numerics deep dive we look at a fundamental equation of mathematical physics: the advection-diffusion equation.
Numerical methods · 19 min
A Grimoire of Definitions, Identities, Equation Systems, and all That
This research note aims to collect properties of classes of equations that Lanyon can solve, especially those for which our neurosymbolic system generates formal proofs of correctness.
Benchmarking · In preparation
Benchmarking Lanyon against Frontier Models: Linear PDEs
A comparison of the current frontier models against Lanyon in terms of accuracy and cost for the solutions to linear partial differential differential equations.