Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
Open Access
- 6 February 2024
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1-13
Abstract
No abstract availableAll Related Versions
Funding Information
- National Science Foundation (CCF-15-18897, CNS-15-13263, CNS-21-20448, CCF-19-34884, CCF-22-23812)
This publication has 55 references indexed in Scilit:
- Floyd--hoare logic for quantum programsACM Transactions on Programming Languages and Systems, 2011
- A Hoare Calculus for Graph ProgramsLecture Notes in Computer Science, 2010
- Quantum weakest preconditionsMathematical Structures in Computer Science, 2006
- A WP-calculus for OOLecture Notes in Computer Science, 1999
- The weakest precondition calculus: Recursion and dualityFormal Aspects of Computing, 1994
- Analyzing Tables of Statistical TestsEvolution, 1989
- The weakest prespecificationInformation Processing Letters, 1987
- On the Method of Least-SquaresThe Astronomical Journal, 1980
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969