Towards Reliable Neural Specifications

Published in ICML (Oral presentation), 2023