Thiago Serra

According to our database, Thiago Serra authored at least 23 papers between 2012 and 2024.

Collaborative distances:

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

2024

Optimization Over Trained Neural Networks: Taking a Relaxing Walk.

Jiatai Tong, Junyang Cai, Thiago Serra

CoRR, 2024

2023

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks.

Fabian Badilla, Marcos Goycoolea, Gonzalo Muñoz, Thiago Serra

CoRR, 2023

When Deep Learning Meets Polyhedral Theory: A Survey.

Joey Huchette, Gonzalo Muñoz, Thiago Serra, Calvin Tsay

CoRR, 2023

Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions.

Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu, Shandian Zhe, Thiago Serra

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

Optimal Decision Diagrams for Classification.

Alexandre M. Florio, Pedro Martins, Maximilian Schiffer, Thiago Serra, Thibaut Vidal

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Template-Based Minor Embedding for Adiabatic Quantum Optimization.

Thiago Serra, Teng Huang, Arvind U. Raghunathan, David Bergman

INFORMS J. Comput., 2022

Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithm.

Aidan Good, Jiaqi Lin, Xin Yu, Hannah Sieg, Mikey Ferguson, Shandian Zhe, Jerzy Wieczorek, Thiago Serra

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks.

Xin Yu, Thiago Serra, Srikumar Ramalingam, Shandian Zhe

Proceedings of the International Conference on Machine Learning, 2022

Training Thinner and Deeper Neural Networks: Jumpstart Regularization.

Carles Roger Riera Molina, Camilo Rey, Thiago Serra, Eloi Puertas, Oriol Pujol

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021

Scaling Up Exact Neural Network Compression by ReLU Stability.

Thiago Serra, Xin Yu, Abhinav Kumar, Srikumar Ramalingam

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

MIPLIBing: Seamless Benchmarking of Mathematical Optimization Problems and Metadata Extensions.

Thiago Serra, Ryan J. O'Neil

Oper. Res. Forum, 2020

Compact representation of near-optimal integer programming solutions.

Thiago Serra, John N. Hooker

Math. Program., 2020

When Lift-and-Project Cuts Are Different.

Egon Balas, Thiago Serra

INFORMS J. Comput., 2020

Reformulating the disjunctive cut generating linear program.

Thiago Serra

Ann. Oper. Res., 2020

Lossless Compression of Deep Neural Networks.

Thiago Serra, Abhinav Kumar, Srikumar Ramalingam

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Enumerative Branching with Less Repetition.

Thiago Serra

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Empirical Bounds on Linear Regions of Deep Rectifier Networks.

Thiago Serra, Srikumar Ramalingam

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Equivalent and Approximate Transformations of Deep Neural Networks.

Abhinav Kumar, Thiago Serra, Srikumar Ramalingam

CoRR, 2019

Last-Mile Scheduling Under Uncertainty.

Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

How Could Polyhedral Theory Harness Deep Learning?

Thiago Serra, Christian Tjandraatmadja, Srikumar Ramalingam

CoRR, 2018

Bounding and Counting Linear Regions of Deep Neural Networks.

Thiago Serra, Christian Tjandraatmadja, Srikumar Ramalingam

Proceedings of the 35th International Conference on Machine Learning, 2018

The Integrated Last-Mile Transportation Problem (ILMTP).

Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2012

The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach.

Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino

Proceedings of the Principles and Practice of Constraint Programming, 2012