Jacek Cyranka

According to our database, Jacek Cyranka authored at least 17 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks.

Bartlomiej Polaczyk, Jacek Cyranka

Trans. Mach. Learn. Res., 2023

A Polarization Opinion Model Inspired by Bounded Confidence Communications.

Jacek Cyranka, Piotr B. Mucha

CoRR, 2023

Unified Long-Term Time-Series Forecasting Benchmark.

Jacek Cyranka, Szymon Haponiuk

CoRR, 2023

Worrisome Properties of Neural Network Controllers and Their Symbolic Representations.

Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks.

Bartlomiej Polaczyk, Jacek Cyranka

CoRR, 2022

Validated forward integration scheme for parabolic PDEs via Chebyshev series.

Jacek Cyranka, Jean-Philippe Lessard

Commun. Nonlinear Sci. Numer. Simul., 2022

2021

On the Verification of Neural ODEs with Stochastic Guarantees.

Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Contractibility of a persistence map preimage.

Jacek Cyranka, Konstantin Mischaikow, Charles Weibel

J. Appl. Comput. Topol., 2020

Lagrangian Reachtubes: The Next Generation.

Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Mapper Based Classifier.

Jacek Cyranka, Alexander Georges, David Meyer

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Under the Hood of a Stand-Alone Lagrangian Reachability Tool.

Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model.

Jacek Cyranka, Thomas Wanner

SIAM J. Appl. Dyn. Syst., 2018

Tight Continuous-Time Reachtubes for Lagrangian Reachability.

Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Lagrangian Reachabililty.

Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.

Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof.

Jacek Cyranka, Piotr Zgliczynski

SIAM J. Appl. Dyn. Syst., 2015

2014

Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I.

Jacek Cyranka

J. Sci. Comput., 2014