Reading Group
Fall 2026
| Date | Paper | Presenter |
|---|---|---|
| Equivalence Checking of ML GPU Kernels | Kshitij Dubey | |
| Formal Verification of WTO-based Dataflow Solvers | Axel Sorenson |
| Date | Paper | Presenter |
|---|---|---|
| Equivalence Checking of ML GPU Kernels | Kshitij Dubey | |
| Formal Verification of WTO-based Dataflow Solvers | Axel Sorenson |