DOI,IST REx ID,Title of publication
null,20668,"Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable"
10.1145/3832046.3832063,22774,Certifying solutions of degenerate semidefinite programs
10.52202/085713-1551,22826,Hogwild! Inference: Parallel LLM generation via concurrent attention
10.52202/085713-1450,22825,Neural collapse is globally optimal in deep regularized ResNets and transformers
10.52202/085713-0278,22824,Fast rate bounds for multi-task and meta-learning with different sample sizes
10.52202/085713-3163,22830,AutoJudge: Judge decoding without manual annotation
10.1063/5.0257558,19595,"How local is “local”? Deep learning reveals locality of the induced magnetic field of polycyclic aromatic hydrocarbons"
10.1038/s41586-025-09587-7,17468,Marcus kinetics control singlet and triplet oxygen evolving from superoxide
10.1007/978-3-031-90653-4_7,19743,Fixed point certificates for reachability and expected rewards in MDPs
10.1007/978-3-031-90653-4_11,19740,Value iteration with guessing for Markov chains and Markov decision processes
10.1007/978-3-031-90653-4_14,19744,Refuting equivalence in probabilistic programs with conditioning
10.1609/aaai.v39i11.33213,19667,Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
10.1609/aaai.v39i11.33212,19669,Linear equations with min and max operators: Computational complexity
10.5281/ZENODO.14626585,19771,Artifact: Fixed point certificates for reachability and expected rewards in MDPs
10.1093/pnasnexus/pgaf154,19843,Stable strategies of direct and indirect reciprocity across all social dilemmas
10.1007/s13235-025-00627-5,19074,Time-dependent strategies in repeated asymmetric public goods games
null,20299,Lower bound on Howard policy iteration for deterministic Markov Decision Processes
null,20297,Limit-sure reachability for small memory policies in POMDPs is NP-complete
null,20296,Logic gate neural networks are good for verification
10.1007/s13235-025-00636-4,19508,Random zero-sum dynamic games on infinite directed graphs