This is a $5,398,530 cost-reimbursement contract awarded by the Defense Advanced Research Projects Agency (DARPA) to the Regents of the University of California, doing business as the University of California, Berkeley. The contract, titled "Assured Neuro Symbolic Learning and Reasoning," supports DARPA's research objectives to advance hybrid artificial intelligence (AI) algorithms that integrate symbolic reasoning and machine learning. The contract has no set-aside designation.
The work will be performed across three phases to develop tools and techniques for trustworthy, robust, and mission-performance hybrid AI systems. Key efforts include advancing neuro-symbolic safe learning, compositional neuro-symbolic control and learning, and verification and debugging capabilities for neuro-symbolic systems. UC Berkeley will collaborate with the University of Southern California and the University of Pennsylvania as major subcontractors on the effort.
This contract supports DARPA's overarching goal to demonstrate assured autonomy for dynamic defense applications through innovative hybrid AI architectures that leverage both statistical and symbolic knowledge. The contract aligns with DARPA's broader mission to develop breakthrough technologies for national security.
Generated 2/19/25, 9:24 AM