Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs.

Ashish Mishra Suresh Jagannathan

Published in: ECOOP (2023)

Keyphrases

data dependent
generalization bounds
natural language
risk bounds
rademacher complexity
image analysis
learning theory
energy functional
image segmentation
higher order
model checking