Thiago Serra

Orcid: 0000-0001-8096-9804

According to our database1, Thiago Serra authored at least 24 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Seamless Multimodal Transportation Scheduling.
INFORMS J. Comput., 2024

Optimization over Trained Neural Networks: Taking a Relaxing Walk.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

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

When Deep Learning Meets Polyhedral Theory: A Survey.
CoRR, 2023

Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

Optimal Decision Diagrams for Classification.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Template-Based Minor Embedding for Adiabatic Quantum Optimization.
INFORMS J. Comput., 2022

Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithm.
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.
Proceedings of the International Conference on Machine Learning, 2022

Training Thinner and Deeper Neural Networks: Jumpstart Regularization.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021
Scaling Up Exact Neural Network Compression by ReLU Stability.
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.
Oper. Res. Forum, 2020

Compact representation of near-optimal integer programming solutions.
Math. Program., 2020

When Lift-and-Project Cuts Are Different.
INFORMS J. Comput., 2020

Reformulating the disjunctive cut generating linear program.
Ann. Oper. Res., 2020

Lossless Compression of Deep Neural Networks.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Enumerative Branching with Less Repetition.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Empirical Bounds on Linear Regions of Deep Rectifier Networks.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Equivalent and Approximate Transformations of Deep Neural Networks.
CoRR, 2019

Last-Mile Scheduling Under Uncertainty.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018
How Could Polyhedral Theory Harness Deep Learning?
CoRR, 2018

Bounding and Counting Linear Regions of Deep Neural Networks.
Proceedings of the 35th International Conference on Machine Learning, 2018

The Integrated Last-Mile Transportation Problem (ILMTP).
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2012
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach.
Proceedings of the Principles and Practice of Constraint Programming, 2012


  Loading...