It's advanced quite a bit, and the article references some of the latest advancements[1] just published. [1] https://people.cs.uchicago.edu/~hankhoffmann/autoc

It's advanced quite a bit, and the article references some of the latest advancements[1] just published. [1] https://people.cs.uchicago.edu/~hankhoffmann/autoconf.pdf https://people.cs.uchicago.edu/~hankhoffmann/autoconf.pdf edit: disclaimer - I'm working with the University & Dr. Hoffmann on this, but have also replicated (some) of the results in earlier papers.