Jacek Cyranka

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 24

Top Topics

Stochastic Gradient Descent

Global Convergence

Computer Assisted

Prize Collecting

Top Venues

SIAM J. Appl. Dyn. Syst.

ARCH@CPSIoTWeek

Publications

Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. CoRR (2023)
Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations. ECAI (2023)
Bartlomiej Polaczyk, Jacek Cyranka
Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks. Trans. Mach. Learn. Res. 2023 (2023)
Jacek Cyranka, Piotr B. Mucha
A Polarization Opinion Model Inspired by Bounded Confidence Communications. CoRR (2023)
Jacek Cyranka, Szymon Haponiuk
Unified Long-Term Time-Series Forecasting Benchmark. CoRR (2023)
Bartlomiej Polaczyk, Jacek Cyranka
Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks. CoRR (2022)
Jacek Cyranka, Jean-Philippe Lessard
Validated forward integration scheme for parabolic PDEs via Chebyshev series. Commun. Nonlinear Sci. Numer. Simul. 109 (2022)
Jacek Cyranka, Jean-Philippe Lessard
Validated forward integration scheme for parabolic PDEs via Chebyshev series. CoRR (2021)
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
On the Verification of Neural ODEs with Stochastic Guarantees. AAAI (2021)
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
On The Verification of Neural ODEs with Stochastic Guarantees. CoRR (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CoRR (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CDC (2020)
Jacek Cyranka, Konstantin Mischaikow, Charles Weibel
Contractibility of a persistence map preimage. J. Appl. Comput. Topol. 4 (4) (2020)
Jacek Cyranka, Alexander Georges, David Meyer
Mapper Based Classifier. ICMLA (2019)
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek (2019)
Jacek Cyranka, Alexander Georges, David Meyer
Mapper Based Classifier. CoRR (2019)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC (2018)
Jacek Cyranka, Thomas Wanner
Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model. SIAM J. Appl. Dyn. Syst. 17 (1) (2018)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR (2018)
Jacek Cyranka, Thomas Wanner
Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model. CoRR (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CAV (1) (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CoRR (2017)
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
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM (2016)
Jacek Cyranka, Piotr Zgliczynski
Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof. SIAM J. Appl. Dyn. Syst. 14 (2) (2015)
Jacek Cyranka
Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I. J. Sci. Comput. 59 (1) (2014)
Jacek Cyranka, Piotr Zgliczynski
Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof. CoRR (2014)