Similar Items: Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
- Refined Risk Bounds for Unbounded Losses via Transductive Priors
- Quantitative Verification with Neural Networks
- Tighter Bounds for Query Answering with Guarded TGDs
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- ENHANCED GNN WITH CAUSAL PROXIMITY VECTORS: BRIDGING CAUSALITY AND PROXIMITY IN GRAPH NEURAL NETWORKS