2026
Minimal Witness Reinforcement Learning
Minimal-witness identification is formalized as reinforcement learning from a black-box sufficiency verifier: MWRL lifts each success to its certified up-set and credits each proposal by what the group’s certified region would lose without it, recovering most of the minimal-witness antichain where correctness-based methods return redundant supersets or a single witness.