SOLICITATION NOTICE
A -- Recovery of Symbolic Mathematics from Code (ReMath)
- Notice Date
- 8/20/2020 11:17:47 AM
- Notice Type
- Presolicitation
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- DARPA-PA-20-02-01
- Response Due
- 9/18/2020 12:00:00 PM
- Archive Date
- 10/18/2020
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
ReMath@darpa.mil
(ReMath@darpa.mil)
- Description
- The ReMath AI (Artificial Intelligence) Exploration program will discover whether a combination of recent advances in AI techniques, such as neural machine translation, sequence-to-sequence encoders, etc., can effectively recover mathematical structures implemented in software in natural mathematical forms of expression. These techniques will improve the understanding of complex software and may enable future methods for analysis and testing of cyber physical systems.
- Web Link
-
SAM.gov Permalink
(https://beta.sam.gov/opp/37ceb419bf0546508923ad5b75f6df74/view)
- Record
- SN05766715-F 20200822/200820230148 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |