conftrace_

correctness guarantee

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

clarke subderivative (1) neural network (1) satisfaction probability (1) mathematical analysis (1) differentiation theory (1) floating point arithmetic (1) back-off algorithm (1) conformal factuality (1) entailment set (1) human-annotated samples (1)

Papers

Language Models with Conformal Factuality Guarantees ICML 2024 On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters ICML 2023 Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011