This is fascinating! If I understand correctly, they approximate language of inputs of a function to discover minimal (in some sense, like "shortest descriptio

This is fascinating! If I understand correctly, they approximate language of inputs of a function to discover minimal (in some sense, like "shortest description length") inputs that violate relations between inputs and outputs of a function under scrutiny.