_id,doi,title
12510,10.1609/aaai.v36i6.20631,GoTube: Scalable statistical verification of continuous-depth models
12511,10.1609/aaai.v36i7.20695,Stability verification in stochastic control systems via neural network supermartingales
12516,10.1007/978-3-031-22365-5_20,"Public-Key Encryption from Homogeneous CLWE"
12522,10.15479/AT:ISTA:12102,"Data for ""Majorana-like Coulomb spectroscopy in the absence of zero bias peaks"""
12529,10.1007/978-3-030-99527-0_5,A direct symbolic algorithm for solving stochastic rabin games
12530,10.1145/3501710.3519535,BOCoSy: Small but powerful symbolic output-feedback control
12536,10.48550/arXiv.2205.10009,The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
12537,,Memorization and optimization in deep neural networks with minimum over-parameterization
12538,10.1109/ITW54588.2022.9965870,Sharp asymptotics on the compression of two-layer neural networks
12540,,Estimation in rotationally invariant generalized linear models via approximate message passing
12568,10.1609/aaai.v36i9.21222,Risk-aware stochastic shortest path
12573,10.1038/s43247-022-00588-2,Supraglacial debris thickness and supply rate in High-Mountain Asia
12574,10.5194/tc-16-4701-2022,Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry
12575,10.1029/2022ef002852,Glacier contributions to river discharge during the current Chilean megadrought
12576,10.1088/1748-9326/ac9008,Multi-decadal monsoon characteristics and glacier response in High Mountain Asia
12577,10.1073/pnas.2109796119,Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau
12578,10.5194/tc-16-1697-2022,Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia
12579,10.5194/tc-16-1631-2022,Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya
12580,10.1029/2021ef002619,Knowledge priorities on climate change and water in the Upper Indus Basin: A horizon scanning exercise to identify the Top 100 research questions in social and natural sciences
12581,10.5194/esurf-10-23-2022,"Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau"