Paper Citation Record · LEDGER

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification

As of 14 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2607.20474.

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

pith.paper-citation-record.v1
2607.20474 v1

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T13:17:38.747797Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

48 of 48 outbound references displayed

verified exact0
verified fuzzy0
unresolved47
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d5ba56df-e7cd-43e0-b49e-018c5aa1bf85 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:31.634127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c2eb835-3551-4881-b1e2-e0e2be8f82af · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 2

Resolution: parse uncertain; no resolver link, observed 2026-08-02T13:17:31.764569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1de6169-6e6a-46d6-ba18-cab418eaae81 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:31.909952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7c3d69a-07c3-4a94-a00b-a6ea0b5e0b9c · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:32.015601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74b32f6a-7743-462b-befb-4fa43f3519fb · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:32.161705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48f41510-bd90-4d35-97cb-4e9f600eedcb · outbound

This paper cites Newell and P.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Newell and P

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:32.387433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d02852df-4525-4d57-a12d-960d16d831a7 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:32.531795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a895b947-9661-43bc-9283-760b0f4adbba · outbound

This paper cites 2022 , eprint=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification 2022 , eprint=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:32.694971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed7dd56a-dd33-42d0-a4ce-2230ea75183b · outbound

This paper cites Aho and Jeffrey D.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Aho and Jeffrey D

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:32.886789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 403ded95-16f3-4892-b64d-e0454cbe4805 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:33.059502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c348f7f7-9870-46f9-9fdb-035bc155a2fe · outbound

This paper cites Chandra and Dexter C.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Chandra and Dexter C

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:33.271149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f174936-040c-459e-beb8-e363a0a2394f · outbound

This paper cites Scalable training of.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Scalable training of

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:33.407161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b429d75e-8451-460e-9cb1-e5522fd63949 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:33.544922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbbacd50-0b1e-4ff7-9ddf-3ce3f6209a88 · outbound

This paper cites Tetreault , title =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Tetreault , title =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:33.752562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1137142-9f06-43de-8d86-57449d5dbb02 · outbound

This paper cites A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:33.879253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8be7ef0-dc14-4a21-8ec4-87530ced6db0 · outbound

This paper cites Chain-of-Experts: When.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Chain-of-Experts: When

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:34.017584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14140bf5-70a3-47b3-9926-5fdd28f7abb5 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:34.190709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dd4cefd-b429-4240-b11b-5556f438181c · outbound

This paper cites 2024 , howpublished =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification 2024 , howpublished =

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:34.342637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1734d47-bbca-4c02-8e6c-8c3fb0a3f831 · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:34.475733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dd84d75-6724-4383-babd-e67978c10077 · outbound

This paper cites European Journal of Operational Research , volume=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification European Journal of Operational Research , volume=

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:34.688310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e71b1378-1df1-411b-92cd-2468d56d622f · outbound

This paper cites 2009 , publisher=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification 2009 , publisher=

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:34.902271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 389776bf-106e-4924-a480-7408f4a7d188 · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.086256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d6b90c6-1740-4134-afd8-f36db49fbd3a · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.260169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 261184c7-59ef-4ca4-8b90-402b87519138 · outbound

This paper cites Mathematical Programming Computation , volume=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Mathematical Programming Computation , volume=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.425439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1809b2e2-826a-4c6a-84ef-a435ed38bddd · outbound

This paper cites ACM Computing Surveys , year=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification ACM Computing Surveys , year=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.554146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88360262-cd96-4cc0-b736-21cd83359d50 · outbound

This paper cites 2024 , series =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification 2024 , series =

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.680124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1b7b67c-17c5-465c-bda0-352860d15f53 · outbound

This paper cites ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.722898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10c8f9bb-88a4-4e45-8b6e-48ef360172c5 · outbound

This paper cites ICLR , ee =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification ICLR , ee =

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.806396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4f90d13-db8c-4222-a778-c08ffdaac89b · outbound

This paper cites The Twelfth International Conference on Learning Representations , year=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification The Twelfth International Conference on Learning Representations , year=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.909703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce9444a5-e360-4848-be7f-1183a898dd5b · outbound

This paper cites arXiv , url =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification arXiv , url =

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.968397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcb89969-a7d8-4d06-9060-ada3ba76823c · outbound

This paper cites NeurIPS 2022 competition track , pages=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification NeurIPS 2022 competition track , pages=

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:35.987256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff805ecb-926c-4ab1-89f8-3a37c14b7b7c · outbound

This paper cites ICLR , year=.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification ICLR , year=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.082640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33f0a7cf-c81c-4479-b8f5-0b2e63b5b830 · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS) , year =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Advances in Neural Information Processing Systems (NeurIPS) , year =

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.198431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2c05482-71b9-4862-af40-7ac9ffcbe99f · outbound

This paper cites International Conference on Software Maintenance and Evolution (ICSME), Tool Demonstrations , year =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification International Conference on Software Maintenance and Evolution (ICSME), Tool Demonstrations , year =

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.357861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bc8414c-c64f-451f-b506-6f15c9cd79b0 · outbound

This paper cites Validating LLM-Generated Programs with Metamorphic Prompt Testing.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.546350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 699e692b-126d-4d8d-a20b-e353d17eb074 · outbound

This paper cites SIGSOFT FSE Companion , editor =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification SIGSOFT FSE Companion , editor =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.713112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41ce1da9-a262-41df-bcf8-ff5ef98b09fc · outbound

This paper cites IEEE Transactions on Software Engineering , volume =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification IEEE Transactions on Software Engineering , volume =

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.849744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b38615c-669e-4e12-9ca6-3445a211b0ee · outbound

This paper cites IEEE Computer , volume =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification IEEE Computer , volume =

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:37.018250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 881e5871-cbe2-4dbb-bf84-8fe7d5f81e94 · outbound

This paper cites IEEE Transactions on Software Engineering , volume =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification IEEE Transactions on Software Engineering , volume =

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:37.220452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b18b501a-4596-4cc9-9b89-83f2c026a70b · outbound

This paper cites Advances in Computers , volume =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Advances in Computers , volume =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:37.375016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85a99915-a364-42e0-bfd8-fe116741645c · outbound

This paper cites Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:37.570213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 155b8680-05d3-4d7c-8ef1-cc5f9489df6e · outbound

This paper cites an unresolved cited work.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:37.781157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 293648b7-26b8-429e-9041-e8830c25bc5d · outbound

This paper cites Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:37.911903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d440859-cf32-4819-86fc-1c00f53183da · outbound

This paper cites , biburl =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification , biburl =

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:38.084565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25b37bf0-59ea-4df3-8520-47c769a8d9d5 · outbound

This paper cites Position:.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Position:

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:38.295539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f00e6d5-80f7-477e-bd9a-a641484c3bb0 · outbound

This paper cites Proceedings of the 37th International Conference on Neural Information Processing Systems , articleno =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Proceedings of the 37th International Conference on Neural Information Processing Systems , articleno =

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:38.454192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7381b3a6-11b2-42fa-b420-42213cf540e7 · outbound

This paper cites and Staats, Charles and Jamnik, Mateja and Szegedy, Christian , biburl =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification and Staats, Charles and Jamnik, Mateja and Szegedy, Christian , biburl =

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:38.608193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e2a3ec9-4221-4cb9-bd13-fab2f23341aa · outbound

This paper cites ICLR , ee =.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification ICLR , ee =

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:38.747797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.