graph-surgery

Here are 2 public repositories matching this topic...

BoumedineBillal / yolo26n_esp

World's First NMS-Free YOLOv26n on ESP32-P4. Features end-to-end Int8 QAT and custom C++ optimizations achieving 30% faster inference than the official ESP-DL YOLOv11n (1.7s vs 2.4s).

computer-vision esp32 simd yolo object-detection quantization esp-idf risc-v int8 qat onnx embedded-ai edge-ai tinyml ultralytics esp-dl esp32-p4 graph-surgery nms-free

Updated Feb 4, 2026
Jupyter Notebook

SatpreetMakhija / graph-surgery-do-operator

Star

Paper and Lean 4 mechanization for Graph Surgery and the Do-Operator

formal-verification causal-inference lean4 mechanization graph-surgery structural-causal-models do-operator

Updated Aug 19, 2026
TeX

Add this topic to your repo

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

Learn more