DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v36i6.20631,12510,ToHe,GoTube: Scalable statistical verification of continuous-depth models
10.1609/aaai.v36i7.20695,12511,"ToHe,KrCh",Stability verification in stochastic control systems via neural network supermartingales
10.1007/978-3-031-22365-5_20,12516,KrPi,"Public-Key Encryption from Homogeneous CLWE"
10.15479/AT:ISTA:12102,12522,GeKa,"Data for ""Majorana-like Coulomb spectroscopy in the absence of zero bias peaks"""
10.48550/arXiv.2205.10009,12536,MaMo,The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
null,12537,MaMo,Memorization and optimization in deep neural networks with minimum over-parameterization
10.1109/ITW54588.2022.9965870,12538,MaMo,Sharp asymptotics on the compression of two-layer neural networks
null,12540,MaMo,Estimation in rotationally invariant generalized linear models via approximate message passing
10.1609/aaai.v36i9.21222,12568,KrCh,Risk-aware stochastic shortest path
10.48550/arXiv.2210.06434,12660,ChLa,Cross-client Label Propagation for transductive federated learning
10.48550/arXiv.2208.13499,12662,ChLa,Generalization in Multi-objective machine learning
null,12664,,Intriguing properties of input-dependent randomized smoothing
10.48550/ARXIV.2209.14368,12677,"GradSch,KrCh",Repeated prophet inequality with near-optimal bounds
10.5802/JTNB.1222,12684,TiBr,Effective equidistribution of lattice points in positive characteristic
10.48550/arXiv.2210.15607,12750,"GradSch,MaSe",Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
10.4230/LIPIcs.CONCUR.2022.11,12775,KrCh,Anytime guarantees for reachability in uncountable Markov decision processes
null,12776,TiBr,"Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5"
10.1145/3528535.3565248,12780,DaAl,CGX: Adaptive system support for communication-efficient deep learning
10.2140/pjm.2022.321.193,12793,TaHa, A coarse geometric expansion of a variant of Arthur's truncated traces and some applications
10.48550/arXiv.2203.16701,12860,"GradSch,MaMo",Towards differential relational privacy and its use in question answering