Astrio is an independent research group working on formal methods, neurosymbolic systems, and automated mathematics.
We work on one question. When a machine produces an answer, what does it take to know that it is correct rather than merely convincing?
That question runs through the tools we build and the systems we test, from proof assistants and model checkers to the agents and learning methods that search for solutions, and it shapes how we measure whether a result holds up.
Everything we build is open.
