The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of ARO, DARPA, NSF, ONR, or the United States Government.
the USP system (Poon and Domingos, 2009) can extract formulas and appears to be fairly robust to noise.