# Supplementary Material

The supplementary material is organized as follows:

- `./Marabou/` – Source code for the **Marabou** implementation of lookahead.
- `./alpha-beta-CROWN/` – Source code for the **alpha-beta-CROWN** implementation of lookahead.
- `./marabou_results.csv` – Raw results for Marabou benchmarks.
- `./abcrown_results.csv` – Raw results for alpha-beta-CROWN benchmarks.
