Formal AI Research and Development

Last Update: 20240202

About

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

• Data Synthesis
• Inference
• Labeling
• Optimization
• Program Synthesis
• Representation
  • Programs
  • Data
• Search
  • Space Traversal
  • Space Reduction

Papers

• Position Paper: Towards Transparent Machine Learning. Dustin Juliano. 2019. Arxiv.

Getting Started

Developers are encouraged to begin with these subjects:

• Programming Language Development

  • Ability to create tokenizers, parsers, type systems, and related functionality to realize programming languages.

• Program Synthesis

  • Computer programs that can rapidly produce other programs, both with and without supervision, objective functions, and/or training data.

• Search and Inference

  • Computer programs that can effectively and efficiently fill in the missing parts of computer programs and data.

Updates

• Dustin Juliano on X/Twitter