https://github.com/inaciovasquez2020/urf-wl2-obstruction

Deterministic WL³-style sampling and collapsed obstruction witness for URF (CI-safe, format-robust).

cfi complexity-theory deterministic-sampling graph-isomorphism obstruction rigidity urf weisfeiler-leman wl3

Last synced: 04 Apr 2026