It's interesting to add the work about Deepmind AlphaDev to this list.