Inactive

The Defense Advanced Research Projects Agency (DARPA) is issuing an Artificial Intelligence Exploration (AIE) Opportunity inviting submissions of innovative basic or applied research concepts in the t... The Defense Advanced Research Projects Agency (DARPA) is issuing an Artificial Intelligence Exploration (AIE) Opportunity inviting submissions of innovative basic or applied research concepts in the technical domain of Formal Methods. The Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS) Opportunity aims to explore the use of AI and machine learning (ML) to support, and if possible automate, the generation and maintenance of proofs used in the formal verification of software.