Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6492 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21323 |
On extractability of the KZG family of polynomial commitment schemes
J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, M. Pastyřík, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 584–616.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, M. Pastyřík, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 584–616.
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 |
Journal Article |
IST-REx-ID: 21343 |
| 
|
Solubility of a resultant equation and applications
T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.
[Published Version]
View
| Files available
| DOI
| arXiv
T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21399 |
The equational theories project: Advancing collaborative mathematical research at scale
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21412 |
Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 21413 |
|
|
Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
2025 |
Draft |
Preprint |
IST-REx-ID: 21427 |
Substrate heterogeneity promotes cancer cell dissemination through interface roughening
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21435 |
Strain-induced multiferroicity in Cr1/3NbS2
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21474 |
3DPR: Single image 3D portrait relighting with generative priors
P. Rao, A. Meka, X. Zhou, G. Fox, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, T. Beeler, M. Elgharib, M. Habermann, C. Theobalt, in:, Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Association for Computing Machinery, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
P. Rao, A. Meka, X. Zhou, G. Fox, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, T. Beeler, M. Elgharib, M. Habermann, C. Theobalt, in:, Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Association for Computing Machinery, 2025.
2025 |
Research Data Reference |
IST-REx-ID: 21668 |
Benchmark data for the revised practitioner's guide to MDP model checking algorithms
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21706 |
|
|
Resolution of the quadratic Littlewood–Offord problem
M.A. Kwan, L. Sauermann, Compositio Mathematica 161 (2025) 3089–3139.
[Published Version]
View
| Files available
| DOI
| arXiv
M.A. Kwan, L. Sauermann, Compositio Mathematica 161 (2025) 3089–3139.
2025 |
Published |
Journal Article |
IST-REx-ID: 21724 |
|
|
The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations
M.E. Lee, Z. Haiman, S. Pandey, S. Genel, The Astrophysical Journal 996 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
M.E. Lee, Z. Haiman, S. Pandey, S. Genel, The Astrophysical Journal 996 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21727 |
|
|
Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
[Published Version]
View
| Files available
| DOI
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
2025 |
Published |
Journal Article |
IST-REx-ID: 21768 |
Birch’s theorem on forms in many variables with a Hessian condition
S. Yamagishi, Acta Arithmetica 221 (2025) 141–151.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Yamagishi, Acta Arithmetica 221 (2025) 141–151.
2025 |
Draft |
Preprint |
IST-REx-ID: 21858 |
Position: It's time to act on the risk of efficient personalized text generation
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).