Reverse engineering boolean functions using constrained symbolic regression (REFUSR)
Ended Other Transaction Agreement Awarded Last action
- Contract number
- HR00112190024
- Awardee
-
Special Circumstances LLC UEI DSCAKGXEVPD6
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $998,711
Award facts
- Contract value 100% obligated
- $998,711.00 Current and potential, with all options
- Completion date 100% complete
-
- Current, with exercised options
- Potential, with all options
- NAICS code
- Not on record
- Set-aside
- No set-aside
- Competition
- Competed Program Solicitation
- Pricing
- Other
- Place of performance
- Grand Rapids, MI 49504, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Exercise an Option | $499,705 | |
| Other Administrative Action | $0 | |
| Original award | $499,006 |
About this award
Special Circumstances LLC was awarded a $998,711 other transaction agreement by the Defense Advanced Research Projects Agency to perform reverse engineering of Boolean functions using constrained symbolic regression. The work will be conducted over an 18-month period ending in May 2022 in Grand Rapids, Michigan. DARPA's REFUSR program seeks to advance techniques for reasoning about and manipulating Boolean formulas to enable new capabilities in software and hardware verification. As an independent research agency within the Department of Defense focused on emerging and disruptive technologies, DARPA's investment in this area underscores the importance of developing automated methods to analyze complex logical relationships.
Quick answers
Who was awarded contract HR00112190024?
HR00112190024 was awarded to Special Circumstances LLC by Defense Advanced Research Projects Agency (Department of Defense) on November 17, 2020.
How much is contract HR00112190024 worth?
The government has obligated $998,711 on HR00112190024.
Was contract HR00112190024 competed?
The extent of competition for HR00112190024 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