An official website of the United States government
Here's how you know
A .mil website belongs to an official U.S. Department of Defense organization in the United States.
A lock (lock ) or https:// means you’ve safely connected to the .mil website. Share sensitive information only on official, secure websites.

NEWS | April 5, 2023

ReMath: Recovery of Symbolic Mathematics from Code

Project Lead:  Dr. Sergey Bratus                                                            

Sponsoring Organization:  DARPA


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.