#

wl3

Here are 2 public repositories matching this topic...

inaciovasquez2020 / final-wall-conditional-index

Index of all conditional dependencies in the Final Wall program

locality graph-theory reproducibility fo4 weisfeiler-leman finite-model-theory wl3 wl2

Updated Feb 17, 2026
TeX

inaciovasquez2020 / urf-wl2-obstruction

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

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

Updated Feb 16, 2026
Python

Improve this page

Add a description, image, and links to the wl3 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the wl3 topic, visit your repo's landing page and select "manage topics."