Caterina Urban

Identifiers

No identifiers captured yet.

Papers (2)

1. Faster Verified Explanations for Neural Networks cs.LG · 2025 · author #3
2. Permission Inference for Array Programs cs.PL · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Alessandro De Palma 1 shared papers
• Alexander J. Summers 1 shared papers
• Greta Dolcetti 1 shared papers
• J\'er\^ome Dohrau 1 shared papers
• Peter M\"uller 1 shared papers
• Severin M\"unger 1 shared papers