Lanyon AI

@lanyon_ai

Formal verification for a computable universe. Building the future of scientific computing.

The Lanyon account says the model matched an experimental value for effective plastic strain to within 5%.

1 Source, 19d ago, first seen 19d ago

Lanyon AI says Powis joins from the Princeton Plasma Physics Laboratory, bringing expertise in algorithm design and high-performance computing.

2 Sources, 22d ago, first seen 22d ago

Lanyon AI says Bhandari will specialize in frontier model architecture and training, following a research fellowship at Princeton University.

1 Source, 37d ago, first seen 37d ago

Lanyon AI shares details of its CEO's March 2025 Princeton talk on formal verification.

3 Sources, 50d ago, first seen 50d ago

Lanyon AI posted that it produced the run with end-to-end formal verification from one prompt.

2 Sources, 51d ago, first seen 51d ago

Featured in