{"as_of":"2026-08-09T05:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8f1e17e366e3ca617946a9b0025c2388be21a62c92f2a21fb164c0bb78eb2829","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-06T04:19:49.677769Z","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-08T06:32:00.761636+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/2508.03641/citation-record","integrity":"/paper/2508.03641/integrity","json":"/paper/2508.03641/citation-record.json","paper":"/paper/2508.03641"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T04:19:56.541515Z","title":"Mip-nerf 360: Unbounded anti-aliased neural radiance fields","venue":null,"work_id":"0c43ebfb-06b3-4d3f-96a1-ac84ea4eca3a","year":2022},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:45.612858Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:77c3a12e6b5712ebc400473d72791013f2bab682cd9e9252b113a9b29bcc87d0","observation_id":"eb8e120a-dcfb-4775-9848-fc95242c8121","resolution":{"observed_at":"2026-08-06T04:19:56.612980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:56.402751Z","title":"Patchmatch stereo - stereo matching with slanted support windows","venue":null,"work_id":"3864ac77-c0b2-4aa4-a567-0c4201b0e2a3","year":2011},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:45.662403Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:909123388ec37f9be01c9059e846997923ccb6a7b0578fe1125f423905b2ac55","observation_id":"a91f232d-5c4b-417f-9340-118998a7f11d","resolution":{"observed_at":"2026-08-06T04:19:56.459278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:56.215323Z","title":"Pixelsplat: 3d gaussian splats from image pairs for scalable generalizable 3d reconstruction","venue":null,"work_id":"161b643a-f992-4bdf-848f-96ccfe1d0da6","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:45.767120Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:f40de756ce3b2420c05fd8bef336729fe0f02a598a49a90babca10efcfb9efe2","observation_id":"d60ced0f-81b6-4c00-8221-439d2083a29b","resolution":{"observed_at":"2026-08-06T04:19:56.305029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:56.056828Z","title":"Mvsnerf: Fast general- izable radiance field reconstruction from multi-view stereo","venue":null,"work_id":"cc041e81-8563-4044-a7bb-c1d31e11f806","year":2021},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:45.892263Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:2b15278555b2af3824f0e3641526bb7f9a74a51a50f186145859227f6655aa6c","observation_id":"71340769-7e39-47c0-91af-4716779684f5","resolution":{"observed_at":"2026-08-06T04:19:56.114216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:55.892153Z","title":"Mvsplat: Efficient 3d gaussian splatting from sparse multi-view images","venue":null,"work_id":"afaf9445-7a94-448b-a51a-0cc9b55fcce4","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.025879Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:cf2d6c1f30276f3e17e1a1167e8a0ce0e4a43c7528f5ae370c1542efc6c57796","observation_id":"a6af4de5-112e-4398-b1af-5e0ab794fc92","resolution":{"observed_at":"2026-08-06T04:19:55.961727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:55.710547Z","title":"Chang, Manolis Savva, Maciej Hal- ber, Thomas A","venue":null,"work_id":"020a8e51-0b6c-40ea-a43f-a6c70d5fcbe7","year":2017},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.156082Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:582c6fa18e00ade1eaeec0fc286310e864401fa2b88e3ab416ce97f337e6dcf7","observation_id":"b7d453e9-6caa-4837-a53e-5511981ec04b","resolution":{"observed_at":"2026-08-06T04:19:55.786672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:55.532966Z","title":"Seitz, Charles E","venue":null,"work_id":"8ab0b3e5-3b2d-42f5-87c2-081530f8b242","year":2000},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.257318Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:8067950f6c1047eabb6412d823128c3e49bba4c89f980e34cc2c969d55dbac86","observation_id":"376151ee-892a-46bc-8a69-6e9ec40efacc","resolution":{"observed_at":"2026-08-06T04:19:55.613645Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:55.388860Z","title":"Large spatial model: End-to-end unposed images to semantic 3d","venue":null,"work_id":"4840c942-ebe4-481b-9a83-9a13ab76ff1d","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.358399Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:a30b287023c1ea1f714bf431b3fa8f12d8f14a26193b0d2689422c8d32a95226","observation_id":"f2801e83-6eed-4a94-a3b8-15761724c00f","resolution":{"observed_at":"2026-08-06T04:19:55.462497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.16303","last_updated":"2025-02-22T17:23:46Z","snapshot_observed_at":"2026-08-07T17:56:11.241158Z","submitted_at":"2025-02-22T17:23:46Z","title":"Pointmap Association and Piecewise-Plane Constraint for Consistent and Compact 3D Gaussian Segmentation Field","version":1},"cited_work":{"arxiv_id":"2502.16303","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.16303","snapshot_observed_at":"2026-08-06T04:19:50.092206Z","title":"Pointmap Association and Piecewise-Plane Constraint for Consistent and Compact 3D Gaussian Segmentation Field","venue":"cs.CV","work_id":"11e52f1b-a2a1-4334-a11e-00b2f10b323f","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.458250Z"},"links":{"cited_paper":"/paper/2502.16303","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:421b9284f7b1556e709f4cbc8e2aa25a655f6afeb4f55f0aaea14ee2d8758178","observation_id":"2c4311ee-d977-4fad-8e4b-719c1d89487c","resolution":{"observed_at":"2026-08-06T04:19:50.180171Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:55.252919Z","title":"Large scale multi-view stereopsis evaluation","venue":null,"work_id":"86739ed1-ce19-4aab-9730-ba6177e7a873","year":2014},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.559741Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:b2f8164721f5a3efb01829bc40531ebecd43991552860b338172eb1718879b52","observation_id":"1b3ad9f2-4b66-4d03-b874-fa90586ea4b2","resolution":{"observed_at":"2026-08-06T04:19:55.315314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:55.119006Z","title":"Gausstr: Foundation model-aligned gaussian transformer for self-supervised 3d spatial understanding","venue":null,"work_id":"9aa2df75-bd9c-4b79-b65e-9fde072d68c7","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.659168Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:2c3017f80f3761917324f9d978e83bece64d52f2aafb8a3a1951da812903987a","observation_id":"9c762a28-bcf4-4d62-8cdd-7f6a3b3885ba","resolution":{"observed_at":"2026-08-06T04:19:55.181145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:46.743451Z","title":"Anysplat: Feed-forward 3d gaussian splatting from unconstrained views.arXiv preprint arXiv:2505.23716,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.743451Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:50615cc7d4aa85851db8c11fc55b4e56e14feae775abe49bf01bb3fb36ba6f97","observation_id":"d7f421cf-e5a6-47aa-a076-b37570786718","resolution":{"observed_at":"2026-08-06T04:19:46.743451Z","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-06T04:19:54.979606Z","title":"ilrm: An iterative large 3d reconstruction model, 2025","venue":null,"work_id":"ca3de104-079a-4a26-8b08-46dfc4b2f4a6","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.852836Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:143f0ac46de22289a2a7d36de4fc426aba3d0aaf2a44a19de3acd8523b20d641","observation_id":"1a1eb1e9-fa6d-4c91-8e4e-12d3683a7496","resolution":{"observed_at":"2026-08-06T04:19:55.026892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:46.930712Z","title":"3d gaussian splatting for real-time radiance field rendering.ACM Trans","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:46.930712Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:2d8c7e2c4509f374ad56b20c67c9269407e4f37ffb8591a347f5463957d053e0","observation_id":"5e6e4a30-fdff-4659-ae7b-bf71d141fd8c","resolution":{"observed_at":"2026-08-06T04:19:46.930712Z","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-06T04:19:54.835838Z","title":"LERF: language embed- ded radiance fields","venue":null,"work_id":"2181ed98-2c6a-47b9-8898-da814ccd88e4","year":2023},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.040213Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:9f54623686fba38af126116ae75fa3ee6f739058746efd86a6e3fbaf750cc8f6","observation_id":"0b8a823f-1c16-42ec-b73e-306e0d925a55","resolution":{"observed_at":"2026-08-06T04:19:54.896514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:54.724518Z","title":"Compact 3d gaussian representation for radiance field","venue":null,"work_id":"2e3d4565-b256-46e1-8426-6c46a4f681d5","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.128735Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:7f7808c217b69f8460cf54686420dd63eb1fd1131808ca642795605013f45e24","observation_id":"e4e57297-bbdd-4977-84ed-aedc2a95d83e","resolution":{"observed_at":"2026-08-06T04:19:54.784893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:54.581020Z","title":"Ground- ing image matching in 3d with mast3r","venue":null,"work_id":"5e31bc6a-522a-4750-8cb7-e9e05116093b","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.208960Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:4e24d74c4f9f6635191e4bde6d6ef5c3630197c71487d5d7c548e43ca70e48b4","observation_id":"77a975fa-4dba-47b0-9981-b2683aa831e8","resolution":{"observed_at":"2026-08-06T04:19:54.653748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:54.443659Z","title":"Weinberger, Serge J","venue":null,"work_id":"eafcaff2-44d7-4f13-b556-d66a9cbc4fc2","year":2022},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.270779Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:bb7c902590dc54b158fb3a591b0619984609e5fa337b91e647ecaa4dc6946732","observation_id":"a365e40f-bf7c-4047-a30e-af9febf1f194","resolution":{"observed_at":"2026-08-06T04:19:54.504126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:54.256530Z","title":"Mask-adapter: The devil is in the masks for open-vocabulary segmentation","venue":null,"work_id":"cee77046-9032-46fc-8f9c-ddab9563f5c9","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.370470Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:d1dc8cad36b1eb1970d5a93512efaf882cb051baa54087a7a2ce1d6e5a792906","observation_id":"4dd26b92-26d1-4cba-9131-40e6fa5168df","resolution":{"observed_at":"2026-08-06T04:19:54.340812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.10286","last_updated":"2025-03-13T11:56:05Z","snapshot_observed_at":"2026-08-08T22:38:05.533892Z","submitted_at":"2025-03-13T11:56:05Z","title":"VicaSplat: A Single Run is All You Need for 3D Gaussian Splatting and Camera Estimation from Unposed Video Frames","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.10286","snapshot_observed_at":"2026-08-06T04:19:47.480568Z","title":"Vicasplat: A single run is all you need for 3d gaussian splatting and camera estimation from unposed video frames.CoRR, abs/2503.10286, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.480568Z"},"links":{"cited_paper":"/paper/2503.10286","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:c179a67df83ba5d3de24785283b50cc630c7b639219a35e1033b626da25df91f","observation_id":"a15421ea-f39d-456f-bd2f-4883a1abd0a8","resolution":{"observed_at":"2026-08-06T04:19:47.480568Z","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-06T04:19:47.565181Z","title":"Su- pergseg: Open-vocabulary 3d segmentation with structured super-gaussians.arXiv preprint arXiv:2412.10231, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.565181Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:5c6574df22e93dd37a9513061a0b09e4264f9341bcf27d6735d5af74a251e8eb","observation_id":"f5583726-e67d-4aea-b09c-d91263093c1c","resolution":{"observed_at":"2026-08-06T04:19:47.565181Z","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-06T04:19:53.987961Z","title":"Infinite na- ture: Perpetual view generation of natural scenes from a sin- gle image","venue":null,"work_id":"c35b6f22-be12-44e5-837c-ea08f563db0c","year":2021},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.646983Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:b6ce52f54991c4f3c689e76520b3f36958a7cea3ab24c3b325b419f6cef1b9b3","observation_id":"037a7ab3-d4bc-48d8-b335-2f507d621191","resolution":{"observed_at":"2026-08-06T04:19:54.096395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:53.777184Z","title":"Mvsgaussian: Fast generalizable gaussian splatting recon- struction from multi-view stereo","venue":null,"work_id":"7b9e021a-691c-41db-8b31-9ff6302adf4a","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.721790Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:4526b3c2b413eace3fbe6bb726de8a9abdfc33e5a1b68f7414773a8274a1ceb7","observation_id":"db701f08-8adc-45fb-9eca-0c4f0171eef5","resolution":{"observed_at":"2026-08-06T04:19:53.897010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:53.518399Z","title":"Srinivasan, Matthew Tancik, Jonathan T","venue":null,"work_id":"2183087b-7320-44ad-bd36-dd9410e44add","year":2020},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.805613Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:c680cfbc2e1d32245ce923d6887d95abdebc50c676f990160ca3b5422c79494d","observation_id":"d519c0f6-1164-4cb9-bfc1-228746fe2746","resolution":{"observed_at":"2026-08-06T04:19:53.647336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:53.288555Z","title":"Generative den- sification: Learning to densify gaussians for high-fidelity generalizable 3d reconstruction","venue":null,"work_id":"8ef77121-c58c-40b7-8956-58602c495dc8","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.874879Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:040030aef33a0d381e65b20bd11c5349901d0da7bfbd993d44dbacbd4073ff4a","observation_id":"1731ec54-b3c1-4f34-94a2-00e21e5d6721","resolution":{"observed_at":"2026-08-06T04:19:53.375929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:53.129035Z","title":"V o et al","venue":null,"work_id":"23f1189d-0199-4352-a663-8bb0ffa5f468","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:47.947181Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:28ff344fed399b76daf6e6615f88f7ad17b9ca9d54858b41e4fe8d8b4908e139","observation_id":"d39a6632-a1c2-4073-b8c5-d86b1c7cdbff","resolution":{"observed_at":"2026-08-06T04:19:53.199002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:52.954354Z","title":"Py- torch: An imperative style, high-performance deep learn- ing library","venue":null,"work_id":"52236205-52bf-4b61-8554-0f5093dae7fb","year":2019},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.035569Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:1b7ad209456e6cc5c1140932329f90684c28c267b63e7f5b7895892d85923730","observation_id":"60baf277-7981-495e-a95f-688c25dcfb55","resolution":{"observed_at":"2026-08-06T04:19:53.028500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:52.732526Z","title":"Langsplat: 3d language gaussian splat- ting","venue":null,"work_id":"7f05134d-c7ee-4cc5-a0f6-f7422ff54db2","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.116376Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:674159dd735cddf1c5086e70811b3eebb95c6068965547a53afcd89416b681d8","observation_id":"d87d20e7-0384-4d7b-9fe7-de20ebdea13a","resolution":{"observed_at":"2026-08-06T04:19:52.837189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:52.579245Z","title":"Learning transferable visual models from natural language supervision","venue":null,"work_id":"fe4b0780-63b2-478d-b406-39a031580c3c","year":2021},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.227487Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:d4e30b6645c7d5037b4ba1beef75acde84741f81cc14f582e4c6e0438d346e13","observation_id":"2e602367-6668-4ce6-9e6e-5b5c0645e02b","resolution":{"observed_at":"2026-08-06T04:19:52.647900Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:52.399763Z","title":"Vi- sion transformers for dense prediction","venue":null,"work_id":"b308e57b-a763-4064-8494-092232289d35","year":2021},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.290147Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:189b29cba0dbe56d99da91862a39170744b2927149130892fb49bef5b2215292","observation_id":"23dbcaeb-33db-4cbb-abdf-489acd3590b7","resolution":{"observed_at":"2026-08-06T04:19:52.487672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.05327","last_updated":"2025-06-05T17:58:23Z","snapshot_observed_at":"2026-08-09T03:13:56.530847Z","submitted_at":"2025-06-05T17:58:23Z","title":"Revisiting Depth Representations for Feed-Forward 3D Gaussian Splatting","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.05327","snapshot_observed_at":"2026-08-06T04:19:48.387457Z","title":"Chen, Zeyu Zhang, Jia-Wang Bian, Bohan Zhuang, and Chunhua Shen","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.387457Z"},"links":{"cited_paper":"/paper/2506.05327","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:534ec40338b7d2095b0e09081a31735f81c12ce0d54185f840e43c38f6e1ca1b","observation_id":"c1109eb8-8a13-4d71-b734-119d0995a8ce","resolution":{"observed_at":"2026-08-06T04:19:48.387457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.13912","last_updated":"2024-08-27T19:06:57Z","snapshot_observed_at":"2026-08-05T11:12:55.434512Z","submitted_at":"2024-08-25T18:27:20Z","title":"Splatt3R: Zero-shot Gaussian Splatting from Uncalibrated Image Pairs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.13912","snapshot_observed_at":"2026-08-06T04:19:48.450262Z","title":"Splatt3r: Zero-shot gaussian splat- ting from uncalibrated image pairs.CoRR, abs/2408.13912,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.450262Z"},"links":{"cited_paper":"/paper/2408.13912","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:fec67dbaa5ae3e3a6fb4ea3aa99b33516f0f49054803b0d2560706656b19dc0f","observation_id":"016ae2a9-1eef-44e0-b075-d5d2183af40c","resolution":{"observed_at":"2026-08-06T04:19:48.450262Z","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-06T04:19:52.216009Z","title":"F-3dgs: Factorized co- ordinates and representations for 3d gaussian splatting","venue":null,"work_id":"676b7eb6-5415-478a-a8b6-9ff916399077","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.510161Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:12cb9826258706f977a51ed2e42d5eab80f9c5b0af3cee98a2d3808d6bd91fc1","observation_id":"d2c034da-8e23-45a1-8e48-c0331732b46c","resolution":{"observed_at":"2026-08-06T04:19:52.314657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.09378","last_updated":"2025-06-11T04:01:21Z","snapshot_observed_at":"2026-08-07T21:12:33.818924Z","submitted_at":"2025-06-11T04:01:21Z","title":"UniForward: Unified 3D Scene and Semantic Field Reconstruction via Feed-Forward Gaussian Splatting from Only Sparse-View Images","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.09378","snapshot_observed_at":"2026-08-06T04:19:48.599727Z","title":"Uniforward: Unified 3d scene and semantic field re- construction via feed-forward gaussian splatting from only sparse-view images.CoRR, abs/2506.09378, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.599727Z"},"links":{"cited_paper":"/paper/2506.09378","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:3cce71bb418c4d0ae7fd8f8db283fdbd67cce9c0f9e4d0f6bfde1daa9a854d0b","observation_id":"e35d9c73-9fb2-4de0-bd3f-dd27f5d82113","resolution":{"observed_at":"2026-08-06T04:19:48.599727Z","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-06T04:19:52.041526Z","title":"Least-squares estimation of transformation parameters between two point patterns.IEEE Trans","venue":null,"work_id":"0e7d709b-b298-4674-893c-4d8e598ab0fd","year":1991},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.696888Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:941a796c592281742fdc811bab6970a8eec3f35275b11f216556257852a6d090","observation_id":"1f1b1dd4-126d-41e8-abc3-2e6162156144","resolution":{"observed_at":"2026-08-06T04:19:52.136478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:51.859575Z","title":"VGGT: visual geometry grounded transformer","venue":null,"work_id":"3d0c0aa4-e3b6-470c-a065-f221063639f5","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.779037Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:8ae755029c42320b7e46d5c7cc86981ed2d0d69312dd0453013b2d3797ddeee8","observation_id":"a3f3d9f7-6258-456e-997e-1a654169361e","resolution":{"observed_at":"2026-08-06T04:19:51.952110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:51.676856Z","title":"Dust3r: Geometric 3d vision made easy","venue":null,"work_id":"fc1b042b-ee0a-4678-90f3-d5ca3b25078a","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.873724Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:d374dce18487a212520e57dfb75b8a3504777f1cc2dc20e2c225801e926380f1","observation_id":"e4a7584f-8c6f-46ae-a790-94105bda4485","resolution":{"observed_at":"2026-08-06T04:19:51.778743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16932","last_updated":"2024-12-22T09:06:58Z","snapshot_observed_at":"2026-08-09T00:16:01.187021Z","submitted_at":"2024-12-22T09:06:58Z","title":"GSemSplat: Generalizable Semantic 3D Gaussian Splatting from Uncalibrated Image Pairs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16932","snapshot_observed_at":"2026-08-06T04:19:48.952253Z","title":"Gsemsplat: Generalizable semantic 3d gaussian splatting from uncalibrated image pairs.arXiv preprint arXiv:2412.16932, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:48.952253Z"},"links":{"cited_paper":"/paper/2412.16932","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:8a76abb1c5a5050f588dfe6740299bb3cce65c929e5c8542281666fd05957914","observation_id":"9a142679-926d-4bac-8f90-5f80d23e72ce","resolution":{"observed_at":"2026-08-06T04:19:48.952253Z","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-06T04:19:51.430491Z","title":"Depthsplat: Connecting gaussian splatting and depth","venue":null,"work_id":"1e6c9f3d-20fb-4500-906b-3b37b384d30a","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.024743Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:59bc6625dd0b0d3f4f6c74ab63df51fe1b76e5722b4b39a4d5f32f994ee37d38","observation_id":"b333c77c-8c3d-44ea-be8c-1a06dbf684b6","resolution":{"observed_at":"2026-08-06T04:19:51.533153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:51.240942Z","title":"No pose, no prob- lem: Surprisingly simple 3d gaussian splats from sparse un- posed images","venue":null,"work_id":"e998e2a5-dc1c-47c6-a624-dac85022b43b","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.113148Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:7ef40500676ada30c4ac7524dc0f5c6471426c0d39c2ab865c9253409b4dd4a2","observation_id":"ec43bd0b-4f42-48b0-bef8-a70d37f38a57","resolution":{"observed_at":"2026-08-06T04:19:51.313394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:51.080886Z","title":"Scannet++: A high-fidelity dataset of 3d indoor scenes","venue":null,"work_id":"9b86784f-1ec4-490f-b68a-379f6d6d8df6","year":2023},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.223280Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:23e3d73e1b574640ec0542e5b21537c4e16daf2f6f09425e41ad49728e8f7e0c","observation_id":"e0ef95d9-c5de-4f73-8318-f657bbfe8d37","resolution":{"observed_at":"2026-08-06T04:19:51.154942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:50.901640Z","title":"pixelnerf: Neural radiance fields from one or few images","venue":null,"work_id":"3d4b253d-71bb-4f14-8c15-fc825297bf94","year":2021},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.316236Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:893436de0b44d3ba10ea34b567662def38931c52c8429ec757bbfb55b9a985b5","observation_id":"49fb7fb8-4f48-4268-bcd3-8bdc9de91d8f","resolution":{"observed_at":"2026-08-06T04:19:50.995913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:50.707689Z","title":"Panogs: Gaussian-based panoptic seg- mentation for 3d open vocabulary scene understanding","venue":null,"work_id":"b3162728-4e57-4d5b-9e20-a4f9ba993baf","year":2025},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.406871Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:ade2c9f3da3504147cc4d86f53b66de658e2b1ffc8b7c9b20606011cfd930a6f","observation_id":"dbe7090d-2dcb-4d1e-b2da-dcab313bb21c","resolution":{"observed_at":"2026-08-06T04:19:50.786947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:49.411323Z","title":"Efros, Eli Shecht- man, and Oliver Wang","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.411323Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:3701254647571781e154e08b09742a5197631dac53ff59ab738ec95e50858649","observation_id":"10ae903d-8b25-4542-91f9-06d524989f9e","resolution":{"observed_at":"2026-08-06T04:19:49.411323Z","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-06T04:19:50.513557Z","title":"Feature 3dgs: Supercharg- ing 3d gaussian splatting to enable distilled feature fields","venue":null,"work_id":"83a4605c-b58b-4d87-9ebf-9ee1f4e0d2d1","year":2024},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.574030Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:a2b0d2f74a8f1980cdc786cc613c91f75b395288d0a713384309b9816d186190","observation_id":"89e77d3a-5e71-4898-8f07-94126196cd2c","resolution":{"observed_at":"2026-08-06T04:19:50.602315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.09817","last_updated":"2018-05-24T17:58:02Z","snapshot_observed_at":"2026-07-06T06:41:05.545426Z","submitted_at":"2018-05-24T17:58:02Z","title":"Stereo Magnification: Learning View Synthesis using Multiplane Images","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.09817","snapshot_observed_at":"2026-08-06T04:19:49.616519Z","title":"Stereo magnification: Learning view synthesis using multiplane images.arXiv preprint arXiv:1805.09817, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.616519Z"},"links":{"cited_paper":"/paper/1805.09817","citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:1a163d16eff9c7e580a13315645466ab6955a513a9fe7b6f41a5ab18e0a9bf48","observation_id":"3acfb9ea-2189-4953-89c7-6565af24241d","resolution":{"observed_at":"2026-08-06T04:19:49.616519Z","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-06T04:19:50.303723Z","title":null,"venue":null,"work_id":"45f89915-a457-483a-b707-22b6e27c14ba","year":null},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.677769Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:f3d01bd42ef0e597999214c6fc6354b11464e90dade6cc3790541ba64b9566e8","observation_id":"d781f55b-ba24-4878-8bed-bccb2f9e6e2c","resolution":{"observed_at":"2026-08-06T04:19:50.404645Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T04:19:49.504714Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata","version":1},"reference_index":595,"source":"pdf_text","source_observed_at":"2026-08-06T04:19:49.504714Z"},"links":{"citing_paper":"/paper/2508.03641"},"observation_digest":"sha256:3fa4dd378f84312d05f7d9d119edb5205326162ca0690bddfd3e57dda2e8ca7f","observation_id":"82fa788c-10af-46a0-82fe-f6b53b9ab025","resolution":{"observed_at":"2026-08-06T04:19:49.504714Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.03641","last_updated":"2025-08-05T16:54:01Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-08T18:13:11.469028Z","submitted_at":"2025-08-05T16:54:01Z","title":"Visual Execution and Validation of Finite-State Machines and Pushdown Automata"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":1,"verified_fuzzy":35},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2508.03641."}