DOI,IST REx ID,Research Group,Title of publication
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
10.1103/tldp-kvkd,20646,"GradSch,BjHo,MaSe",Finding periodic orbits in projected quantum many-body dynamics
10.1103/crwj-x7j8,20709,MaSe,Finite steady-state current defies non-Hermitian many-body localization
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1109/lics65433.2025.00041,20690,KrCh,Risk-aware Markov decision processes using cumulative prospect theory
10.1109/lics65433.2025.00044,20689,KrCh,Multiplicative rewards in Markovian models