Error Explanation with Distance Metrics
No abstract available.
Related papers
- Assessing the Quality of Binomial Samplers: A Statistical Distance Framework CAV 2025
- Gleipnir: toward practical error analysis for Quantum programs PLDI 2021
- Explainable Online Monitoring of Metric First-Order Temporal Logic TACAS 2024
- Bunched Fuzz: Sensitivity for Vector Metrics ESOP 2023
- A semantic account of metric preservation POPL 2017
- On the Complexity of Error Explanation VMCAI 2005
- Effective floating-point analysis via weak-distance minimization PLDI 2019
- A practical framework for type inference error explanation OOPSLA 2016