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.

4863 Publications


2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Public-Key Encryption from Homogeneous CLWE
A. Bogdanov, M. Cueto Noval, C. Hoffmann, A. Rosen, in:, Theory of Cryptography, Springer Nature, 2022, pp. 565–592.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Research Data | IST-REx-ID: 12522 | OA
Data for "Majorana-like Coulomb spectroscopy in the absence of zero bias peaks"
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, M. Botifoll, (2022).
[Published Version] View | Files available | DOI
 

2022 | Accepted | Preprint | IST-REx-ID: 12536 | OA
The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
J. Barbier, T. Hou, M. Mondelli, M. Saenz, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12537 | OA
Memorization and optimization in deep neural networks with minimum over-parameterization
S. Bombari, M.H. Amani, M. Mondelli, in:, 36th Conference on Neural Information Processing Systems, Curran Associates, 2022, pp. 7628–7640.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12538 | OA
Sharp asymptotics on the compression of two-layer neural networks
M.H. Amani, S. Bombari, M. Mondelli, R. Pukdee, S. Rini, IEEE Information Theory Workshop (2022) 588–593.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12540 | OA
Estimation in rotationally invariant generalized linear models via approximate message passing
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
[Published Version] View | Files available
 

2022 | Published | Conference Paper | IST-REx-ID: 12568 | OA
Risk-aware stochastic shortest path
T. Meggendorfer, in:, Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Association for the Advancement of Artificial Intelligence, 2022, pp. 9858–9867.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12660 | OA
Cross-client Label Propagation for transductive federated learning
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
[Preprint] View | Files available | DOI | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12662 | OA
Generalization in Multi-objective machine learning
P. Súkeník, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12664 | OA
Intriguing properties of input-dependent randomized smoothing
P. Súkeník, A. Kuvshinov, S. Günnemann, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022, pp. 20697–20743.
[Published Version] View | Files available | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12684 | OA
Effective equidistribution of lattice points in positive characteristic
T. Horesh, F. Paulin, Journal de Theorie Des Nombres de Bordeaux 34 (2022) 679–703.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12750 | OA
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12775 | OA
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12776 | OA
Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5
T.D. Browning, New York Journal of Mathematics 28 (2022) 1193–1229.
[Published Version] View | Files available
 

2022 | Published | Conference Paper | IST-REx-ID: 12780 | OA
CGX: Adaptive system support for communication-efficient deep learning
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12793 | OA
A coarse geometric expansion of a variant of Arthur's truncated traces and some applications
H. Yu, Pacific Journal of Mathematics 321 (2022) 193–237.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12860 | OA
Towards differential relational privacy and its use in question answering
S. Bombari, A. Achille, Z. Wang, Y.-X. Wang, Y. Xie, K.Y. Singh, S. Appalaraju, V. Mahadevan, S. Soatto, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed