ML-Like Inference for Classifiers
Abstract elided by the publisher.
Related papers
- Automated error diagnosis using abductive inference PLDI 2012
- SimTyper: sound type inference for Ruby using type equality prediction OOPSLA 2021
- NNrepair: Constraint-Based Repair of Neural Network Classifiers CAV 2021
- Parallelization spectroscopy: analysis of thread-level parallelism in hpc programs PPoPP 2009
- Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference OOPSLA 2023
- Incremental Verification of Neural Networks PLDI 2023
- Polarized Subtyping ESOP 2022
- SPPL: probabilistic programming with fast exact symbolic inference PLDI 2021