Comment Comment by wendyshu How are they going to generate training data if verifying solutions is hard? parent wendyshu 7 years ago