ResearchBenchmarksVerifier Ceiling on Easy Bank max_atoms=3Follow55.4Mean RateGenerator46.35248.70151.0553.399Jun 5, 2026Evaluation ResultsMethodMethodLinksMean RateGeneratorSelf-training Round=v2...Self-training Round=v2, Evaluation Seeds={1234, 7, 99, 256, 4242, 8888}2026.0655.4GeneratorSelf-training Round=v1...Self-training Round=v1, Evaluation Seeds={1234, 7, 99, 256, 4242, 8888}2026.0653.1GeneratorSelf-training Round=v0...Self-training Round=v0, Evaluation Seeds={1234, 7, 99, 256, 4242, 8888}2026.0646.7