Formal AI Research and Development

Last Update: 20240202


Formal AI is a new area of research in artificial intelligence. The primary goal is to construct AI that we can understand, verify, and reuse by automating the discovery, optimization, and refinement of computer programs and their associated data.

Open Problems


Getting Started

Developers are encouraged to begin with these subjects: