GrammaTech to Develop AI Tool for Mathematical Model Analysis Under DARPA Program
GrammaTech has received a contract of an undisclosed value from the Defense Advanced Research Projects Agency for studying and prototyping an artificial intelligence-powered tool under DARPA's AI Exploration program. The company said Thursday it is building the AI-based ReMath program to automate the analysis of mathematical models from binary applications within embedded software and cyber physical systems.