ReSyn Divide-and-Conquer Framework Sets New State-of-the-Art on Real-World Regex Synthesis

ReSyn is a synthesizer-agnostic framework that decomposes complex regex synthesis into sub-problems, paired with Set2Regex, a parameter-efficient synthesizer exploiting permutation invariance of input examples. The combination achieves state-of-the-art on real-world benchmarks with deeper nesting and union operations that existing PBE systems fail on.