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

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

Raghunathan, A., Bergman, D., Hooker, J., Serra, T., Kobori, S., (2024) Seamless Multimodal Transportation Scheduling. INFORMS Journal on Computing. 36(2), 336-358. https://doi.org/10.1287/ijoc.2019.0163

Cai, J., Nguyen, K., Shrestha, N., Good, A., Tu, R., Yu, X., Zhe, S., Serra, T., (2023) Getting Away with More Network Pruning: From Sparsity to Geometry and Linear Regions. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research,

Florio, A., Martins, P., Schiffer, M., Serra, T., Vidal, T., (2023) Optimal Decision Diagrams for Classification. In Proceedings of the AAAI Conference on Artificial Intelligence,

Good, A., Lin, J., Yu, X., Sieg, H., Fergurson, M., Zhe, S., Wieczorek, J., Serra, T., (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..

Yu, X., Serra, T., Ramalingam, S., Zhe, S., (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.

Riera, C., Rey, C., Serra, T., Puertas, E., Pujol, O., (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., Kumar, A., Ramalingam, S., (2022) Scaling Up Exact Neural Network Compression by ReLU Stability. In Advances in Neural Information Processing Systems, 34, Curran Associates, Inc..

Serra, T., Huang, T., Raghunathan, A., Bergman, D., (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

Serra, T., (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., Hooker, N. J., (2020) Compact representation of near-optimal integer programming solutions. Mathematical Programming. 182(1), 199-232. dx.doi.org/10.1007/s10107-019-01390-3

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

Serra, T., (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., Kumar, A., Ramalingam, S., (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., O'Neil, J. R., (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., Ramalingam, S., (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).