ML proof assistant for ACL2
Ended Other Transaction Agreement Awarded Last action
- Contract number
- HR00112290061
- Awardee
-
Kestrel Institute UEI YJ1MX6KTQYN6
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $998,706
Award facts
- Contract value 100% obligated
- $998,706.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- NAICS code
- Not on record
- Set-aside
- No set-aside
- Competition
- Competed Program Solicitation
- Pricing
- Other
- Place of performance
- Palo Alto, CA 94304, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Funding Only Action | $332,316 | |
| Funding Only Action | $261,122 | |
| Funding Only Action | $150,000 | |
| Original award | $255,268 |
About this award
The Defense Advanced Research Projects Agency (DOD) awarded a $998,706 Other Transaction Agreement to Kestrel Institute of Palo Alto, California to provide an ML Proof Assistant for the ACL2 system. The contract will run from January 31, 2022 through September 30, 2023 in Palo Alto. Kestrel Institute will develop an ML Proof Assistant to support formal verification of software and hardware designs using the ACL2 theorem prover under an other pricing structure. No subcontractors were identified.
Quick answers
Who was awarded contract HR00112290061?
HR00112290061 was awarded to Kestrel Institute by Defense Advanced Research Projects Agency (Department of Defense) on January 31, 2022.
How much is contract HR00112290061 worth?
The government has obligated $998,706 on HR00112290061.
Was contract HR00112290061 competed?
The extent of competition for HR00112290061 was competed.
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