If you generate random syntactically valid ZFC statements, you can adjust rough complexity by varying the formula size. And, if your training a small toy model first, you can filter out the problems so easy that the toy model can solve them.
If you generate random syntactically valid ZFC statements, you can adjust rough complexity by varying the formula size. And, if your training a small toy model first, you can filter out the problems so easy that the toy model can solve them.