ARIA proposal

Last updated Apr 23, 2024

We can formally verify code coming from a large language model. We would like an implementation of a model of the world that contains continuous components: this can be done with coinductive analysis.

• verifying probabilistic code from ChatGPT
• coalgebra of the real interval
• coinductive analysis