Efficiently Learning Safety Proofs from Appearance as well as Behaviours
No abstract available.
Related papers
- Verifiably Safe Off-Model Reinforcement Learning TACAS 2019
- A Verified Compiler for a Functional Tensor Language PLDI 2024
- Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calculations ICFP 2026
- An operational semantics and type safety prooffor multiple inheritance in C++ OOPSLA 2006
- Adaptive Shielding via Parametric Safety Proofs OOPSLA 2025
- Garbage-Collection Safety for Region-Based Type-Polymorphic Programs PLDI 2023
- A formal proof of PAC learnability for decision stumps CPP 2021
- Improved Assistance for Interactive Proof (Keynote) CPP 2023