DineshAI's picture
Expose rigorous d=8 code and raw evidence to the judge reader
643bd50 verified