Inactive

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, ... 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.