[ianm218]

Verification is generally a much lower bar than solution generation. I don’t think it’s likely sorting out the right from wrong will end up being this huge PhD level effort.

[kang]

Verification & solution generation are both part of problem generation & defining the passing test - judgement.