Pith. sign in

Paper Citation Record · LEDGER

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks

As of 21 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 1 inbound Pith citation observation for arXiv:2504.14356.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2504.14356 v1

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:54:07.087929Z

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-13T17:51:29.832500Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-13T17:53:05.011955Z

Reference resolution

19 of 19 outbound references displayed

  • verified exact0
  • verified fuzzy15
  • unresolved4
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7c9cebfc-27e7-4a8f-97b1-e2a6fd983908 · outbound

This paper cites Nature Machine Int elligence 1(5), 206–215 (2019).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Nature Machine Int elligence 1(5), 206–215 (2019)

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.320096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.019340Z digest=sha256:20cea92bfaa9ccb63dc1c96d26f835dfe17c91d7c3f934e27d4d72944069f005

Observation 17ff5ef4-738f-4d21-9fb8-a57f314bbed4 · outbound

This paper cites Communication s of the ACM 61(10), 36–43 (2018).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Communication s of the ACM 61(10), 36–43 (2018)

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.309240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.024007Z digest=sha256:25b08c2669b2a2c0fd6efca1906b2e7f60e251433ef8967ef240747b3473fc26

Observation bc3f2b04-5f73-4288-b641-b9ba0a80599f · outbound

This paper cites Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-16T11:54:07.028134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:54:07.028134Z digest=sha256:7e8222bf99d576690a3483f507b8117853d3b751f5eee5490e57068ccf0bb2be

Observation 648bcb4a-d4a3-4ca3-8f74-8eeddd4bb37f · outbound

This paper cites In: Proceedings of the 22nd ACM SIGK DD Inter- national Conference on Knowledge Discovery and Data Mining, pp.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks In: Proceedings of the 22nd ACM SIGK DD Inter- national Conference on Knowledge Discovery and Data Mining, pp

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.298448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.032295Z digest=sha256:0ca7fec5a9f872ed9ab3d1945a556cae566660f90d5db42477e72c63d025e0fa

Observation 1c627432-f079-439a-9c15-69ccb553b8f1 · outbound

This paper cites Advances in Neural Information Processing Systems 30 (2017).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Advances in Neural Information Processing Systems 30 (2017)

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.286874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.036557Z digest=sha256:118753511879feed18fc5110519a39c90e6de71baad7104b58c5e5db6cb55236

Observation 2907f48a-cd53-4628-8856-9c96cfd1bd8b · outbound

This paper cites Knowled ge-based Systems 8(6), 373–389 (1995).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Knowled ge-based Systems 8(6), 373–389 (1995)

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.275674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.040666Z digest=sha256:9c22014cb6d42902ab35aa83513f217969b436ae70b51c9b5a81b6b726f1650b

Observation 8d7ae7d0-adee-435d-b6d1-fa46d9eaae64 · outbound

This paper cites FLAP 6(4), 611–632 (2019).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks FLAP 6(4), 611–632 (2019)

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.264279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.044880Z digest=sha256:8f47e638ee13b143f4cac15d1a33cfd99cb27e449703d9bb75537062d85b88ba

Observation 7dfe46cc-98ac-485b-a84a-50313d18f4c9 · outbound

This paper cites Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-16T11:54:07.048316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:54:07.048316Z digest=sha256:39e7f671845728d7c3d5edd1258235b72516b39cd3e5a712f9806df8b87187ad

Observation 283825c3-ddbf-4d7b-9cc4-1fbcdf724107 · outbound

This paper cites In: Adva nces in Neural Information Processing Systems, pp.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks In: Adva nces in Neural Information Processing Systems, pp

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.251825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.052021Z digest=sha256:65f18dfdc33b1999df2e1b6418d76cc176a7ffb91e19f26fd4c3e5af14a46803

Observation 471b8289-061b-4271-978b-fc92cd28b0db · outbound

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

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Evaluating Robustness of Neural Networks with Mixed Integer Programming

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-16T11:54:07.055581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:54:07.055581Z digest=sha256:9e3ae8c8d0ccf6128a83142d001c1bfb4c1a8e23e51b2d6693148c4fbe824ba9

Observation 781240d6-0a13-4496-89a0-0aa384314a72 · outbound

This paper cites In: International Confer ence on Machine Learning, pp.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks In: International Confer ence on Machine Learning, pp

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.239866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.060103Z digest=sha256:9fa1826f1b05a6456a2b3071e95dbd83eaf1f1d1727a012376f23549eb074921

Observation 6ad42eb6-9573-4f32-9206-01f2fd92c8d9 · outbound

This paper cites Mathemat- ical Programming 183(1), 3–39 (2020) 19.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Mathemat- ical Programming 183(1), 3–39 (2020) 19

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.227567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.063648Z digest=sha256:74dd90aa7bce3ab2e998a14f2b9ee0ccdea515b5bb019f55bff5cafbdc40ec8c

Observation 67e65e3a-c57e-4498-9fdf-16040064c482 · outbound

This paper cites Solving Mixed Integer Programs Using Neural Networks.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Solving Mixed Integer Programs Using Neural Networks

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-16T11:54:07.067165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:54:07.067165Z digest=sha256:f4e53bb3041832c61bd945ff98aa349870096de722932abc8144bc5168804e26

Observation d0c58dde-c8a3-40f7-81d2-c043b3371273 · outbound

This paper cites Chemical Engineering Research and De sign 88(1), 55– 60 (2010).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Chemical Engineering Research and De sign 88(1), 55– 60 (2010)

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.216253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.070755Z digest=sha256:5cbfaa628d31e255e9579c29df98c21620ed6d8c5503640c797e70896fe1dba2

Observation 50058438-fa26-477b-8bdf-645294779dfc · outbound

This paper cites Plos one 18(2), 0261029 (2023).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Plos one 18(2), 0261029 (2023)

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.204349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.074023Z digest=sha256:c6fa4802e62fc1398cdf9c3aec9a5a6b6d33700d12b06a160af0f5f1141e4ed2

Observation 931957d0-0a88-41d4-a595-fedfc2aaede3 · outbound

This paper cites IEEE Transactions o n Automatic Control 68(12), 7514–7529 (2023).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks IEEE Transactions o n Automatic Control 68(12), 7514–7529 (2023)

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.193682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.077805Z digest=sha256:33ba4a07e4457ac438d82607dc94f20cef4ca71038bc2aebea3425ff88cbda2c

Observation e6e25f69-9f12-42bd-972f-4e514bea4d0b · outbound

This paper cites Constraints 23, 296–309 (2018).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks Constraints 23, 296–309 (2018)

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.182108Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.081252Z digest=sha256:ec77e095d5222a5188d4e481ae0fbd35f1103e2fdb4dec77d407affc5cc35b9d

Observation 9c1773c1-021d-4847-951b-e900ba02d050 · outbound

This paper cites In: International Conference on Artificia l Intelligence and Statistics (AISTATS) (2022).

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks In: International Conference on Artificia l Intelligence and Statistics (AISTATS) (2022)

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.171554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.084611Z digest=sha256:806c93e9a1f5482bf61dff1c8e80dbbeb54d9a4bf5fea28793a007eb25717a07

Observation 87a999a6-7b2e-46b2-93e1-fb028fb78c03 · outbound

This paper cites In: Pr oceedings of the AAAI Conference on Artificial Intelligence, vol.

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks In: Pr oceedings of the AAAI Conference on Artificial Intelligence, vol

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:54:07.159370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T11:54:07.087929Z digest=sha256:5b25b274669c4e55bea2dfb6ffc749dae7d53aa7cf97ebcac2853013737bcf01

Pith citing papers

Observation 17eb4842-3047-4b35-a2b1-4bd935abf28f · inbound

Functional Similarity Metric for Neural Networks: Overcoming Parametric Ambiguity via Activation Region Analysis cites this paper.

Functional Similarity Metric for Neural Networks: Overcoming Parametric Ambiguity via Activation Region Analysis Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks

Reference 3

Resolution
verified exact
arxiv_id, observed 2026-05-13T17:53:05.014666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-05-13T17:51:29.832500Z digest=sha256:15f6c28ecc24e69a490484bb3daa3824b4f3ac65d6e5c13445608e627a85397f