{"as_of":"2026-08-15T02:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:176fc9202336816fe3409b87388fec836cfe989c07ee968a22d8baf2f126b8c9","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T13:17:38.747797Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.20474/citation-record","integrity":"/paper/2607.20474/integrity","json":"/paper/2607.20474/citation-record.json","paper":"/paper/2607.20474"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:31.634127Z","title":null,"venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:31.634127Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:34ba031a3613d4755a2f2127a4e3ea0dc28d2ff5aeb8d9e9a1b04492b593f0d3","observation_id":"d5ba56df-e7cd-43e0-b49e-018c5aa1bf85","resolution":{"observed_at":"2026-08-02T13:17:31.634127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:31.764569Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:31.764569Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:8809d3c0c5f4da85ba8cedc2bbc0a2425935ae96de98dcdcd02b24bfce36e4e8","observation_id":"0c2eb835-3551-4881-b1e2-e0e2be8f82af","resolution":{"observed_at":"2026-08-02T13:17:31.764569Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:31.909952Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:31.909952Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:deb0cfc9aabe8589c7e52fba86cc261a91a24bf9bf25285626df86d9153410fb","observation_id":"b1de6169-6e6a-46d6-ba18-cab418eaae81","resolution":{"observed_at":"2026-08-02T13:17:31.909952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:32.015601Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:32.015601Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:ead51b2da4bf7c712c37cb46d8c814699954a84b78a12c1536b438a5c6a5559b","observation_id":"d7c3d69a-07c3-4a94-a00b-a6ea0b5e0b9c","resolution":{"observed_at":"2026-08-02T13:17:32.015601Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:32.161705Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:32.161705Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f8040e2c2b366835d26faa83e07714b733c95483d5a6ceb5a8987479d2ed3bea","observation_id":"74b32f6a-7743-462b-befb-4fa43f3519fb","resolution":{"observed_at":"2026-08-02T13:17:32.161705Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:32.387433Z","title":"Newell and P","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:32.387433Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:42a26eb42305197d659d0f083b8c5c1a377b1ea9818037302d7663967b01a4b7","observation_id":"48f41510-bd90-4d35-97cb-4e9f600eedcb","resolution":{"observed_at":"2026-08-02T13:17:32.387433Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:32.531795Z","title":null,"venue":null,"work_id":null,"year":1959},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:32.531795Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:264eec016823fcf162e768409b902ca0dc83e406ad6819fd302fdd9184ac0802","observation_id":"d02852df-4525-4d57-a12d-960d16d831a7","resolution":{"observed_at":"2026-08-02T13:17:32.531795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:32.694971Z","title":"2022 , eprint=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:32.694971Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:b8c196e79c724d08388f6cc7266ab70f462d7438dda5b1ea3c11fc91d2f2f696","observation_id":"a895b947-9661-43bc-9283-760b0f4adbba","resolution":{"observed_at":"2026-08-02T13:17:32.694971Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:32.886789Z","title":"Aho and Jeffrey D","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:32.886789Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:3b6a789d53da6210543985bc176105acd91f9f6a4500dc3b446aa85679c7008d","observation_id":"ed7dd56a-dd33-42d0-a4ce-2230ea75183b","resolution":{"observed_at":"2026-08-02T13:17:32.886789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:33.059502Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:33.059502Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:72819a07bb8745b8f6055e1d9ac096e0a72067032332a6d3f0b8bf359e2fe2d5","observation_id":"403ded95-16f3-4892-b64d-e0454cbe4805","resolution":{"observed_at":"2026-08-02T13:17:33.059502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:33.271149Z","title":"Chandra and Dexter C","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:33.271149Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f11519e7529ae3c1d0acb70c7d277c87670f407ad95ddf3335615838c80dd337","observation_id":"c348f7f7-9870-46f9-9fdb-035bc155a2fe","resolution":{"observed_at":"2026-08-02T13:17:33.271149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:33.407161Z","title":"Scalable training of","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:33.407161Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:6fc186b7c29d1c5505e761bb83811635591765be2d4182b7e6f9006136bcbe33","observation_id":"1f174936-040c-459e-beb8-e363a0a2394f","resolution":{"observed_at":"2026-08-02T13:17:33.407161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:33.544922Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:33.544922Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:ab41558b19b93f34a9ba3927d8b0b7b5f9e37e635120c9ed5ea2ec6f7f1b315c","observation_id":"b429d75e-8451-460e-9cb1-e5522fd63949","resolution":{"observed_at":"2026-08-02T13:17:33.544922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:33.752562Z","title":"Tetreault , title =","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:33.752562Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:a5c7bad7c904c8bf08dbe7e539928d02cf5ca8b88a026a97b9dc765d117f0b5b","observation_id":"cbbacd50-0b1e-4ff7-9ddf-3ce3f6209a88","resolution":{"observed_at":"2026-08-02T13:17:33.752562Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:33.879253Z","title":"A Framework for Learning Predictive Structures from Multiple Tasks and Unlabeled Data , Volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:33.879253Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f3eaf4fa1e0df695295264b8808ee5df770b146a79d5bbe25e8e1dced8cd5e37","observation_id":"b1137142-9f06-43de-8d86-57449d5dbb02","resolution":{"observed_at":"2026-08-02T13:17:33.879253Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:34.017584Z","title":"Chain-of-Experts: When","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:34.017584Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:bed649fcff1c077bfe35d62ae1eda52c0797284908dfd84b71b1ce88593ae9cc","observation_id":"c8be7ef0-dc14-4a21-8ec4-87530ced6db0","resolution":{"observed_at":"2026-08-02T13:17:34.017584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:34.190709Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:34.190709Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:9164cd9880c0e958e34000efee3f3e449d3876f17da0b823e2cde2dad236acf1","observation_id":"14140bf5-70a3-47b3-9926-5fdd28f7abb5","resolution":{"observed_at":"2026-08-02T13:17:34.190709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:34.342637Z","title":"2024 , howpublished =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:34.342637Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:e95c4479af847f69a2b45dc02580463e0f28c716d114b8d159abe722e1614088","observation_id":"6dd4cefd-b429-4240-b11b-5556f438181c","resolution":{"observed_at":"2026-08-02T13:17:34.342637Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-08-13T15:58:13.809876Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-02T13:17:34.475733Z","title":"arXiv preprint arXiv:2501.12948 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:34.475733Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:6cb03e689daf0510bafba7bd0255e5fb8039ec80955881762b6610d4fb40f11f","observation_id":"b1734d47-bbca-4c02-8e6c-8c3fb0a3f831","resolution":{"observed_at":"2026-08-02T13:17:34.475733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:34.688310Z","title":"European Journal of Operational Research , volume=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:34.688310Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:29f4aa4e0af88ec8aed8114e330eab049c4775a0223e9b4a84a7c45e63f14e97","observation_id":"9dd84d75-6724-4383-babd-e67978c10077","resolution":{"observed_at":"2026-08-02T13:17:34.688310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:34.902271Z","title":"2009 , publisher=","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:34.902271Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:4930663433be1dc8dbbbe3d3cfbcf774667ccc4c24a444aeb0788d583f5a4ef2","observation_id":"e71b1378-1df1-411b-92cd-2468d56d622f","resolution":{"observed_at":"2026-08-02T13:17:34.902271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.086256Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.086256Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:dcf9916503db7c82e955985a2d98a482b06d908a7a1c2f103f2a4fd457bbcd41","observation_id":"389776bf-106e-4924-a480-7408f4a7d188","resolution":{"observed_at":"2026-08-02T13:17:35.086256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.260169Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.260169Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f757a63ac6b62960bb113bf148770eb4935a0d4e6c87b71b96cc565addf24dbf","observation_id":"2d6b90c6-1740-4134-afd8-f36db49fbd3a","resolution":{"observed_at":"2026-08-02T13:17:35.260169Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.425439Z","title":"Mathematical Programming Computation , volume=","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.425439Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:e923a1d48a011f42f81fa89be5809f962c3ed14452eb0f744813bb26295c5146","observation_id":"261184c7-59ef-4ca4-8b90-402b87519138","resolution":{"observed_at":"2026-08-02T13:17:35.425439Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.554146Z","title":"ACM Computing Surveys , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.554146Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:767a6ab0a712e04a7a131589a9fb2255d6ff4b078e3ee4420b41209d622b54a5","observation_id":"1809b2e2-826a-4c6a-84ef-a435ed38bddd","resolution":{"observed_at":"2026-08-02T13:17:35.554146Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.680124Z","title":"2024 , series =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.680124Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:94123a14d4b4cb29ce4b0b7dcfae9ca8cf0830d8444794974d44a25a08e2df64","observation_id":"88360262-cd96-4cc0-b736-21cd83359d50","resolution":{"observed_at":"2026-08-02T13:17:35.680124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17743","last_updated":"2025-04-04T13:31:38Z","snapshot_observed_at":"2026-08-12T23:56:36.982845Z","submitted_at":"2024-05-28T01:55:35Z","title":"ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17743","snapshot_observed_at":"2026-08-02T13:17:35.722898Z","title":"arXiv preprint arXiv:2405.17743 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.722898Z"},"links":{"cited_paper":"/paper/2405.17743","citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:496992dbd490361f58e51108d5ead1882fc13772a48e7ac476a90752ea387694","observation_id":"c1b7b67c-17c5-465c-bda0-352860d15f53","resolution":{"observed_at":"2026-08-02T13:17:35.722898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.806396Z","title":"ICLR , ee =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.806396Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:9401adb73d0b5bbcba49764360736dbf2a45c305b4f1ccba318d245a329354ef","observation_id":"10c8f9bb-88a4-4e45-8b6e-48ef360172c5","resolution":{"observed_at":"2026-08-02T13:17:35.806396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.909703Z","title":"The Twelfth International Conference on Learning Representations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.909703Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:fce6f1612933ed02128b856797b732c610abfdc25a92eae0f6dc04a55b41fbc2","observation_id":"e4f90d13-db8c-4222-a778-c08ffdaac89b","resolution":{"observed_at":"2026-08-02T13:17:35.909703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.968397Z","title":"arXiv , url =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.968397Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:71e7607df35476b072dc63a069bb4fbe94d1ddcd442c31dfa3f5245efe2672c5","observation_id":"ce9444a5-e360-4848-be7f-1183a898dd5b","resolution":{"observed_at":"2026-08-02T13:17:35.968397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:35.987256Z","title":"NeurIPS 2022 competition track , pages=","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:35.987256Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:cb3388194c14476b820a4789ec334c04fb490c07d3a47a435ca819863f42df0a","observation_id":"bcb89969-a7d8-4d06-9060-ada3ba76823c","resolution":{"observed_at":"2026-08-02T13:17:35.987256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:36.082640Z","title":"ICLR , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:36.082640Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:4fac07dab6c6358cce18ecb559b6895a5cf8a358b1fa86f9d7be8ab3615bf70b","observation_id":"ff805ecb-926c-4ab1-89f8-3a37c14b7b7c","resolution":{"observed_at":"2026-08-02T13:17:36.082640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:36.198431Z","title":"Advances in Neural Information Processing Systems (NeurIPS) , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:36.198431Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:32def261fd0cafc4e40e3ee6fba4e37c059f6c0c0acef49b1667de423caaf045","observation_id":"33f0a7cf-c81c-4479-b8f5-0b2e63b5b830","resolution":{"observed_at":"2026-08-02T13:17:36.198431Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:36.357861Z","title":"International Conference on Software Maintenance and Evolution (ICSME), Tool Demonstrations , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:36.357861Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f40b495daac2c5e055f5c486d165582b777167f24635fdf55c7920d0d6482df6","observation_id":"b2c05482-71b9-4862-af40-7ac9ffcbe99f","resolution":{"observed_at":"2026-08-02T13:17:36.357861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.06864","last_updated":"2024-06-11T00:40:17Z","snapshot_observed_at":"2026-08-14T07:03:06.255913Z","submitted_at":"2024-06-11T00:40:17Z","title":"Validating LLM-Generated Programs with Metamorphic Prompt Testing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.06864","snapshot_observed_at":"2026-08-02T13:17:36.546350Z","title":"arXiv preprint arXiv:2406.06864 , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:36.546350Z"},"links":{"cited_paper":"/paper/2406.06864","citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:0300a85ac54310e7f77bcc978cb99b44753a69c2e3a66253a76c8b216def876c","observation_id":"0bc8414c-c64f-451f-b506-6f15c9cd79b0","resolution":{"observed_at":"2026-08-02T13:17:36.546350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:36.713112Z","title":"SIGSOFT FSE Companion , editor =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:36.713112Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:85a933482982ab29c48c7b219cdc2a1520b09f1ecf3589940daef9f4b7c5873b","observation_id":"699e692b-126d-4d8d-a20b-e353d17eb074","resolution":{"observed_at":"2026-08-02T13:17:36.713112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:36.849744Z","title":"IEEE Transactions on Software Engineering , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:36.849744Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:e49c0b0e2ffdfa44e90639b8409f970525c906d4c920c4b8e45bf5f42006573a","observation_id":"41ce1da9-a262-41df-bcf8-ff5ef98b09fc","resolution":{"observed_at":"2026-08-02T13:17:36.849744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:37.018250Z","title":"IEEE Computer , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:37.018250Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:b6d023979cf5a8bb8c57d7d923d2e3403d82f1ba9192699989b36d6b105daf44","observation_id":"9b38615c-669e-4e12-9ca6-3445a211b0ee","resolution":{"observed_at":"2026-08-02T13:17:37.018250Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:37.220452Z","title":"IEEE Transactions on Software Engineering , volume =","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:37.220452Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:84a0ac6fc955c9c9764a811af4d827a7d0a44135b3030746c1004222fa1d9805","observation_id":"881e5871-cbe2-4dbb-bf84-8fe7d5f81e94","resolution":{"observed_at":"2026-08-02T13:17:37.220452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:37.375016Z","title":"Advances in Computers , volume =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:37.375016Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:7ff36a43243833658e600843681bef2660699aada3be7172098128582f5765fc","observation_id":"b18b501a-4596-4cc9-9b89-83f2c026a70b","resolution":{"observed_at":"2026-08-02T13:17:37.375016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:37.570213Z","title":"Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:37.570213Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:d4f875ee51a2045cd1334888dbc73778ec9e409746aa197bbdf8cf29579e92da","observation_id":"85a99915-a364-42e0-bfd8-fe116741645c","resolution":{"observed_at":"2026-08-02T13:17:37.570213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:37.781157Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:37.781157Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f2ae91afe78e144eed43f0f96a1518fe824b88bfc4b7ff80eccf3267ebd2fb5b","observation_id":"155b8680-05d3-4d7c-8ef1-cc5f9489df6e","resolution":{"observed_at":"2026-08-02T13:17:37.781157Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:37.911903Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:37.911903Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f6d58900316285e2dfdcaecf87d9c0e7207eb3abb20f9ee09fde2fdc1bb60717","observation_id":"293648b7-26b8-429e-9041-e8830c25bc5d","resolution":{"observed_at":"2026-08-02T13:17:37.911903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:38.084565Z","title":", biburl =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:38.084565Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:caf8f6aa22ad4101b426e12aefc892e76b2e9a92e0a50c10e836d2b52687a882","observation_id":"3d440859-cf32-4819-86fc-1c00f53183da","resolution":{"observed_at":"2026-08-02T13:17:38.084565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:38.295539Z","title":"Position:","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:38.295539Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:5147f640406aa665d92296bbfa9378bca6d2b1732c270740e6e4345bb00b908a","observation_id":"25b37bf0-59ea-4df3-8520-47c769a8d9d5","resolution":{"observed_at":"2026-08-02T13:17:38.295539Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:38.454192Z","title":"Proceedings of the 37th International Conference on Neural Information Processing Systems , articleno =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:38.454192Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:3a375ea0b57c373fc0666fdf43fbed2d180ee438df7803846c7099ac75dc34af","observation_id":"1f00e6d5-80f7-477e-bd9a-a641484c3bb0","resolution":{"observed_at":"2026-08-02T13:17:38.454192Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:38.608193Z","title":"and Staats, Charles and Jamnik, Mateja and Szegedy, Christian , biburl =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:38.608193Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:39a5edc60a14c504bb4c330ef0ada6f16955a43ee5edc627a6134599160e1709","observation_id":"7381b3a6-11b2-42fa-b420-42213cf540e7","resolution":{"observed_at":"2026-08-02T13:17:38.608193Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T13:17:38.747797Z","title":"ICLR , ee =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-02T13:17:38.747797Z"},"links":{"citing_paper":"/paper/2607.20474"},"observation_digest":"sha256:f4a53999aa09b29f968bb41edf336284badf0694c823cad6af8f89d272f56070","observation_id":"9e2a3ec9-4221-4cb9-bd13-fab2f23341aa","resolution":{"observed_at":"2026-08-02T13:17:38.747797Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20474","last_updated":"2026-05-24T13:46:54Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T10:55:47.546513Z","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":47,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":48},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2607.20474."}