{"as_of":"2026-08-10T04:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9c3dd11cfb81fcb034e72d7d5f98f0d8fdf2f689c3f17e22248d26516276dda5","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T12:59:48.229723Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"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.21271/citation-record","integrity":"/paper/2507.21271/integrity","json":"/paper/2507.21271/citation-record.json","paper":"/paper/2507.21271"},"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-06T12:59:52.820713Z","title":"Pan-cancer computational histopathology reveals mutations, tumor composition and prognosis,","venue":null,"work_id":"9063b7b3-0326-4361-8332-271fab782b11","year":2020},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:43.742784Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:326761b730a2f5f6ba2693f13084f3a6792307bc95ffdebb5259566100a246b7","observation_id":"9b0bbf4d-2f52-4c0e-a154-ea56c1581803","resolution":{"observed_at":"2026-08-06T12:59:52.884453Z","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-06T12:59:52.693615Z","title":"Apolloauto,","venue":null,"work_id":"a3ff8c43-73ec-4c61-936b-c1758cc8ee5c","year":2024},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:43.838777Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:0605ac9808c34a1d03a6f037e170d5a4e9a25448a031ac9ebd7e4ac61ce57ebf","observation_id":"5d031dd4-ce53-407b-96fd-5f2d53fb310e","resolution":{"observed_at":"2026-08-06T12:59:52.741570Z","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-06T12:59:52.581400Z","title":"Meshcnn: a network with an edge,","venue":null,"work_id":"adffb68c-cd5f-4e45-8631-a40bda0ac8be","year":2019},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:43.915233Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:21681727632eec125314796dcd051391d11aa6b89f40f45f89839a53a8bcbec9","observation_id":"760f72c4-f235-42f8-9f80-d6d18c398b0c","resolution":{"observed_at":"2026-08-06T12:59:52.632758Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:59:44.021668Z","title":"Testing of autonomous driving systems: where are we and where should we go?","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.021668Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:33b400c89d8caaa38ce4d8dc162b7d89abd9cc2bfecc397e13412f7d572ac3d5","observation_id":"945914e8-cead-4e23-9b2e-eb2ce7581888","resolution":{"observed_at":"2026-08-06T12:59:44.021668Z","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-06T12:59:52.431697Z","title":"An open- source machine-learning application for predicting pixel-to-pixel ndvi regression from rgb calibrated images,","venue":null,"work_id":"77530649-fcb5-4c1e-95ec-e6a53dcc556a","year":2024},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.175513Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:fed39dd92abd4b2ab0e556d09da0d0864709ff1801992ffb838c5574edd093ad","observation_id":"0f0b7fbc-a2e4-407a-b027-8779c7f3ae56","resolution":{"observed_at":"2026-08-06T12:59:52.503315Z","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-06T12:59:52.226027Z","title":"Omniseg3d: Omniversal 3d segmentation via hierarchical contrastive learning,","venue":null,"work_id":"ffe926d2-541f-4fd7-ab32-114da393b15f","year":2024},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.332515Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:ae7269093df337d8a712dc36c3c416ed536f62f8beb49ce5e6ea80f5b2f8c1b4","observation_id":"a2734cf3-c748-4e21-b31a-34f3074dd24d","resolution":{"observed_at":"2026-08-06T12:59:52.316589Z","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-06T12:59:52.035369Z","title":"American fuzzy lop","venue":null,"work_id":"87851955-365b-497c-a061-b56e80f0f7d4","year":null},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.452121Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:1a61c56e8efb6ce593fc6701051ff35fe090ec5b8ac1626e49bd0a420bc51a60","observation_id":"927cc975-2d0e-4041-992f-ee057142634e","resolution":{"observed_at":"2026-08-06T12:59:52.118476Z","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":"4452.33644","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:59:49.317119Z","title":"Saffron: Adaptive grammar-based fuzzing for worst-case analysis,","venue":null,"work_id":"905aed99-7140-4a83-8fdf-a3389402b580","year":2019},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.613914Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:7d27a0246efdeef3c6bbe0752c96e33a13c40643ed363665dc4f2cdfef069780","observation_id":"b125d03d-8624-45f0-9d1a-4faf22e0ae05","resolution":{"observed_at":"2026-08-06T12:59:49.386097Z","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":{"arxiv_id":"1801.09847","last_updated":"2018-01-30T04:33:20Z","snapshot_observed_at":"2026-07-06T06:20:51.245757Z","submitted_at":"2018-01-30T04:33:20Z","title":"Open3D: A Modern Library for 3D Data Processing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1801.09847","snapshot_observed_at":"2026-08-06T12:59:44.725688Z","title":"Open3D: A modern library for 3D data processing,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.725688Z"},"links":{"cited_paper":"/paper/1801.09847","citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:a1dee312eea825ba650fe68e185615d55d094f7f838d75a77e0fb2c8109a15b0","observation_id":"da84fcb0-d9b6-4913-8a0e-c0af14126b50","resolution":{"observed_at":"2026-08-06T12:59:44.725688Z","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-06T12:59:51.855547Z","title":"[Online]","venue":null,"work_id":"3ea51579-c46d-4439-8a9e-ded7695867ee","year":2024},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.859418Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:1b3e324a934f78ebb5c8353957e8a9f053e2fb2df8dc21680a905c461bd818c1","observation_id":"7cf06097-1ff4-4531-bf0a-006573c0aff2","resolution":{"observed_at":"2026-08-06T12:59:51.939697Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:59:44.979686Z","title":"Deepsdf: Learning continuous signed distance functions for shape rep- resentation,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:44.979686Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:3e66e4b832308b359101a882528ea76ac35a12b377bf4953a8d4a9ca8be11afb","observation_id":"a1437e9b-357d-46c4-8065-dd8b9d048d92","resolution":{"observed_at":"2026-08-06T12:59:44.979686Z","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-06T12:59:51.682052Z","title":"Cfd vision 2030 study: A path to revolutionary computational aerosciences,","venue":null,"work_id":"2dacc456-2ffd-4479-817e-105efb9c956e","year":2025},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:45.191232Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:d7638f1bad8b886e6b9f667bf7a62105f703ba4a7b6b685475c3757ec60e4b48","observation_id":"a7a1578b-ece5-4f7d-af4d-43eabde1ed93","resolution":{"observed_at":"2026-08-06T12:59:51.779192Z","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-06T12:59:51.458880Z","title":"3d adversarial attacks beyond point cloud,","venue":null,"work_id":"8e4d1577-c176-4fec-a0a4-5caee6d27e56","year":2023},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:45.344321Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:c0acca9fb25a6a96128ed54f474dac73d9f8d2be1b72f3d35b667e088794725a","observation_id":"43476fed-c04e-475c-be4a-7cd7f482e3dc","resolution":{"observed_at":"2026-08-06T12:59:51.583072Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:59:45.446638Z","title":"Black box fairness testing of machine learning models,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:45.446638Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:1811d95a2822cc82cbe5f7f1719c33b5568609495c914176dd5cc1aa76b4c137","observation_id":"a9848b51-480a-4154-a846-68880eeae20d","resolution":{"observed_at":"2026-08-06T12:59:45.446638Z","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-06T12:59:45.715605Z","title":"Input invariants,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:45.715605Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:49c58f4d9b01f569a57f70b3fed085a06162864e5e9c9bad70f1db1d57189c68","observation_id":"47b93af7-0937-4148-938c-56ff3f62e4e9","resolution":{"observed_at":"2026-08-06T12:59:45.715605Z","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-06T12:59:51.293400Z","title":"FAUST: Dataset and evaluation for 3D mesh registration,","venue":null,"work_id":"ef5943ba-43d3-4c9d-89f7-6b026d891e56","year":2014},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:45.884019Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:41e0f3facd253535686385af7ae1119444f7253b7f4a1c7a9ce2cfc5d99d78b6","observation_id":"d24efa80-690b-4f47-afdf-cb7b6564e6b5","resolution":{"observed_at":"2026-08-06T12:59:51.387791Z","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":"1512.03012","last_updated":"2015-12-09T19:42:48Z","snapshot_observed_at":"2026-08-07T11:28:03.211074Z","submitted_at":"2015-12-09T19:42:48Z","title":"ShapeNet: An Information-Rich 3D Model Repository","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1512.03012","snapshot_observed_at":"2026-08-06T12:59:46.029516Z","title":"ShapeNet: An Information-Rich 3D Model Repository,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.029516Z"},"links":{"cited_paper":"/paper/1512.03012","citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:d9c9051a9b9a8508272f1ef51d3583a5212122cffe9d7c503f08fbef01517bc8","observation_id":"f5b821ca-ebd6-466c-a36f-39373af74a4b","resolution":{"observed_at":"2026-08-06T12:59:46.029516Z","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-06T12:59:51.121193Z","title":"Hodgenet: Learning spectral geometry on triangle meshes,","venue":null,"work_id":"2aa93afa-27b0-41b7-97e4-902729c8a0e3","year":2021},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.176156Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:1e3ced835dbffac358e6e9bb4972ff832ecd27291086c29c6a656924d09f033c","observation_id":"71718c2c-7aa3-4625-b501-0d77419be69b","resolution":{"observed_at":"2026-08-06T12:59:51.194556Z","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":"1406.5670","last_updated":"2015-04-15T16:46:05Z","snapshot_observed_at":"2026-07-06T03:46:58.247552Z","submitted_at":"2014-06-22T03:31:52Z","title":"3D ShapeNets: A Deep Representation for Volumetric Shapes","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1406.5670","snapshot_observed_at":"2026-08-06T12:59:46.255289Z","title":"3d shapenets: A deep representation for volumetric shapes,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.255289Z"},"links":{"cited_paper":"/paper/1406.5670","citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:af68d32d7300d52f3d3eda4c985b52470e96ea4afdd8c58fe51b1aa965fc935c","observation_id":"1b85c041-ac08-48a2-92ff-5e8bee63b1cc","resolution":{"observed_at":"2026-08-06T12:59:46.255289Z","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-06T12:59:50.957297Z","title":"Meshsdf: Differentiable iso-surface extraction,","venue":null,"work_id":"1260de35-2924-4a70-b7e0-d32955fec660","year":null},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.374659Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:78b1ce0f2aa5efd9ca37d68baa959f661ecf76926d639212ffc9f232fddadad1","observation_id":"24752259-fe72-4001-8751-2c4455489a35","resolution":{"observed_at":"2026-08-06T12:59:51.028425Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:59:46.555637Z","title":"Point2mesh: a self-prior for deformable meshes,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.555637Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:546b0ad0d0b918ee5c8d46e1b968f5505d97214f511b2a71bb8038c99bf9efc1","observation_id":"e4a9dfe2-2b21-4b01-a6ea-269c2a5051f2","resolution":{"observed_at":"2026-08-06T12:59:46.555637Z","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-06T12:59:46.643942Z","title":"Active co-analysis of a set of shapes,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.643942Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:39c2ff5431342d3201b63534cdb98c9ac4af542ce987254161f5f6290af2744a","observation_id":"fbff4bf3-c961-4cf4-8e9b-ed9b90a4a7d9","resolution":{"observed_at":"2026-08-06T12:59:46.643942Z","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-06T12:59:50.727966Z","title":"Meshwalker: Deep mesh understanding by random walks,","venue":null,"work_id":"82fc23b4-6b7f-427f-997a-c7bf898eb289","year":2020},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.793032Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:6c598606ccf8ee26cbc436a7d5d1d18b672cee3aa525fd9be10b1bb1f85c82c7","observation_id":"7ff2ab07-7900-4bed-ab66-6954b262cd31","resolution":{"observed_at":"2026-08-06T12:59:50.819317Z","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-06T12:59:50.532312Z","title":"3D menagerie: Modeling the 3D shape and pose of animals,","venue":null,"work_id":"7dc46374-b11e-4d13-bcd9-c9141d6d5cff","year":2017},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.900793Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:56b8be9edf2d64ec62bcd5eedf4c545a1f53d603717ea147467be08d4994954f","observation_id":"7d2dd841-1eef-4e84-96d5-366a7017f90e","resolution":{"observed_at":"2026-08-06T12:59:50.605813Z","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":"1904.03751","last_updated":"2019-08-19T12:53:49Z","snapshot_observed_at":"2026-08-05T02:40:39.462345Z","submitted_at":"2019-04-07T21:49:26Z","title":"DeepGCNs: Can GCNs Go as Deep as CNNs?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.03751","snapshot_observed_at":"2026-08-06T12:59:46.985294Z","title":"Deepgcns: Can gcns go as deep as cnns?","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.985294Z"},"links":{"cited_paper":"/paper/1904.03751","citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:5b059f943fec1b9b2ee716ff6fa85c8fd08d1637526cbca47a2667c3177bbdb9","observation_id":"792144a5-07d8-4188-a73e-1e5e2a44cdf8","resolution":{"observed_at":"2026-08-06T12:59:46.985294Z","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-06T12:59:50.338983Z","title":"Boundary-aware geometric encoding for semantic segmentation of point clouds,","venue":null,"work_id":"c29818a8-4485-4ad2-b039-94d3ac2dfe7e","year":null},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.056550Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:677d61d4d35467c64630e30e7913e2533adc6f8b3612e1b87742c10595b800df","observation_id":"0f9a7121-412f-4558-b110-9377a24750d4","resolution":{"observed_at":"2026-08-06T12:59:50.429439Z","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-06T12:59:50.178302Z","title":"Human3.6m: Large scale datasets and predictive methods for 3d human sensing in natural environments,","venue":null,"work_id":"eb11e229-6d75-4562-bcbd-d9ce33bf2016","year":2014},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.172365Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:8d0317145b64a9a8812f534febfb63e64b673d679f3f5f80e99e014da9fe3b34","observation_id":"7759bfc9-fc51-4a98-bbe7-5115ba61cfcf","resolution":{"observed_at":"2026-08-06T12:59:50.268181Z","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":"1803.11527","last_updated":"2018-09-12T15:42:21Z","snapshot_observed_at":"2026-07-06T06:31:05.259347Z","submitted_at":"2018-03-30T16:10:21Z","title":"SpiderCNN: Deep Learning on Point Sets with Parameterized Convolutional Filters","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.11527","snapshot_observed_at":"2026-08-06T12:59:47.280869Z","title":"Spidercnn: Deep learning on point sets with parameterized convolutional filters,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.280869Z"},"links":{"cited_paper":"/paper/1803.11527","citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:5dd12103e7c7ff79dd724331ffdf17b5cda78ba9d50998a7f333303bdbeb9679","observation_id":"145abbcd-7b9b-4c72-868d-1c7cc8da362c","resolution":{"observed_at":"2026-08-06T12:59:47.280869Z","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-06T12:59:47.364393Z","title":"Evaluating fuzz testing,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.364393Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:cfb10f15232b8888bfd42d8528ea9d11997aea951792087b1005ef8f8e123e51","observation_id":"a46dd9be-0a60-446c-83bc-6ddf0e6718f8","resolution":{"observed_at":"2026-08-06T12:59:47.364393Z","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-06T12:59:50.035239Z","title":"Token-Level fuzzing,","venue":null,"work_id":"1473d8dc-33e5-4e95-99b5-3a84f353f15a","year":2021},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.473287Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:0bd8e64a19c43bd5efdf7fec790e5d7bf76dac8d3fc4e348c595068347980a61","observation_id":"9ea799d7-f4e0-4874-b320-241feb184870","resolution":{"observed_at":"2026-08-06T12:59:50.105677Z","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-06T12:59:49.805346Z","title":"Skyfire: Data-driven seed generation for fuzzing,","venue":null,"work_id":"9de770f8-316b-46a8-96ac-f75c5b04b26e","year":2017},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.588619Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:057fba9ee7a24b0227e59c688f6bbaa518a8f471de7c44f838905f5ccba11b1a","observation_id":"49d5059e-1841-4480-ae2a-cb9a1014b1c2","resolution":{"observed_at":"2026-08-06T12:59:49.930818Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T12:59:47.677483Z","title":"Superion: grammar-aware greybox fuzzing,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.677483Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:bc893a19bcb98a3af99ea1680d0d6bca9fe12e92659cc705518fcf3c8a237457","observation_id":"2d8d7e16-fe76-425f-b98f-4ff683db6f0e","resolution":{"observed_at":"2026-08-06T12:59:47.677483Z","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-06T12:59:47.775397Z","title":"Graphfuzz: Library api fuzzing with lifetime-aware dataflow graphs,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.775397Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:82b5205a818beed85f2e0b5dda29cd7d07ba0d41ba8e31b177fb14d8cb0f1c6b","observation_id":"e4cc783c-b360-4f2c-8c0d-8e17df5c5a90","resolution":{"observed_at":"2026-08-06T12:59:47.775397Z","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-06T12:59:47.898987Z","title":"Nnsmith: Generating diverse and valid test cases for deep learning compilers,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:47.898987Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:57aaec20bf88469c75b0129b38f757971fc3c3c37e4e581ce733974596a0451e","observation_id":"a73b6d3b-9372-46fd-b668-f1f69fbb45f2","resolution":{"observed_at":"2026-08-06T12:59:47.898987Z","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-06T12:59:48.021954Z","title":"Neuri: Diversifying dnn generation via inductive rule inference,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:48.021954Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:f1aea30fe2fc20d2380ca31afe6872c191c767accd8fecb50b202872ca8eaa71","observation_id":"34fbe163-5b72-4611-be53-cff5a7434469","resolution":{"observed_at":"2026-08-06T12:59:48.021954Z","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-06T12:59:49.629414Z","title":"Adversarial testing with rein- forcement learning: A case study on autonomous driving,","venue":null,"work_id":"d2a1f5e4-350a-4be9-ae3b-679bf8216d3f","year":2024},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:48.119017Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:bf99b39c61b7a4e64ed369628988a589667b6768a1a925973743346f85b00638","observation_id":"a71f62cb-a893-48bd-8936-8dde55eea52b","resolution":{"observed_at":"2026-08-06T12:59:49.729965Z","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-06T12:59:49.490344Z","title":"Towards understanding the effectiveness of large language models on directed test input generation,","venue":null,"work_id":"34a0d9bd-0cbf-462d-81cf-8305865ce6e1","year":2024},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:48.229723Z"},"links":{"citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:9ed50a26759f0c527a540485f982b641d8737e9ae7f3160c968833416e7a8c53","observation_id":"e462fd53-125e-4462-af53-4ece1dee4308","resolution":{"observed_at":"2026-08-06T12:59:49.553997Z","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":"2006.03997","last_updated":"2020-10-31T15:45:02Z","snapshot_observed_at":"2026-08-09T15:50:39.676865Z","submitted_at":"2020-06-06T23:44:05Z","title":"MeshSDF: Differentiable Iso-Surface Extraction","version":2},"cited_work":{"arxiv_id":"2006.03997","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.03997","snapshot_observed_at":"2026-08-06T12:59:48.886552Z","title":"MeshSDF: Differentiable Iso-Surface Extraction","venue":"cs.CV","work_id":"04435b44-0a3a-4086-b12e-038b28722bb5","year":2020},"citing_paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-06T12:59:46.455001Z"},"links":{"cited_paper":"/paper/2006.03997","citing_paper":"/paper/2507.21271"},"observation_digest":"sha256:3efa982980f043978d28bd3f9638982ad3be7be4940c7d05803a3225525d11f0","observation_id":"9adec5ac-1ffe-46a0-9038-e11d9998a7f7","resolution":{"observed_at":"2026-08-06T12:59:48.966625Z","resolver_source":"local_arxiv","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"}}],"paper":{"arxiv_id":"2507.21271","last_updated":"2025-07-28T18:54:04Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T19:44:26.638595Z","submitted_at":"2025-07-28T18:54:04Z","title":"Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":20},"total_outbound_references":38},"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 10 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2507.21271."}