Thiago Serra

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 36

Top Topics

Pruning Algorithm

Transportation Problem

Top Venues

INFORMS J. Comput.

Publications

Jiatai Tong, Junyang Cai, Thiago Serra
Optimization over Trained Neural Networks: Taking a Relaxing Walk. CPAIOR (2) (2024)
Jiatai Tong, Junyang Cai, Thiago Serra
Optimization Over Trained Neural Networks: Taking a Relaxing Walk. CoRR (2024)
Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori
Seamless Multimodal Transportation Scheduling. INFORMS J. Comput. 36 (2) (2024)
Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu, Shandian Zhe, Thiago Serra
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions. CPAIOR (2023)
Alexandre M. Florio, Pedro Martins, Maximilian Schiffer, Thiago Serra, Thibaut Vidal
Optimal Decision Diagrams for Classification. AAAI (2023)
Fabian Badilla, Marcos Goycoolea, Gonzalo Muñoz, Thiago Serra
Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks. CoRR (2023)
Joey Huchette, Gonzalo Muñoz, Thiago Serra, Calvin Tsay
When Deep Learning Meets Polyhedral Theory: A Survey. CoRR (2023)
Junyang Cai, Khai-Nguyen Nguyen, Nishant Shrestha, Aidan Good, Ruisen Tu, Xin Yu, Shandian Zhe, Thiago Serra
Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions. CoRR (2023)
Xin Yu, Thiago Serra, Srikumar Ramalingam, Shandian Zhe
The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks. CoRR (2022)
Aidan Good, Jiaqi Lin, Hannah Sieg, Mikey Ferguson, Xin Yu, Shandian Zhe, Jerzy Wieczorek, Thiago Serra
Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithm. CoRR (2022)
Carles Roger Riera Molina, Camilo Rey, Thiago Serra, Eloi Puertas, Oriol Pujol
Training Thinner and Deeper Neural Networks: Jumpstart Regularization. CPAIOR (2022)
Aidan Good, Jiaqi Lin, Xin Yu, Hannah Sieg, Mikey Ferguson, Shandian Zhe, Jerzy Wieczorek, Thiago Serra
Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithm. NeurIPS (2022)
Carles R. Riera, Camilo Rey, Thiago Serra, Eloi Puertas, Oriol Pujol
Training Thinner and Deeper Neural Networks: Jumpstart Regularization. CoRR (2022)
Xin Yu, Thiago Serra, Srikumar Ramalingam, Shandian Zhe
The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks. ICML (2022)
Alexandre M. Florio, Pedro Martins, Maximilian Schiffer, Thiago Serra, Thibaut Vidal
Optimal Decision Diagrams for Classification. CoRR (2022)
Thiago Serra, Teng Huang, Arvind U. Raghunathan, David Bergman
Template-Based Minor Embedding for Adiabatic Quantum Optimization. INFORMS J. Comput. 34 (1) (2022)
Thiago Serra, Xin Yu, Abhinav Kumar, Srikumar Ramalingam
Scaling Up Exact Neural Network Compression by ReLU Stability. NeurIPS (2021)
Thiago Serra, Abhinav Kumar, Srikumar Ramalingam
Scaling Up Exact Neural Network Compression by ReLU Stability. CoRR (2021)
Egon Balas, Thiago Serra
When Lift-and-Project Cuts Are Different. INFORMS J. Comput. 32 (3) (2020)
Thiago Serra
Reformulating the disjunctive cut generating linear program. Ann. Oper. Res. 295 (1) (2020)
Thiago Serra, John N. Hooker
Compact representation of near-optimal integer programming solutions. Math. Program. 182 (1) (2020)
Thiago Serra, Srikumar Ramalingam
Empirical Bounds on Linear Regions of Deep Rectifier Networks. ISAIM (2020)
Thiago Serra
Enumerative Branching with Less Repetition. CPAIOR (2020)
Thiago Serra, Srikumar Ramalingam
Empirical Bounds on Linear Regions of Deep Rectifier Networks. AAAI (2020)
Thiago Serra, Abhinav Kumar, Srikumar Ramalingam
Lossless Compression of Deep Neural Networks. CoRR (2020)
Thiago Serra, Abhinav Kumar, Srikumar Ramalingam
Lossless Compression of Deep Neural Networks. CPAIOR (2020)
Thiago Serra, Ryan J. O'Neil
MIPLIBing: Seamless Benchmarking of Mathematical Optimization Problems and Metadata Extensions. Oper. Res. Forum 1 (3) (2020)
Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori
Last-Mile Scheduling Under Uncertainty. CPAIOR (2019)
Thiago Serra, Teng Huang, Arvind U. Raghunathan, David Bergman
Template-based Minor Embedding for Adiabatic Quantum Optimization. CoRR (2019)
Abhinav Kumar, Thiago Serra, Srikumar Ramalingam
Equivalent and Approximate Transformations of Deep Neural Networks. CoRR (2019)
Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori
The Integrated Last-Mile Transportation Problem (ILMTP). ICAPS (2018)
Thiago Serra, Christian Tjandraatmadja, Srikumar Ramalingam
Bounding and Counting Linear Regions of Deep Neural Networks. ICML (2018)
Thiago Serra, Srikumar Ramalingam
Empirical Bounds on Linear Regions of Deep Rectifier Networks. CoRR (2018)
Egon Balas, Thiago Serra
When Lift-and-Project Cuts are Different. CoRR (2018)
Thiago Serra, Christian Tjandraatmadja, Srikumar Ramalingam
How Could Polyhedral Theory Harness Deep Learning? CoRR (2018)
Thiago Serra, Christian Tjandraatmadja, Srikumar Ramalingam
Bounding and Counting Linear Regions of Deep Neural Networks. CoRR (2017)
Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach. CP (2012)