Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation
pre-print
paper
Provably Correct Physics-Informed Neural Networks
F. Eiras, A. Bibi, R. Bunel, K. Dj Dvijotham, P. H. S. Torr, M. Pawan Kumar
2nd Workshop on Formal Verification of Machine Learning, ICML, 2023
2nd Workshop on Formal Verification of Machine Learning, ICML, 2023
Towards Certified Machine Learning
F. Eiras
Presented at Columbia University (hosted by Prof. Suman Jana), New York University (hosted by Prof. Jinyang Li & Prof. Joseph Tassardi), University of California, Berkeley (hosted by Prof. Somayeh Sojoudi), and Stanford University (hosted by Prof. Clark Barret)
Presented at Columbia University (hosted by Prof. Suman Jana), New York University (hosted by Prof. Jinyang Li & Prof. Joseph Tassardi), University of California, Berkeley (hosted by Prof. Somayeh Sojoudi), and Stanford University (hosted by Prof. Clark Barret)
talk
slides
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
A. Petrov*, F. Eiras, A. Sanyal, P. H. S. Torr, A. Bibi*
International Conference of Machine Learning (ICML), 2023
International Conference of Machine Learning (ICML), 2023
conference
paper
Faithful Knowledge Distillation
pre-print
paper
RANCER: Non-Axis Aligned Anisotropic Certification with Randomized Smoothing
T. Rumezhak, F. Eiras, P. H. S. Torr, A. Bibi
IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2023
IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2023
conference
paper
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
journal
paper
A Two-Stage Optimization-based Motion Planner for Safe Urban Driving
PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving
H. Pulver, F. Eiras, L. Carozza, M. Hawasly, S. V. Albrecht, S. Ramamoorthy
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021
conference
paper
Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles
J. P. Hannah, A. Rahman, E. Fosong, F. Eiras, M. Dobre, J. Redford, S. Ramamoorthy S. V. Albrecht
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021
conference
paper
Interpretable Goal-based Prediction and Planning for Autonomous Driving
S. V. Albrecht, C. Brewitt, J. Wilhelm, B. Gyevnar, F. Eiras, M. Dobre, S. Ramamoorthy
IEEE International Conference on Robotics and Automation (ICRA), 2021
IEEE International Conference on Robotics and Automation (ICRA), 2021
PaRoT: A Practical Framework for Robust Deep Neural Network Training
E. Ayers, F. Eiras, M. Hawasly, I. Whiteside
12th NASA Formal Methods Symposium (NFM), 2020
12th NASA Formal Methods Symposium (NFM), 2020
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
F. Eiras, M. Lahajinan, M. Kwiatkowska
IEEE Connected and Automated Vehicles Symposium (CAVS), 2019 (Oral presentation)
IEEE Connected and Automated Vehicles Symposium (CAVS), 2019 (Oral presentation)
Analytical Modeling of Vanishing Points and Curves in Catadioptric Cameras