–
Project Lead: Dr. Sergey Bratus
Sponsoring Organization: DARPA
Website: https://www.darpa.mil/program/recovery-of-symbolic-mathematics-from-code
Project Synopsis: ReMath Artificial Intelligence Exploration aims to 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 to their natural mathematical forms of symbolic expression. These techniques could improve the understanding of complex software and may enable future methods for analysis and testing of cyber-physical systems.