astrio

Building verified superintelligence

[astrio @AstrioLabs]

8/ Our paper was accepted to the VeriCodeGen workshop at @NeurIPSConf 2026.

Our aim is to make the evidence behind an accepted proof inspectable, alongside its score and cost.

Read the paper:
https://t.co/JL4tuWwKjI

[astrio @AstrioLabs]

Introducing ∀ Forall-Lean-Agent

A framework for auditable reasoning in formal mathematics and software verification.

- 672/672 PutnamBench
- 100/100 VeriSoftBench subset
- 2/2 lean-eval software-verification tasks

Here's how it works.🧵

Read more: https://t.co/ek1xxxk8TN

[astrio @AstrioLabs]

7/ Both lean-eval software-verification tasks pass comparator and independent-kernel checks.

These cover strong normalization for the calculus of constructions and quantifier elimination for real closed fields. The normalization development included human guidance.

[astrio @AstrioLabs]

Signup here: https://t.co/Ijg4aplfrM

[Chaitanya @chaaai]

We’re organizing Vibecheck, a formal methods hackathon with some of the best folks in the space - @maxvonhippel, @qd_forall, @nolanlwin, @jessemhan, @emiyazono, and @workersio.

You’ll get a weekend to build real production software, and formally verify it.

We’ll have people who really know their stuff around to help, and you can come with a team, find one there, or just hack on something yourself.

We are glad to have a phenomenal group of sponsors, including @harmonicmath, @mathematics_inc, @theoremlabs, @thegp, @omnicom, @primeintellect, @astriolabs, @buildwithparty, @wearerandomlabs, and @lanyon_ai, as well as some more we will announce in the coming days!

If you’re a hacker, a formal methods person, or just someone who thinks “how do we know it works?” is an interesting question, we’d love to have you.

Signup Now: https://t.co/sAKQaDo0bV

[astrio @AstrioLabs]

https://t.co/sT5sxlA7B8

[astrio @AstrioLabs]

we just released a curated list for learning formal verification across software, hardware, and maths.

formal methods have traditionally had a high barrier to entry. AI-assisted verification is changing that.

we hope this makes the field more accessible.

link in thread 🧵

[Nolan @NeurIPS 2026 @NolanLwin]

i'll be co-hosting this hackathon with other folks in the field. stay tuned