_id,title
10665,Scalable verification of quantized neural networks
10666,Adversarial training is not ready for robot learning
10667,Infinite time horizon safety of Bayesian neural networks
10668,On-off center-surround receptive fields for accurate and robust image classification
10669,On the verification of neural ODEs with stochastic guarantees
10670,Causal navigation by continuous-time neural networks
10671,Liquid time-constant networks
10674,Determinacy in discrete-bidding infinite-duration games
10688,The Civl verifier
10692,Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
10694,Infinite-duration all-pay bidding games
10711,The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
10738," The Landau–Pekar equations: Adiabatic theorem and accuracy"
10762,Artificial neural network states for non-additive systems
10803,Fairness through regularization for learning to rank
10806,Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
10809,Tidying up the mess
10816,"How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network"
10834,"Loss of Hem1 disrupts macrophage function and impacts migration, phagocytosis, and integrin-mediated adhesion"
10836,"PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow's milk allergy and tolerance"