Comment Comment by amstan Are you sure the models did not have your exact solved proof already in their dataset? parent amstan 4 months ago
