Comment by abdullahkhalids

Pretty cool stuff. Do you think it's possible to easily build a science oriented harness like Ref. [1] in DeepClause?

[1] https://github.com/1stproof/batch-2/tree/main/batch-2-submis...