Thiago Serra

Education

• PhD, Operations Research, Carnegie Mellon University, 2018.
• MS, Operations Research, Carnegie Mellon University, 2015.
• MS, Computer Science, University of Sao Paulo, 2012.
• BS, Computer Engineering, University of Campinas, 2008.

Recent and Representative Publications

Serra, T., and 2 other authors (2024) Optimization Over Trained Neural Networks: Taking a Relaxing Walk. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research,

Serra, T., and 4 other authors (2024) Seamless Multimodal Transportation Scheduling. INFORMS Journal on Computing. 36(2), 336-358. https://doi.org/10.1287/ijoc.2019.0163

Serra, T., and 4 other authors (2023) Optimal Decision Diagrams for Classification. In Proceedings of the AAAI Conference on Artificial Intelligence, 37(6), 7577-7585. https://doi.org/10.1609/aaai.v37i6.25920

Serra, T., and 7 other authors (2023) Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 200-218. Springer Nature Switzerland.

Serra, T., and 7 other authors (2022) Recall Distortion in Neural Network Pruning and the Undecayed Pruning Algorithm. In Advances in Neural Information Processing Systems, 35, 32762-32776. https://proceedings.neurips.cc/paper_files/paper/2022/file/d3303e0ca98a… Curran Associates, Inc..

Serra, T., and 3 other authors (2022) The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks. In Proceedings of the 39th International Conference on Machine Learning, 162, 25668-25683. https://proceedings.mlr.press/v162/yu22f.html PMLR.

Serra, T., and 4 other authors (2022) Training Thinner and Deeper Neural Networks: Jumpstart Regularization. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 13292, 345-357. https://doi.org/10.1007/978-3-031-08011-1_23 Springer International Publishing.

Serra, T., and 2 other authors (2022) Scaling Up Exact Neural Network Compression by ReLU Stability. In Advances in Neural Information Processing Systems, 34, Curran Associates, Inc..

Serra, T., and 3 other authors (2022) Template-based Minor Embedding for Adiabatic Quantum Optimization. INFORMS Journal on Computing. 34(1), 427-439. https://doi.org/10.1287/ijoc.2021.1065

and 4 other authors (2020) Reformulating the disjunctive cut generating linear program. Annals of Operations Research. 295(1), 363-384. http://dx.doi.org/10.1007/s10479-020-03709-2

Serra, T., and 1 other author (2020) Compact representation of near-optimal integer programming solutions. Mathematical Programming. 182(1), 199-232. dx.doi.org/10.1007/s10107-019-01390-3

Serra, T., and 1 other author (2020) When Lift-and-Project Cuts are Different. INFORMS Journal on Computing. 32(3), 822-834. https://doi.org/10.1287/ijoc.2019.0943

and 4 other authors (2020) Enumerative Branching with Less Repetition. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 399-416. https://doi.org/10.1007/978-3-030-58942-4_26 Springer International Publishing.

Serra, T., and 2 other authors (2020) Lossless Compression of Deep Neural Networks. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 417-430. https://doi.org/10.1007/978-3-030-58942-4_27 Springer International Publishing.

Serra, T., and 1 other author (2020) MIPLIBing: Seamless Benchmarking of Mathematical Optimization Problems and Metadata Extensions. SN Operations Research Forum. 1(3), 24. doi.org/10.1007/s43069-020-00024-1

Serra, T., and 1 other author (2020) Empirical Bounds on Linear Regions of Deep Rectifier Networks. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, 34(4), 5628-5635. https://doi.org/10.1609/aaai.v34i04.6016 AAAI Press.

Recent Courses Taught

• ANOP 310, Ind Study in ANOP.
• ANOP 203, Intro Prog for Bus Analytics.
• ANOP 242, SQL & Database Management.
• ANOP 370, Prescriptive Analytics.
• ANOP 102, Spreadsheet Modeling.
• ANOP 390, Honors Course in ANOP.
• MGMT 102, Quant Reasoning for Managers.

Awards and Honors

• Gerald L. Thompson Dissertation Award in Management Science, Carnegie Mellon University, (2018).