Search Results for author:
Found 2 papers, 0 papers with code
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption.
Security and Machine Learning in the Real World
Machine learning (ML) models deployed in many safety- and business-critical systems are vulnerable to exploitation through adversarial examples.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
