{"as_of":"2026-08-09T16:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:26af3be9e0406511a7f5fb0cdc1d00eeddc9cf7d54ffe07a9b4ab7e6febfecf9","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T19:39:30.549592Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2507.04931/citation-record","integrity":"/paper/2507.04931/integrity","json":"/paper/2507.04931/citation-record.json","paper":"/paper/2507.04931"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.30298","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:31.629763Z","title":null,"venue":null,"work_id":"b0b9f6d3-f99a-4476-bb70-5b01a3cd8b93","year":2022},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.234086Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:2d3c692759d6b45280bf6e1540a0a876b08f0a75aab043dc11599263980e13bc","observation_id":"c681f836-3f8d-4ab9-9f40-dbb89b07cff6","resolution":{"observed_at":"2026-08-06T19:39:31.713775Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:33.620739Z","title":null,"venue":null,"work_id":"e0195b97-8afc-424d-8a58-40142db6206e","year":2024},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.333104Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:d01ff5a0b9a0795181e1dc84c497779fdf2b43c2150eaede85a92f0dc315750e","observation_id":"7820b0ff-d1ad-4d6d-876b-e58776b8af27","resolution":{"observed_at":"2026-08-06T19:39:33.677707Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23835","last_updated":"2025-05-28T10:59:00Z","snapshot_observed_at":"2026-08-09T10:52:01.696637Z","submitted_at":"2025-05-28T10:59:00Z","title":"Say What You Mean: Natural Language Access Control with Large Language Models for Internet of Things","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23835","snapshot_observed_at":"2026-08-06T19:39:28.458679Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.458679Z"},"links":{"cited_paper":"/paper/2505.23835","citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:8c6a7034385e6b9b38a00f63244f52f4355e3a9816350f40234bac3d993b02c6","observation_id":"e47cf6ea-2b49-4138-828c-2758dceaaa55","resolution":{"observed_at":"2026-08-06T19:39:28.458679Z","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-06T19:39:28.572661Z","title":"Dutta, R","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.572661Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:20a15fd97a0697605f36a12fe50db338a24deac907561e372e7962091f7cea97","observation_id":"83880ba6-0456-4d6e-8619-2b376491b54a","resolution":{"observed_at":"2026-08-06T19:39:28.572661Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:33.461663Z","title":"Huang, X","venue":null,"work_id":"7f9139e7-ee52-4869-bf8e-152dfbada19c","year":null},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.622391Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:2f0ae3034e7c5b95c8532e071830e6030e2970ed5d3c48cab559a54e4c7bec0e","observation_id":"82b9015e-0a71-42a9-a3fd-4da2452869d7","resolution":{"observed_at":"2026-08-06T19:39:33.527104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.15288","last_updated":"2025-04-18T04:46:00Z","snapshot_observed_at":"2026-07-06T19:36:32.581033Z","submitted_at":"2024-10-20T05:02:18Z","title":"If LLMs Would Just Look: Simple Line-by-line Checking Improves Vulnerability Localization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.15288","snapshot_observed_at":"2026-08-06T19:39:28.707271Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.707271Z"},"links":{"cited_paper":"/paper/2410.15288","citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:a3dff49617ac46ba4abb1f31ee11af6ca120d9061bccbdbb060ae2a96a1f9f69","observation_id":"21eb1cd2-6c50-4e76-93f0-ce16dd6a6423","resolution":{"observed_at":"2026-08-06T19:39:28.707271Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:33.160474Z","title":null,"venue":null,"work_id":"51d444df-4b90-4a71-9501-b7c8e6f45b54","year":2025},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.758926Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:322924fea8404670d9a74e27e1f66efb081968bee5b16b2afc3ebf4425a8ef80","observation_id":"28b9f3e4-45ef-4dd7-84ec-b6a6732f3e8a","resolution":{"observed_at":"2026-08-06T19:39:33.205427Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:28.800220Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.800220Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:2320c727b0f9966a88fdb30a4aa45ce5ef1cd3aae2574bbb24b663e754683e67","observation_id":"0a00ba29-0bd6-4211-abe1-738473458064","resolution":{"observed_at":"2026-08-06T19:39:28.800220Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:33.000327Z","title":"Merckx, T","venue":null,"work_id":"bf7bfe2e-b3ba-411f-83b4-316cd8bf66f9","year":2025},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.885082Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:ac6ad79ed6f4602c8b70295c876c32be044e801eda61b450b69f6b46317e5f75","observation_id":"37a21be1-0637-49bc-9922-f4a74fb0bf87","resolution":{"observed_at":"2026-08-06T19:39:33.088682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:32.877796Z","title":"Nethercote and J","venue":null,"work_id":"70d282c7-0e59-4c01-888b-db257dd30672","year":2007},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.988812Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:5affde1fce8803402f9a5e61772d17c8f1e7d617b626ad7080b1c49b12d69a66","observation_id":"82e5952c-49ee-4227-890a-baad5f9d82f9","resolution":{"observed_at":"2026-08-06T19:39:32.929315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:32.747323Z","title":"Pitigalaarachchi, X","venue":null,"work_id":"52f9a6ec-7b1c-4406-ab18-01d850c7e41b","year":2023},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.075126Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:a590ee08887a0795f4f71ea4866e1f9d8cefa56d37d14c3f8eba45b73c2a4c1b","observation_id":"4dfac3c1-e7fc-4945-adfb-d13ed21b60bf","resolution":{"observed_at":"2026-08-06T19:39:32.807568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:32.584096Z","title":"Poeplau and A","venue":null,"work_id":"eb3a7b96-193b-4bdc-a608-c0196a899faf","year":2020},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.169510Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:2a9bafaf0468a9b2f6a68095b44416bd405e8bb5c21780a629ae444cff3f3e08","observation_id":"0b6c9101-9f5c-4312-84e4-579ddc3798b3","resolution":{"observed_at":"2026-08-06T19:39:32.645577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sp.2016.16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:30.664316Z","title":"Shoshitaishvili, R","venue":null,"work_id":"2b1cffcf-8048-4eb2-80b1-a3f9e1b0cd00","year":2016},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.276138Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:d3d6890bbaad36b25b662c7ced200de8b4c1193d65cf639124bed0b0615f61bb","observation_id":"b98aea2b-9efd-4bb7-b73d-9d63adb6e68d","resolution":{"observed_at":"2026-08-06T19:39:30.785909Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:32.452753Z","title":null,"venue":null,"work_id":"38568b70-2c8a-4e13-812e-394609e6e05c","year":2014},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.393934Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:6a793d7067e97673072a399b1ea7f1b358386bea9d2e3a4114c5f331ede1be4e","observation_id":"d64da6ce-e3a2-4d37-a367-e8636966e5af","resolution":{"observed_at":"2026-08-06T19:39:32.505138Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:32.295993Z","title":null,"venue":null,"work_id":"978b9095-8809-4f14-8857-6ea3c8560746","year":null},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.512296Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:a6383079546f764ce0ac40fa2074745a7650c2c44ba2b86892ba4ce3e9b71cf4","observation_id":"9e0cd507-f029-49d0-9c72-cc59674ac1d4","resolution":{"observed_at":"2026-08-06T19:39:32.383340Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:29.802134Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.802134Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:f76876592c45dae7b7ff8fbdb9a44148d0a1ffcc457353d6bff20e70ea8b2793","observation_id":"c3da8400-805f-42af-b9a1-3234c5e03004","resolution":{"observed_at":"2026-08-06T19:39:29.802134Z","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-06T19:39:29.921664Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.921664Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:08ab4c256b20881e4c408ca9d86eb13d6adb88f5d680ea74c989c5c0fde36d89","observation_id":"2edc64f5-350f-443a-a4f7-b3b7bbec1369","resolution":{"observed_at":"2026-08-06T19:39:29.921664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.05156","last_updated":"2024-03-14T14:17:57Z","snapshot_observed_at":"2026-07-30T18:58:06.958154Z","submitted_at":"2024-03-08T08:47:48Z","title":"On Protecting the Data Privacy of Large Language Models (LLMs): A Survey","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.05156","snapshot_observed_at":"2026-08-06T19:39:30.085192Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:30.085192Z"},"links":{"cited_paper":"/paper/2403.05156","citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:f3d0ba8804b93e4ad551f543779850442c389f1b433708cd31cc150bc86957de","observation_id":"a3852a48-72ba-4752-bab7-7ded685fdb02","resolution":{"observed_at":"2026-08-06T19:39:30.085192Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:31.872345Z","title":null,"venue":null,"work_id":"234c587c-6776-4372-9ca3-9f0887ab50b2","year":2025},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:30.227981Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:f46f0175d7c95e6581f77b86da33512c9cab3f4166c67ee588055decfc761fac","observation_id":"1ae1f82f-60a9-4b1d-9610-f52b3afda630","resolution":{"observed_at":"2026-08-06T19:39:31.945548Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:30.410762Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:30.410762Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:c23c609baae50512a0918d053d71a94f598a4106dc936279643c3671551a632d","observation_id":"2a5ee85c-dcfd-49a7-9b27-a78b61c79086","resolution":{"observed_at":"2026-08-06T19:39:30.410762Z","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":"8257.36321","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:30.984673Z","title":"Zhang, M","venue":null,"work_id":"8a1f51b5-e5f5-4b7e-ab85-d8ed0cde0597","year":2024},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:30.549592Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:7e29e0d8f4f4062591633e3e662f5b58346d30eb68fd448f28268cd1579220f9","observation_id":"e4d850a8-c301-4635-b89f-6166d88ecc0a","resolution":{"observed_at":"2026-08-06T19:39:31.073108Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:32.095798Z","title":"In Proceedings of the 2016 ACM SIGCOMM Conference","venue":null,"work_id":"daad0c17-c5cb-4f36-81bc-09939c1e0c68","year":2016},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:29.656771Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:1b43be8a2e671dfda89600b737ce77b304f86273153b0f3f7d7913a43b34dab3","observation_id":"8f09a274-4b27-46ec-9dcd-0ee658277f65","resolution":{"observed_at":"2026-08-06T19:39:32.202118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:39:33.305245Z","title":null,"venue":null,"work_id":"ab2bf986-fe5a-4cf7-8b1e-5d62d603405f","year":null},"citing_paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T19:39:28.670839Z"},"links":{"citing_paper":"/paper/2507.04931"},"observation_digest":"sha256:6aaebff1cbfea8a4dde4a9d7de74336de746548b12981edda2cf45264b8d9893","observation_id":"f6a6b634-6202-40ae-9346-66a939e07f03","resolution":{"observed_at":"2026-08-06T19:39:33.388775Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.04931","last_updated":"2025-07-07T12:26:56Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-09T11:35:32.241203Z","submitted_at":"2025-07-07T12:26:56Z","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":14,"verified_exact":1,"verified_fuzzy":6},"total_outbound_references":23},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2507.04931."}