There was a paper on HN recently about auto-inferring semantics of x86 instructions — although it used an SMT solver (I think) rather than ML. https://cs.stanf

There was a paper on HN recently about auto-inferring semantics of x86 instructions — although it used an SMT solver (I think) rather than ML. https://cs.stanford.edu/people/eschkufz/docs/pldi_16.pdf https://cs.stanford.edu/people/eschkufz/docs/pldi_16.pdf