Jacek Cyranka

29 papers A* 1A 1C 1Journal 19Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
How Much Noise is there in Labels Generated by Humans? A Method to Validate Automatically Generated Bounding Boxes.
CVPR Workshops
Mariusz Karol Nowak, Jacek Cyranka, Natalia Maslany, Aleksander Kostuch, Jakub Derbisz, Mateusz Komorkiewicz, Patryk Siwek, Mateusz Wójcik, Dariusz Marchewka, Pawel Skruch
2024 J jnl
A polarization opinion model inspired by bounded confidence communications.
J. Frankl. Inst.
Jacek Cyranka, Piotr B. Mucha
2024 — conf
State Planning Policies Online Reinforcement Learning.
CDC
Jacek Cyranka, Piotr Bilinski
2023 J jnl
A Polarization Opinion Model Inspired by Bounded Confidence Communications.
CoRR
Jacek Cyranka, Piotr B. Mucha
2023 J jnl
Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks.
Trans. Mach. Learn. Res.
Bartlomiej Polaczyk, Jacek Cyranka
2023 J jnl
Unified Long-Term Time-Series Forecasting Benchmark.
CoRR
Jacek Cyranka, Szymon Haponiuk
2023 A conf
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations.
ECAI
Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
2023 J jnl
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations.
CoRR
Jacek Cyranka, Kevin E. M. Church, Jean-Philippe Lessard
2022 J jnl
Improved Overparametrization Bounds for Global Convergence of Stochastic Gradient Descent for Shallow Neural Networks.
CoRR
Bartlomiej Polaczyk, Jacek Cyranka
2022 J jnl
Validated forward integration scheme for parabolic PDEs via Chebyshev series.
Commun. Nonlinear Sci. Numer. Simul.
Jacek Cyranka, Jean-Philippe Lessard
2021 A* conf
On the Verification of Neural ODEs with Stochastic Guarantees.
AAAI
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2021 J jnl
Validated forward integration scheme for parabolic PDEs via Chebyshev series.
CoRR
Jacek Cyranka, Jean-Philippe Lessard
2020 J jnl
Contractibility of a persistence map preimage.
J. Appl. Comput. Topol.
Jacek Cyranka, Konstantin Mischaikow, Charles Weibel
2020 — conf
Lagrangian Reachtubes: The Next Generation.
CDC
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020 J jnl
Lagrangian Reachtubes: The Next Generation.
CoRR
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020 J jnl
On The Verification of Neural ODEs with Stochastic Guarantees.
CoRR
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2019 C conf
Mapper Based Classifier.
ICMLA
Jacek Cyranka, Alexander Georges, David Meyer
2019 J jnl
Mapper Based Classifier.
CoRR
Jacek Cyranka, Alexander Georges, David Meyer
2019 — conf
Under the Hood of a Stand-Alone Lagrangian Reachability Tool.
ARCH@CPSIoTWeek
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
2018 J jnl
Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta-Kawasaki Model.
SIAM J. Appl. Dyn. Syst.
Jacek Cyranka, Thomas Wanner
2018 — conf
Tight Continuous-Time Reachtubes for Lagrangian Reachability.
CDC
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2018 J jnl
Tight Continuous-Time Reachtubes for Lagrangian Reachability.
CoRR
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2017 J jnl
Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model.
CoRR
Jacek Cyranka, Thomas Wanner
2017 — conf
Lagrangian Reachabililty.
CAV (1)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
2017 J jnl
Lagrangian Reachabililty.
CoRR
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
2016 — conf
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
BIBM
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
2015 J jnl
Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing - A Computer Assisted Proof.
SIAM J. Appl. Dyn. Syst.
Jacek Cyranka, Piotr Zgliczynski
2014 J jnl
Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I.
J. Sci. Comput.
Jacek Cyranka
2014 J jnl
Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof.
CoRR
Jacek Cyranka, Piotr Zgliczynski