Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
45 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 20256 |
Predictive monitoring of black-box dynamical systems
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
[Published Version]
View
| Files available
| arXiv
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20296 |
Logic gate neural networks are good for verification
F. Kresse, E. Yu, C. Lampert, T.A. Henzinger, in:, 2nd International Conferenceon Neuro-Symbolic Systems, ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
F. Kresse, E. Yu, C. Lampert, T.A. Henzinger, in:, 2nd International Conferenceon Neuro-Symbolic Systems, ML Research Press, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Limit-sure reachability for small memory policies in POMDPs is NP-complete
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20298 |
Efficient estimation of a Gaussian mean with local differential privacy
N. Kalinin, L. Steinberger, in:, Proceedings of the 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 118–126.
[Published Version]
View
| Files available
| arXiv
N. Kalinin, L. Steinberger, in:, Proceedings of the 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 118–126.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Lower bound on Howard policy iteration for deterministic Markov Decision Processes
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20300 |
Learning Pareto manifolds in high dimensions: How can regularization help?
T. Wegel, F. Kovačević, A. Ţifrea, F. Yang, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 4591–4599.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T. Wegel, F. Kovačević, A. Ţifrea, F. Yang, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 4591–4599.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20301 |
Differentially private continual release of histograms and related queries
M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 1990–1998.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 1990–1998.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20302 |
Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis
R. Luo, S.U. Stich, S. Horváth, M. Takáč, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 2539–2547.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
R. Luo, S.U. Stich, S. Horváth, M. Takáč, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 2539–2547.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20303 |
Sparse causal effect estimation using two-sample summary statistics in the presence of unmeasured confounding
S. Huang, N. Pfister, J. Bowden, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 3394–3402.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
S. Huang, N. Pfister, J. Bowden, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 3394–3402.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20592 |
Propagating model uncertainty through filtering-based probabilistic numerical ODE solvers
D. Yao, F. Tronarp, N. Bosch, in:, Proceedings of the 1st International Conference on Probabilistic Numerics, ML Research Press, 2025.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Yao, F. Tronarp, N. Bosch, in:, Proceedings of the 1st International Conference on Probabilistic Numerics, ML Research Press, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20817 |
Mechanistic PDE networks for discovery of governing equations
A.A. Pervez, E. Gavves, F. Locatello, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 48962–48973.
[Published Version]
View
| Files available
| arXiv
A.A. Pervez, E. Gavves, F. Locatello, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 48962–48973.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20820 |
EvoPress: Accurate dynamic model compression via evolutionary search
O. Sieberling, D. Kuznedelev, E. Kurtic, D.-A. Alistarh, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 55556–55590.
[Published Version]
View
| Files available
| arXiv
O. Sieberling, D. Kuznedelev, E. Kurtic, D.-A. Alistarh, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 55556–55590.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20821 |
Layer-wise quantization for quantized optimistic dual averaging
A.D. Nguyen, I. Markov, F.Z. Wu, A. Ramezani-Kebrya, K. Antonakopoulos, D.-A. Alistarh, V. Cevher, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 46026–46072.
[Published Version]
View
| Files available
| arXiv
A.D. Nguyen, I. Markov, F.Z. Wu, A. Ramezani-Kebrya, K. Antonakopoulos, D.-A. Alistarh, V. Cevher, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 46026–46072.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21066 |
Score matching through the roof: Linear, nonlinear, and latent variables causal discovery
F. Montagna, P. Faller, P. Blöbaum, E. Kirschbaum, F. Locatello, in:, Proceedings of the Fourth Conference on Causal Learning and Reasoning, ML Research Press, 2025, pp. 552–605.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
F. Montagna, P. Faller, P. Blöbaum, E. Kirschbaum, F. Locatello, in:, Proceedings of the Fourth Conference on Causal Learning and Reasoning, ML Research Press, 2025, pp. 552–605.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21324 |
Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization
S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873.
[Published Version]
View
| Files available
| arXiv
S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21325 |
Test-time training provably improves transformers as in-context learners
H.A. Gozeten, M.E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, S. Oymak, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 20266–20295.
[Published Version]
View
| Files available
| PubMed | Europe PMC
H.A. Gozeten, M.E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, S. Oymak, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 20266–20295.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21326 |
Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime
D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536.
[Published Version]
View
| Files available
| arXiv
D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21327 |
Inverse problems with experiment-guided AlphaFold
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.
[Published Version]
View
| Files available
| arXiv
S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21328 |
Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery
F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 3354–3404.
[Published Version]
View
| Files available
| arXiv
F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 3354–3404.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20819 |
Differentially private federated k-means clustering with server-side data
J.A. Scott, C. Lampert, D. Saulpic, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 53757–53790.
[Published Version]
View
| Files available
| arXiv
J.A. Scott, C. Lampert, D. Saulpic, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 53757–53790.