Publications

Jacek Cyranka

Number of publications: 9

2023

• Bartłomiej Polaczyk , Jacek Cyranka , Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks, Transactions on Machine Learning Research, 2023. See in PBN
• Jacek Cyranka , Kevin E. M. Church, Jean-Philippe Lessard, Worrisome Properties of Neural Network Controllers and Their Symbolic Representations, 26th European Conference on Artificial Intelligence, Kraków, Poland, 29 September 2023 - 3 October 2023. See in PBN

2021

• Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka , Scott A. Smolka, Radu Grosu, On the Verification of Neural ODEs with Stochastic Guarantees, 35th AAAI Conference on Artificial Intelligence, Vancouver, Canada, 2 February 2021 - 9 February 2021. See in PBN

2020

• Jacek Cyranka , Konstantin Mischaikow, Charles Weibel, Contractibility of a persistence map preimage, Journal of Applied and Computational Topology, 4 (4) 2020, p. 509-523. See in PBN
• Sophie Gruenbacher, Jacek Cyranka , Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu, Lagrangian Reachtubes: The Next Generation, 59th IEEE Conference on Decision and Control, Jeju Island, the Republic of Korea, 14 December 2020 - 18 December 2020. See in PBN

2019

• Jacek Cyranka , Alexander Georges, David Meyer, Mapper Based Classifier, 18th IEEE International Conference on Machine Learning and Applications, Boca Raton, the United States of America, 16 December 2019 - 19 December 2019. See in PBN

2016

• Jacek Cyranka , Piotr Zgliczynski, Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations, Journal of Differential Equations, 2016. See in PBN

2015

• Jacek Cyranka , Piotr Zgliczynski, Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing-A Computer Assisted Proof, SIAM Journal on Applied Dynamical Systems, 2015. See in PBN

2014

• Jacek Cyranka , Efficient and generic algorithm for rigorous integration forward in time of dPDEs : part I, JOURNAL OF SCIENTIFIC COMPUTING, 59 (1) 2014, p. 28-52. See in PBN