Provably correct design of adaptive hybrid neuro-symbolic cyber physical systems
Active Definitive Contract Awarded Last action
- Contract number
- FA875023C0080
- Awardee
-
The Regents Of The University Of California UEI GS3YEVSS12N6 Part of State Of California Controllers Office
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $4,236,970
Award facts
- Opportunity
-
- Assured Neuro Symbolic Learning and Reasoning (ANSR) Pre-Solicitation · HR001122S0039 · Posted Jun 1, 2022
- Contract value 78% obligated
- $5,398,530.00 Current and potential, with all options
- Completion date 80% complete
- Current and potential, with all options
- Contracting staff
- Funding agency
- Defense Advanced Research Projects Agency Department of Defense
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 46 offers Basic Research
- Pricing
- Cost No Fee
- Place of performance
- Berkeley, CA 94710, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $272,534 | |
| Funding Only Action | $554,059 | |
| Funding Only Action | $350,000 | |
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $400,000 | |
| Funding Only Action | $250,000 | |
| Funding Only Action | $729,554 | |
| Funding Only Action | $100,000 | |
| Other Administrative Action | $0 | |
| Funding Only Action | $414,777 | |
| Original award | $1,166,046 |
Show all 12
About this award
The Defense Advanced Research Projects Agency awarded a definitive contract to The Regents of the University of California (University of California, Berkeley) for provably correct design of adaptive hybrid neuro-symbolic cyber-physical systems and assured neuro-symbolic learning and reasoning on June 30, 2023, with a $5.398 million ceiling under cost-no-fee pricing and no set-aside.
The originating solicitation (HR001122S0039, posted June 1, 2022) sought proposals to advance hybrid artificial intelligence algorithms integrating symbolic reasoning and machine learning for assured autonomy on Department of Defense mission-relevant scenarios. The effort encompasses safe learning design tools and algorithms, compositional neuro-symbolic control, verification methods for hybrid systems, and causality and debugging functionality for neuro-symbolic architectures across three phases.
Place of performance is Berkeley, California. The contract runs through August 30, 2027. Subcontractors include The Leland Stanford Junior University, University of Southern California, and The Trustees of the University of Pennsylvania, each performing specialized research contributions in neuro-symbolic safe learning, verification tool development, and causality-driven debugging for hybrid AI systems.
Subawards
| Subcontractor | Amount | Awarded |
|---|---|---|
| The Leland Stanford Junior University | $203,697 | |
| University Of Southern California | $281,373 | |
| The Trustees Of The University Of Pennsylvania | $246,733 |
Quick answers
Who was awarded contract FA875023C0080?
FA875023C0080 was awarded to The Regents Of The University Of California by Air Force Research Laboratory (Air Force Materiel Command) on June 30, 2023.
How much is contract FA875023C0080 worth?
The government has obligated $4,236,970 on FA875023C0080. Its current value, with exercised options, is $5,398,530.
Which agency awarded contract FA875023C0080?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA875023C0080, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract FA875023C0080 competed?
The extent of competition for FA875023C0080 was full and open competition. The government received 46 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award