News for hackers. Stuff that matters.
Re:Automatic Differentiation in Machine Learning: A Survey [... by xKingfisher on Tuesday November 20, 2018 @01:05AM (#18492085)
The KLEE project[1] does something similar for general code, with symbolic variables.

[1] http://klee.github.io

There are no comments on this comment yet.