Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Université de Toulouse
1
0
1
Silent numerical bugs like catastrophic cancellation can quietly corrupt training pipelines and custom kernels, but FPScan exposes them automatically by compiling magnitude-aware error propagation directly into first-order SMT queries.