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