An analysis of optimization problems involving ReLU neural networks | Paper Citation Record

Observation d7ee03b6-c639-4569-b5b6-8808a45cd4c8 · outbound

This paper cites Mathematical Programming 183(1):3--39, doi:10.1007/s10107-020-01474-5.

An analysis of optimization problems involving ReLU neural networks Mathematical Programming 183(1):3--39, doi:10.1007/s10107-020-01474-5

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.371514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9547ce80-bd71-4412-9fbb-46de56a89b5e · outbound

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

An analysis of optimization problems involving ReLU neural networks Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.376182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae25c705-055a-4a6b-a45d-ec1f6f32c41d · outbound

This paper cites ACM Trans Math Softw 22(4):469--483, doi:10.1145/235815.235821, ://doi.org/10.1145/235815.235821.

An analysis of optimization problems involving ReLU neural networks ACM Trans Math Softw 22(4):469--483, doi:10.1145/235815.235821, ://doi.org/10.1145/235815.235821

Reference 3

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T10:16:07.779031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f3d39721-b565-4e22-aced-909afa5fedbd · outbound

This paper cites INFORMS J on Computing 34(4):2229--2248, doi:10.1287/ijoc.2022.1181.

An analysis of optimization problems involving ReLU neural networks INFORMS J on Computing 34(4):2229--2248, doi:10.1287/ijoc.2022.1181

Reference 4

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T10:16:06.996165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 781eeea0-0be6-4421-a779-4d2ca6e7e30a · outbound

This paper cites Management Science 62(5):1511--1531, doi:10.1287/mnsc.2015.2363.

An analysis of optimization problems involving ReLU neural networks Management Science 62(5):1511--1531, doi:10.1287/mnsc.2015.2363

Reference 5

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T10:16:06.010058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 304a4d22-7942-4bf5-9122-2022cf69427f · outbound

This paper cites Springer Science & Business Media.

An analysis of optimization problems involving ReLU neural networks Springer Science & Business Media

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:08.020234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c440f60f-3df2-49e8-a7e7-e133b53bf49a · outbound

This paper cites Operations Research Letters 57:107194, doi:10.1016/j.orl.2024.107194, ://www.sciencedirect.com/science/article/pii/S0167637724001305.

An analysis of optimization problems involving ReLU neural networks Operations Research Letters 57:107194, doi:10.1016/j.orl.2024.107194, ://www.sciencedirect.com/science/article/pii/S0167637724001305

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.397020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b6143d7-2432-47dc-9e45-0cd9c86b1e1b · outbound

This paper cites Physics Reports 1044:1--68.

An analysis of optimization problems involving ReLU neural networks Physics Reports 1044:1--68

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:08.008761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 09cec4b5-2801-4f53-b402-00ea2a9e264e · outbound

This paper cites Journal of Machine Learning Research 23(349):1--8.

An analysis of optimization problems involving ReLU neural networks Journal of Machine Learning Research 23(349):1--8

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.997207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 845f4bba-224b-44c3-b525-e0a2c69470c2 · outbound

This paper cites (2015) Keras.

An analysis of optimization problems involving ReLU neural networks (2015) Keras

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.986146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 01bcb40c-cd07-4fcd-be38-af6677a74e34 · outbound

This paper cites Mathematics of Control, Signals and Systems 2(4):303--314, doi:10.1007/BF02551274.

An analysis of optimization problems involving ReLU neural networks Mathematics of Control, Signals and Systems 2(4):303--314, doi:10.1007/BF02551274

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.411228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17e9ae9c-ce91-48a2-8a54-3cea2389cfb2 · outbound

This paper cites Chemical Engineering & Technology 29(4):449--453, doi:10.1002/ceat.200500310.

An analysis of optimization problems involving ReLU neural networks Chemical Engineering & Technology 29(4):449--453, doi:10.1002/ceat.200500310

Reference 12

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.827254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 21a1e2a5-bad4-4ea7-b013-a49e914f4e03 · outbound

This paper cites Constraints 23(3):296--309, doi:10.1007/s10601-018-9285-6.

An analysis of optimization problems involving ReLU neural networks Constraints 23(3):296--309, doi:10.1007/s10601-018-9285-6

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.418595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74da9357-859a-4a37-9854-67c5ef517a7f · outbound

This paper cites SIAM Journal on Applied Algebra and Geometry 6(2):216--242, doi:10.1137/20M1368902, ://doi.org/10.1137/20M1368902, https://doi.org/10.1137/20M1368902.

An analysis of optimization problems involving ReLU neural networks SIAM Journal on Applied Algebra and Geometry 6(2):216--242, doi:10.1137/20M1368902, ://doi.org/10.1137/20M1368902, https://doi.org/10.1137/20M1368902

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.422324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 524922a4-c0ff-4156-9ba3-f266fa2c4dd3 · outbound

This paper cites Computers & Chemical Engineering 131:106580, doi:10.1016/j.compchemeng.2019.106580.

An analysis of optimization problems involving ReLU neural networks Computers & Chemical Engineering 131:106580, doi:10.1016/j.compchemeng.2019.106580

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.425725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18810dfd-ea17-44a7-93a5-7c2fb4285ca2 · outbound

This paper cites ://www.gurobi.com.

An analysis of optimization problems involving ReLU neural networks ://www.gurobi.com

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.429370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b51fab74-ba94-4fd1-ac5c-5bd905ceadec · outbound

This paper cites In: Proceedings of the 28th International Conference on Neural Information Processing Systems - Volume 1, MIT Press, Cambridge, MA, USA, NIPS '15, pp 1135--1143.

An analysis of optimization problems involving ReLU neural networks In: Proceedings of the 28th International Conference on Neural Information Processing Systems - Volume 1, MIT Press, Cambridge, MA, USA, NIPS '15, pp 1135--1143

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.969143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4e1b1a7c-778b-4ba5-a8ec-6ea8f04f3bfa · outbound

This paper cites Deep Speech: Scaling up end-to-end speech recognition.

An analysis of optimization problems involving ReLU neural networks Deep Speech: Scaling up end-to-end speech recognition

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.435642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d977f0e4-b55e-44eb-bf50-b273d104ba91 · outbound

This paper cites Mathematical Programming Computation 3(3):219--260.

An analysis of optimization problems involving ReLU neural networks Mathematical Programming Computation 3(3):219--260

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.958046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a1594f3d-0054-4294-882c-c6d02320bb5c · outbound

This paper cites In: Proceedings of the 31st International Conference on Neural Information Processing Systems , Curran Associates Inc., Red Hook, NY, USA, NIPS '17, pp 2263--2273.

An analysis of optimization problems involving ReLU neural networks In: Proceedings of the 31st International Conference on Neural Information Processing Systems , Curran Associates Inc., Red Hook, NY, USA, NIPS '17, pp 2263--2273

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.946277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 046295f5-d4a8-47d3-811e-63c290a0c911 · outbound

This paper cites Neural Networks 4(2):251--257, doi:10.1016/0893-6080(91)90009-T.

An analysis of optimization problems involving ReLU neural networks Neural Networks 4(2):251--257, doi:10.1016/0893-6080(91)90009-T

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.446489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4351aa3d-1cc2-4784-8db4-3cc9f6247a18 · outbound

This paper cites When Deep Learning Meets Polyhedral Theory: A Survey.

An analysis of optimization problems involving ReLU neural networks When Deep Learning Meets Polyhedral Theory: A Survey

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.449979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e551ac8-ede1-4f7a-8751-046b1f4e522c · outbound

This paper cites W ater R esources M anagement 28(1):41--63, doi:10.1007/s11269-013-0468-z.

An analysis of optimization problems involving ReLU neural networks W ater R esources M anagement 28(1):41--63, doi:10.1007/s11269-013-0468-z

Reference 23

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.772016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 011828e3-a09f-4eb0-bc9d-ffef5842c61f · outbound

This paper cites Adam: A Method for Stochastic Optimization.

An analysis of optimization problems involving ReLU neural networks Adam: A Method for Stochastic Optimization

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.457185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b37dcd6-d2e6-467c-bdfc-e7d244b619f7 · outbound

This paper cites In: ESCAPE34 , ://www.aidic.it/BOA/24/BOA2401.pdf.

An analysis of optimization problems involving ReLU neural networks In: ESCAPE34 , ://www.aidic.it/BOA/24/BOA2401.pdf

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.932086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8c34fecc-21ed-42f3-9b49-75d8d63f1f63 · outbound

This paper cites In: Pereira F, Burges C, Bottou L, Weinberger K (eds) Advances in Neural Information Processing Systems, Curran Associates, Inc., vol 25.

An analysis of optimization problems involving ReLU neural networks In: Pereira F, Burges C, Bottou L, Weinberger K (eds) Advances in Neural Information Processing Systems, Curran Associates, Inc., vol 25

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.919863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fe37f5a7-d1c4-4d66-8f51-99d95959546d · outbound

This paper cites P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints.

An analysis of optimization problems involving ReLU neural networks P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints

Reference 27

Resolution: metadata mismatch; local_arxiv, observed 2026-08-09T10:15:41.759709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0fb217f6-02bc-444e-8995-4ed7365a0761 · outbound

This paper cites Equivalent and Approximate Transformations of Deep Neural Networks.

An analysis of optimization problems involving ReLU neural networks Equivalent and Approximate Transformations of Deep Neural Networks

Reference 28

Resolution: metadata mismatch; local_arxiv, observed 2026-08-09T10:15:41.743924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6a58cb0d-5ecd-4e7f-8ab2-cc2b91cf3c53 · outbound

This paper cites arXiv preprint arXiv:240209092.

An analysis of optimization problems involving ReLU neural networks arXiv preprint arXiv:240209092

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.908118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a2bc2c5b-bb13-4ff6-832f-5de2e0cb06fd · outbound

This paper cites https://doi.org/10.5281/zenodo.5601907, doi:https://doi.org/10.5281/zenodo.5601907, ://github.com/ChemEngAI/ReLU_ANN_MILP.

An analysis of optimization problems involving ReLU neural networks https://doi.org/10.5281/zenodo.5601907, doi:https://doi.org/10.5281/zenodo.5601907, ://github.com/ChemEngAI/ReLU_ANN_MILP

Reference 30

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.727262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a8a82c6f-6d86-4532-bd7b-ea7114beec3f · outbound

This paper cites Computers & Chemical Engineering 179:108411, doi:10.1016/j.compchemeng.2023.108411.

An analysis of optimization problems involving ReLU neural networks Computers & Chemical Engineering 179:108411, doi:10.1016/j.compchemeng.2023.108411

Reference 31

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T10:15:42.418998Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 644d7668-7de0-4fc2-b4cc-c44056673138 · outbound

This paper cites In: Proceedings of the 28th International Conference on Neural Information Processing Systems - Volume 2, MIT Press, Cambridge, MA, USA, NIPS '14, vol 2, pp 2924--2932.

An analysis of optimization problems involving ReLU neural networks In: Proceedings of the 28th International Conference on Neural Information Processing Systems - Volume 2, MIT Press, Cambridge, MA, USA, NIPS '14, vol 2, pp 2924--2932

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.896682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7822d3d5-e5d8-4d7f-ad3a-4200621528ca · outbound

This paper cites Chemical Engineering Research and Design 84(8):635--644, doi:10.1205/cherd.05096.

An analysis of optimization problems involving ReLU neural networks Chemical Engineering Research and Design 84(8):635--644, doi:10.1205/cherd.05096

Reference 33

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.715999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b9e5dd0f-e2d7-4ce4-b2bc-0a43d7b325ad · outbound

This paper cites an unresolved cited work.

An analysis of optimization problems involving ReLU neural networks Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-09T10:16:07.884841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 244efb99-1304-40f6-808f-a58597846734 · outbound

This paper cites In: Proceedings of the 34th International Conference on Machine Learning , PMLR, pp 2847--2854.

An analysis of optimization problems involving ReLU neural networks In: Proceedings of the 34th International Conference on Machine Learning , PMLR, pp 2847--2854

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.873423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9a91babb-24a8-419d-a47c-ab928ca66e70 · outbound

This paper cites Journal of Global Optimization 81(1):109--152, doi:10.1007/s10898-020-00949-1.

An analysis of optimization problems involving ReLU neural networks Journal of Global Optimization 81(1):109--152, doi:10.1007/s10898-020-00949-1

Reference 36

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.703437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 432ddfe3-987c-49c5-83b1-687a1a71b431 · outbound

This paper cites Chemie Ingenieur Technik 93(12):2029--2039, doi:10.1002/cite.202100083.

An analysis of optimization problems involving ReLU neural networks Chemie Ingenieur Technik 93(12):2029--2039, doi:10.1002/cite.202100083

Reference 37

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.692158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bb7d80d8-80db-4e07-83be-a9cd6b8aa3f2 · outbound

This paper cites Journal of Optimization Theory and Applications 180(3):925--948, doi:10.1007/s10957-018-1396-0.

An analysis of optimization problems involving ReLU neural networks Journal of Optimization Theory and Applications 180(3):925--948, doi:10.1007/s10957-018-1396-0

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.508862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5e99f22-f708-4cc6-a1ff-e2395ef8bbe2 · outbound

This paper cites an unresolved cited work.

An analysis of optimization problems involving ReLU neural networks Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.673843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4d9f92c8-b98e-4f17-807b-0dd62e6bfa79 · outbound

This paper cites In: ICASSP 2020 - 2020 IEEE International Conference on Acoustics , Speech and Signal Processing ( ICASSP ), pp 4192--4196, doi:10.1109/ICASSP40776.2020.9053540.

An analysis of optimization problems involving ReLU neural networks In: ICASSP 2020 - 2020 IEEE International Conference on Acoustics , Speech and Signal Processing ( ICASSP ), pp 4192--4196, doi:10.1109/ICASSP40776.2020.9053540

Reference 40

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T10:15:42.200941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b1dff55a-2eb8-4dae-ae0f-77dec10b8f07 · outbound

This paper cites Journal of Machine Learning Research 15(56):1929--1958, ://jmlr.org/papers/v15/srivastava14a.html.

An analysis of optimization problems involving ReLU neural networks Journal of Machine Learning Research 15(56):1929--1958, ://jmlr.org/papers/v15/srivastava14a.html

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.861913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 60e4d4c5-1e0f-404c-97ac-651bbca9a71a · outbound

This paper cites an unresolved cited work.

An analysis of optimization problems involving ReLU neural networks Unresolved cited work

Reference 42

Resolution: verified exact; doi, observed 2026-08-09T10:15:41.662234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 060503a3-9247-474b-bd13-928279eac206 · outbound

This paper cites Journal of the Royal Statistical Society Series B (Methodological) 58(1):267--288, 2346178.

An analysis of optimization problems involving ReLU neural networks Journal of the Royal Statistical Society Series B (Methodological) 58(1):267--288, 2346178

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.850429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 61cad267-5f00-4f60-8bdc-405531bd2dca · outbound

This paper cites Evaluating Robustness of Neural Networks with Mixed Integer Programming.

An analysis of optimization problems involving ReLU neural networks Evaluating Robustness of Neural Networks with Mixed Integer Programming

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.530285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cbdd6fe-6a27-47b9-99e0-dfc032e2224d · outbound

This paper cites an unresolved cited work.

An analysis of optimization problems involving ReLU neural networks Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.533581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c33dc32c-603a-4a05-9cc6-e42ab34cb963 · outbound

This paper cites Partition-based formulations for mixed-integer optimization of trained ReLU neural networks.

An analysis of optimization problems involving ReLU neural networks Partition-based formulations for mixed-integer optimization of trained ReLU neural networks

Reference 46

Resolution: metadata mismatch; local_arxiv, observed 2026-08-09T10:15:41.632349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6662fec9-46e3-44ef-a5ee-15ea58171199 · outbound

This paper cites PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs.

An analysis of optimization problems involving ReLU neural networks PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs

Reference 47

Resolution: metadata mismatch; local_arxiv, observed 2026-08-09T10:15:41.615496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 158d770a-80a4-4251-950d-fab2eb8129ba · outbound

This paper cites Nature Methods 17:261--272, doi:10.1038/s41592-019-0686-2.

An analysis of optimization problems involving ReLU neural networks Nature Methods 17:261--272, doi:10.1038/s41592-019-0686-2

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.544659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 207300dc-e99d-495e-965c-49a2bcc95ca4 · outbound

This paper cites Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability.

An analysis of optimization problems involving ReLU neural networks Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability

Reference 49

Resolution: verified exact; local_arxiv, observed 2026-08-09T10:15:41.994038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9a550ca3-af24-4b00-983f-c612e90b3b21 · outbound

This paper cites In: 8th International Conference on Learning Representations, ://iclr.cc/virtual_2020/poster_SkeFl1HKwr.html.

An analysis of optimization problems involving ReLU neural networks In: 8th International Conference on Learning Representations, ://iclr.cc/virtual_2020/poster_SkeFl1HKwr.html

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T10:16:07.830211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0ed642ca-0804-40bc-8c34-f1528575631b · outbound

This paper cites , " * write output.state after.block = add.period write newline.

An analysis of optimization problems involving ReLU neural networks , " * write output.state after.block = add.period write newline

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.555419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3de39a20-c80b-43f4-ba3a-1513f163e673 · outbound

This paper cites write newline.

An analysis of optimization problems involving ReLU neural networks write newline

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.559902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c482dbd-55eb-4383-be64-4bf8f926dd29 · outbound

This paper cites , " * write output.state after.block = add.period write newline.

An analysis of optimization problems involving ReLU neural networks , " * write output.state after.block = add.period write newline

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.564111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d008b351-eceb-42e9-a2e8-bb64c6eee0cd · outbound

This paper cites write newline.

An analysis of optimization problems involving ReLU neural networks write newline

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.567686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cde9ab1f-70c3-47d6-a092-2d9eebc6b967 · outbound

This paper cites , " * write output.state after.block = add.period write newline.

An analysis of optimization problems involving ReLU neural networks , " * write output.state after.block = add.period write newline

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.571665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96f489df-25b3-46c5-8dfa-152015e6d426 · outbound

This paper cites write newline.

An analysis of optimization problems involving ReLU neural networks write newline

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-09T10:15:41.575349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers