Commit graph

1 commit

Author SHA1 Message Date
0426673d1f docs(bawim): document mutation engine exploration results
Some checks failed
Anti-Smuggle Gate / gate (push) Waiting to run
Doc Sync Check / check (push) Waiting to run
Lean Check / build (push) Waiting to run
Python Check / test (push) Waiting to run
Q16_16 Roundtrip / roundtrip (push) Waiting to run
AVM ISA Cross-Port CI / c (push) Has been cancelled
AVM ISA Cross-Port CI / python (push) Has been cancelled
AVM ISA Cross-Port CI / go (push) Has been cancelled
AVM ISA Cross-Port CI / rust (push) Has been cancelled
AVM ISA Cross-Port CI / cpp (push) Has been cancelled
AVM ISA Cross-Port CI / julia (push) Has been cancelled
AVM ISA Cross-Port CI / r (push) Has been cancelled
AVM ISA Cross-Port CI / wolfram-verify (push) Has been cancelled
AVM ISA Cross-Port CI / cross-verify (push) Has been cancelled
Add results document and BAWIM paper citation (arXiv:2607.02112).

Key findings:
- Oscillating bath solver doesn't outperform greedy/SA on tested problems
- Sudoku: backtracking is 1000× faster and exact
- MAX-CUT/NPP: SA marginally better at scale, bath shows no advantage
- Engine useful for hardware parameter exploration, not solver quality

Conclusion: approach not competitive for Sudoku solving.
2026-07-07 10:14:31 -05:00