{"as_of":"2026-08-05T14:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e4a5f598bbde3897a4a829b7724945ee8bfaafbcb4184e44014e63d35f4ca56d","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T04:03:49.652113Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T11:11:43.833857Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-05-19T03:38:30.143195Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"cited_work":{"arxiv_id":"2507.15671","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.15671","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"BugScope: Learn to Find Bugs Like Human","venue":"cs.SE","work_id":"2c34c57c-9733-44be-99b0-3d8c6bc9c51b","year":2025},"citing_paper":{"arxiv_id":"2510.06452","last_updated":"2026-06-30T19:34:14Z","snapshot_observed_at":"2026-08-04T11:11:41.482040Z","submitted_at":"2025-10-07T20:43:35Z","title":"Code Semantic Zooming","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-18T08:44:12.528878Z"},"links":{"cited_paper":"/paper/2507.15671","citing_paper":"/paper/2510.06452"},"observation_digest":"sha256:b8b492a841641d53259df2c38706f143c4560358fac490d740439604ef202a75","observation_id":"66418bce-2b0a-4b9a-b050-437aba262aad","resolution":{"observed_at":"2026-05-18T08:46:07.914180Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.15671","snapshot_observed_at":"2026-08-04T11:11:43.833857Z","title":"Bugscope: Learn to find bugs like human.CoRR, abs/2507.15671, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06452","last_updated":"2026-06-30T19:34:14Z","snapshot_observed_at":"2026-08-04T11:11:41.482040Z","submitted_at":"2025-10-07T20:43:35Z","title":"Code Semantic Zooming","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T11:11:43.833857Z"},"links":{"cited_paper":"/paper/2507.15671","citing_paper":"/paper/2510.06452"},"observation_digest":"sha256:389a34de8d686b88b7f2a8ea0b990a163f1374b4e097f8a0fe4fa2841764a04d","observation_id":"cb10faf8-2e90-456a-a952-599352a9fa13","resolution":{"observed_at":"2026-08-04T11:11:43.833857Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"cited_work":{"arxiv_id":"2507.15671","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.15671","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"BugScope: Learn to Find Bugs Like Human","venue":"cs.SE","work_id":"2c34c57c-9733-44be-99b0-3d8c6bc9c51b","year":2025},"citing_paper":{"arxiv_id":"2605.15097","last_updated":"2026-07-18T06:02:16Z","snapshot_observed_at":"2026-08-03T08:31:35.622918Z","submitted_at":"2026-05-14T17:16:11Z","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-15T14:04:16.443346Z"},"links":{"cited_paper":"/paper/2507.15671","citing_paper":"/paper/2605.15097"},"observation_digest":"sha256:b75ce9e5af93af9bf7058a337dac358fc8e36ff2b3062b1cf71e305bdff1fc13","observation_id":"098d2ae2-d7eb-4641-b935-7f059b25ef26","resolution":{"observed_at":"2026-05-15T14:05:54.693052Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.15671","snapshot_observed_at":"2026-07-12T16:46:36.842198Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.15097","last_updated":"2026-07-18T06:02:16Z","snapshot_observed_at":"2026-08-03T08:31:35.622918Z","submitted_at":"2026-05-14T17:16:11Z","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-12T16:46:36.842198Z"},"links":{"cited_paper":"/paper/2507.15671","citing_paper":"/paper/2605.15097"},"observation_digest":"sha256:d3660c22d05e609c665b4151838a6ad2c6710086caf7e3c3c9d3bafa31185546","observation_id":"62d179c8-da7f-45bc-832e-5a9f5780d8ad","resolution":{"observed_at":"2026-07-12T16:46:36.842198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.15671","snapshot_observed_at":"2026-08-02T14:03:36.031161Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.15097","last_updated":"2026-07-18T06:02:16Z","snapshot_observed_at":"2026-08-03T08:31:35.622918Z","submitted_at":"2026-05-14T17:16:11Z","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T14:03:36.031161Z"},"links":{"cited_paper":"/paper/2507.15671","citing_paper":"/paper/2605.15097"},"observation_digest":"sha256:6252c858c5af7fde8d1faed97c418cd78b6c3ef2188d0841d8f567ee6b2f824d","observation_id":"03e111f2-009c-4921-942b-18074c938d54","resolution":{"observed_at":"2026-08-02T14:03:36.031161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2507.15671/citation-record","integrity":"/paper/2507.15671/integrity","json":"/paper/2507.15671/citation-record.json","paper":"/paper/2507.15671"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T00:05:48.311803Z","title":"write newline","venue":null,"work_id":"8e5fda61-e601-4df4-8204-015bee341570","year":null},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:0a39072eedb989a161ce69052afa8daac810d418cb1919d249d74196d11f27ec","observation_id":"3c1b23a2-8c4a-4ef9-b01d-b5939d558721","resolution":{"observed_at":"2026-05-19T04:07:02.437646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4291.259429","doi":"10.1145/2594291.2594296","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"McDaniel","venue":null,"work_id":"c9b39932-7930-4f3b-9b34-241ccb1e8512","year":2014},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:d2ae41d9069e765da77312d8d14fbae09a8f5e575d9a2044bd9d08aaec44047e","observation_id":"202c57b8-c1cd-4658-aa86-b621df121e17","resolution":{"observed_at":"2026-05-19T04:07:01.857248Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Language models are few-shot learners","venue":null,"work_id":"b5af3a68-2622-4421-b39b-b1d2fbde2d8d","year":1901},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:ed36b4a36d99373ca580967ac1cd04e561fe099513408115a3c9963121cf8764","observation_id":"fac029f9-e168-4c84-8df3-43c6d6723b8c","resolution":{"observed_at":"2026-05-19T04:07:02.421821Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Tree-sitter-a new parsing system for programming tools","venue":null,"work_id":"68f1ee27-dd30-4461-a26c-3dc07eeaad18","year":2018},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:10a3809f6468d9db6561e253dd0bd9441b27153fe8eb9bd87ee301f0c496a8a1","observation_id":"c6ff07aa-93fb-41ce-b7be-2f4d9415ef9d","resolution":{"observed_at":"2026-05-19T04:07:02.360108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"02b11437-190f-42c0-ab58-c926757ff4bf","year":2008},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:aceb123b96f3c30bfb72806a9bb5c03587daa8e46e9ff7ba91cfba4c4d6f74de","observation_id":"548146c0-b099-4a2f-8889-6ace72202604","resolution":{"observed_at":"2026-05-19T04:07:02.434358Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0881.148091","doi":"10.1145/1480881.1480915","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"O’Hearn, and Hongseok Yang","venue":null,"work_id":"5c0b8b6d-54f7-4aea-8f7f-8dc692658fec","year":2009},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:7ad11c27702e2fdf681fd86ec75937fab3c515ead0ff3c4395420dc2f17e6575","observation_id":"20769afc-d1c9-4076-a9c2-05c3c399c153","resolution":{"observed_at":"2026-05-19T04:07:01.862057Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Seal: Towards diverse specification inference for linux interfaces from security patches","venue":null,"work_id":"9f7077db-768f-432d-9d36-1629614e7e22","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:e0ada033e936a84048db2be04f27c3010ff1295cf304f22ab74fed64cb55f344","observation_id":"d73dcfe1-ea4b-4de3-885d-3f8d11c1e6f8","resolution":{"observed_at":"2026-05-19T04:07:02.414950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Coderabbit: Ai-powered code review for github","venue":null,"work_id":"64daf707-650a-4936-bf3d-b77871bf6245","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:f5e6eabdcebcce971ea1ff41206305382157ceeca54d05ea79797ec7a5593d12","observation_id":"958ef561-2d14-40f1-999c-c2d70865bec2","resolution":{"observed_at":"2026-05-19T04:07:02.397181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Bugbot documentation","venue":null,"work_id":"3d3d2a4c-7e7b-46a7-9d7b-36001b728655","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:887ff31cfa63e01f3a4be4f5e0d8969e1a65aa898094eab40d3c4d53bf73c794","observation_id":"4a6ec4f0-08c8-4716-8de0-c304088277a5","resolution":{"observed_at":"2026-05-19T04:07:02.346233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.00234","last_updated":"2024-10-05T11:47:02Z","snapshot_observed_at":"2026-07-06T14:36:25.690733Z","submitted_at":"2022-12-31T15:57:09Z","title":"A Survey on In-context Learning","version":6},"cited_work":{"arxiv_id":"2301.00234","doi":"10.48550/arxiv.2301.00234","metadata_source":"pith","pith_arxiv_id":"2301.00234","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Survey on In-context Learning","venue":"cs.CL","work_id":"864701ca-cb36-4a91-9be8-e2b9b20679aa","year":2022},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"cited_paper":"/paper/2301.00234","citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:0d176f40a5623325ade2ce52695136c1586ba971084aac079b99c5873f03d20c","observation_id":"cfb19d60-c84d-438c-8773-7eb77630938c","resolution":{"observed_at":"2026-05-19T04:07:01.907783Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"CodeQL for Java","venue":null,"work_id":"506e6a0e-0a7b-4582-8e0a-7e95b2d124ed","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:93c5fc06d27546b3ec6bffd8df8db9b983d2ec98523fec563d52b1f2d744e724","observation_id":"99da1bb3-78a4-447a-9122-fff0135edb90","resolution":{"observed_at":"2026-05-19T04:07:02.369029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Codeql documentation","venue":null,"work_id":"88eb3e05-76aa-4007-83da-c1dd9e875914","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:569ceb66a0a32da11957c9d7e2a2d4fa3f9eb3de59aca357e92f3c528f1599bd","observation_id":"d033fd51-712a-45ff-bc4a-5d996074a458","resolution":{"observed_at":"2026-05-19T04:07:02.366388Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Oss-fuzz: Continuous fuzzing for open source software","venue":null,"work_id":"8c5cb533-ac35-40a5-a3d4-f8b98ffb45f0","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:b17d5cdebcb8dd0768d04d27878a7cf569524d6b0d43d8957e75267b9f31a93e","observation_id":"914e7a6b-cf82-46ff-8697-f378101eb5ce","resolution":{"observed_at":"2026-05-19T04:07:02.431756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.18160","last_updated":"2025-05-29T22:08:26Z","snapshot_observed_at":"2026-07-06T20:28:14.293619Z","submitted_at":"2025-01-30T05:56:30Z","title":"RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing","version":3},"cited_work":{"arxiv_id":"2501.18160","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2501.18160","snapshot_observed_at":"2026-07-04T08:29:42.446100Z","title":"Repoaudit: An autonomous llm-agent for repository-level code auditing","venue":null,"work_id":"27b742af-464a-4378-9aa8-2b8de776a28f","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"cited_paper":"/paper/2501.18160","citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:61548b64c8066dcb6dda3206e006c7a382c146e074e9d89e1328cb81e38a435a","observation_id":"8be8d645-9d86-416f-becb-2ea9c5be197b","resolution":{"observed_at":"2026-05-19T04:07:01.903468Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Precise divide-by-zero detection with affirmative evidence","venue":null,"work_id":"d7386a34-ccf2-4013-bf21-8951cf232717","year":2022},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:4be905172ce286c962195f612fd3bc3f8fbe9bd38170e457b55192427b2586c9","observation_id":"149e067c-1445-4ab1-aefe-bcf6d5cf423e","resolution":{"observed_at":"2026-05-19T04:07:02.357517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Precise compositional buffer overflow detection via heap disjointness","venue":null,"work_id":"ba21e5b1-635f-4b24-a760-50204e5d01be","year":2024},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:fa0a6a98f0f87bd74c54064418aa4be017fd155312471bb91afbd77fa70a0ea2","observation_id":"de7b6a72-f5d2-40a6-9b03-9bb1f2049894","resolution":{"observed_at":"2026-05-19T04:07:02.349081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Machine-learning-guided selectively unsound static analysis","venue":null,"work_id":"3b2e0b18-5883-4cb7-918b-7c4f3c144f81","year":2017},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:d50fd8587dad42a111d24a2fcf052ba544bf0c82cdad443a3fe4f6f97b761c3c","observation_id":"034670f3-7290-4fc7-8095-eed6fdf4e58f","resolution":{"observed_at":"2026-05-19T04:07:02.428781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Raisin: Identifying rare sensitive functions for bug detection","venue":null,"work_id":"99593d7f-a43f-4582-a7b2-481cbf97b769","year":2024},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:90689dd76d2edc8b05636b46de7f7b48c6ea93844eb1f1db8a6c9e319900f09c","observation_id":"d42137b1-ada6-4c82-9dc8-8a15eeac327a","resolution":{"observed_at":"2026-05-19T04:07:02.364195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"SWE -bench: Can language models resolve real-world github issues? In The Twelfth International Conference on Learning Representations","venue":null,"work_id":"cbf90a07-0adc-4864-9a27-518b007cbc44","year":2024},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:ed83007800bee397c7d2112a352ee00ae7cfe28795ed758501963633502819da","observation_id":"f7a9b289-bddd-4a26-a763-a10cf2bd6b1a","resolution":{"observed_at":"2026-05-19T04:07:02.380043Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Why don't software developers use static analysis tools to find bugs? In 2013 35th International Conference on Software Engineering (ICSE), pp.\\ 672--681","venue":null,"work_id":"119281f5-b089-4c37-b07b-4e988b25976c","year":2013},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:9fb85f793bacb1d87b069fba6f5992014679efe4e7b0d2d29166af53b9fb3187","observation_id":"eb92c00b-2cc7-4f7f-b123-e312275d2f48","resolution":{"observed_at":"2026-05-19T04:07:02.386856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Enhancing static analysis for practical bug detection: An llm-integrated approach","venue":null,"work_id":"9ce3901a-884d-4f25-acbd-6eeea762893a","year":2024},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:46916e4fcd58c9751011103086d862964e97c7367294118680fd9104f36bf1ff","observation_id":"41012dc7-b369-4efb-a695-16726bb59122","resolution":{"observed_at":"2026-05-19T04:07:02.425147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.16057","last_updated":"2026-04-14T01:05:28Z","snapshot_observed_at":"2026-07-06T21:13:09.093282Z","submitted_at":"2025-04-22T17:33:53Z","title":"Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns","version":5},"cited_work":{"arxiv_id":"2504.16057","doi":"10.48550/arxiv.2504.16057","metadata_source":"pith","pith_arxiv_id":"2504.16057","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns","venue":"cs.CR","work_id":"e4413e23-c0d4-4045-a85e-25d8a8cd712d","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"cited_paper":"/paper/2504.16057","citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:a6bc11d49807c489d37a85de7d1adc52e9afe1231fa072d46f52b15ed732c685","observation_id":"15a960a5-3d7a-455b-be89-d91568f73002","resolution":{"observed_at":"2026-05-19T04:07:01.850798Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Iris: Llm-assisted static analysis for detecting security vulnerabilities","venue":null,"work_id":"215f0f90-7e73-4020-8a80-1f99883e05da","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:3d732dc6dde66d590ed2a71e0d3d6eaa06380ecbc373e2bcf18e12bd7fad8d1f","observation_id":"baddcae9-eeed-433a-8784-3e6336e865fc","resolution":{"observed_at":"2026-05-19T04:07:02.418188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Infer Static Analyzer","venue":null,"work_id":"86e94afc-583e-4845-a7eb-6914ebb52b93","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:b6db02c8d1d91068e666ba0f3677254bb59de971292be1aea56c4d18862297d1","observation_id":"f8151eda-8cbf-4052-948b-b2a5285fc681","resolution":{"observed_at":"2026-05-19T04:07:02.411953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Common Weakness Enumeration (CWE)","venue":null,"work_id":"7c93b5ac-5665-4209-916a-5f3415d6b844","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:5f9b8da09ce63a4ae07491c13b09126ac537598b92ef0e9a321d3c4d73e96c3a","observation_id":"485db5ac-a295-4c0d-97ed-9ffd84beefdb","resolution":{"observed_at":"2026-05-19T04:07:02.408854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Cve - common vulnerabilities and exposures","venue":null,"work_id":"80450b6e-58fb-41a7-8347-4aadc163f19b","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:69d9f778cee4aa49b4683fef1afae07a99b361200efa5e835e9adc5fb8c12069","observation_id":"dd3c0c1f-40ed-49cf-94de-0eab4700b6a1","resolution":{"observed_at":"2026-05-19T04:07:02.402122Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Sporq: An interactive environment for exploring code using query-by-example","venue":null,"work_id":"e2375003-4663-4d10-9985-4dd9300886ed","year":2021},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:21d725ce4e520caf059f81c39c966ae13f79df7bba6d91304a34a6c1962c9485","observation_id":"506438c2-0ea7-4f65-b5ef-c209d1cba679","resolution":{"observed_at":"2026-05-19T04:07:02.393579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Undecidability of context-sensitive data-dependence analysis","venue":null,"work_id":"76c98c0b-6baa-4f91-9956-6b04e892a767","year":2000},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:d89d29980a05ce8920bd4fdcfe1a22ea90b7d2c3c9821297f2011bfc9d741d40","observation_id":"f339cd08-41a1-4b4d-a7d7-b367f2a8d9e3","resolution":{"observed_at":"2026-05-19T04:07:02.390008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Pinpoint: Fast and precise sparse value flow analysis for million lines of code","venue":null,"work_id":"1fbc2998-5ea1-436c-ac11-74f89f264d53","year":2018},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:f54c4ee80e302f260369b2e4f780d6488839d897f0232875a9d93aa2426843fb","observation_id":"f280a778-0017-431d-81b8-ccac34f993d9","resolution":{"observed_at":"2026-05-19T04:07:02.383734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Path-sensitive sparse analysis without path conditions","venue":null,"work_id":"6fb159ef-3868-4a8c-87d1-a90c86088d9d","year":2021},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:2924c3a777c089323656b312b96d84fee21fb91837cfa5e2d288735c856003db","observation_id":"a0f490cb-54c4-4c93-9c6f-e297f3f2bef7","resolution":{"observed_at":"2026-05-19T04:07:02.376525Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2208.289223","doi":"10.1145/2892208.2892235","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Available: http://doi.acm.org/10.1145/2892208.2892235","venue":null,"work_id":"8cf501a0-4462-4843-a6b7-e3f1af600fd4","year":2016},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:3a08c24f292c60531c49f4de826a9ae671a39dc29fe5f3176a6934a39b73cf11","observation_id":"01929325-7b20-405e-8ff0-27b485914a63","resolution":{"observed_at":"2026-05-19T04:07:01.846755Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:50:04.916053+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:50:04.916053+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"LLMDFA : Analyzing dataflow in code with large language models","venue":null,"work_id":"135d6272-327d-4235-85fc-7c8e78b33051","year":2024},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:2c0e3013a72ff0f49774867ecb9a26d6c44d090e2b838951a186a425345fc689","observation_id":"737fcc29-2780-4637-bbb5-3bfed3b1479d","resolution":{"observed_at":"2026-05-19T04:07:02.354792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.09002","last_updated":"2025-09-03T21:48:29Z","snapshot_observed_at":"2026-07-06T20:51:04.900724Z","submitted_at":"2025-03-12T02:30:19Z","title":"KNighter: Transforming Static Analysis with LLM-Synthesized Checkers","version":3},"cited_work":{"arxiv_id":"2503.09002","doi":"10.48550/arxiv.2503.09002","metadata_source":"arxiv_reference","pith_arxiv_id":"2503.09002","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Knighter: Transforming static analysis with llm-synthesized checkers","venue":"arXiv (Cornell University)","work_id":"d74b8177-70d4-46e3-b1b5-5f7a7165a3db","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"cited_paper":"/paper/2503.09002","citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:1213a69a7f76364d0e16ded31c8caed99e4af6f7b5a0acac6267e3d559c6a3a2","observation_id":"2c805032-181d-4d11-b5d8-81b869d2a519","resolution":{"observed_at":"2026-05-19T04:07:01.840675Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2506.00714","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rfcaudit: An llm agent for functional bug detection in network protocols","venue":null,"work_id":"a938f28c-1801-430e-ab8c-af82be7ec400","year":2025},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:7abc24938ac8911c76874f0adb754b813f21af2db8a35a450621b1164bf7de26","observation_id":"d53e979f-68fd-4a2b-aa31-3eda649d5fb9","resolution":{"observed_at":"2026-05-19T04:07:01.912319Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-08T23:55:44.012295Z","title":"@esa (Ref","venue":null,"work_id":"b058608d-98d0-4821-a4ae-403d2b7cd411","year":null},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:6871d7044b506bf422aaa00a38a9751a402da8393b6f6d31fc0dff55c529ef3d","observation_id":"94301b7b-778c-4015-8b24-b9c4f36f1538","resolution":{"observed_at":"2026-05-19T04:07:02.372068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-09T00:05:48.337191Z","title":null,"venue":null,"work_id":"ea79bfb8-d434-45e9-8607-416d3839ec5c","year":null},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:b1677dde007e5459ddfb14e0cfb6ac00a74657b2605137cf2478cbbf8586ac74","observation_id":"83d8e877-2e5d-4d19-825e-de5afb66a265","resolution":{"observed_at":"2026-05-19T04:07:02.405995Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Recent studies have adopted two complementary paradigms for leveraging LLMs in bug detection: LLM-augmented program analysis and LLM-based autonomous agents","venue":null,"work_id":"1889991a-cd0b-4de9-9e73-52b93ff485a7","year":null},"citing_paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-05-19T04:03:49.652113Z"},"links":{"citing_paper":"/paper/2507.15671"},"observation_digest":"sha256:2a051cccc45ab0e218f9c7676e6538d281171091269dd385f4df580b0ca55306","observation_id":"2044e222-fd0b-43fb-9f75-625897d29cfc","resolution":{"observed_at":"2026-05-19T04:07:02.352237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.15671","last_updated":"2026-04-15T01:53:23Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T22:00:28.955116Z","submitted_at":"2025-07-21T14:34:01Z","title":"BugScope: Learn to Find Bugs Like Human"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":2,"verified_exact":5,"verified_fuzzy":27},"total_outbound_references":37},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 5 inbound Pith citation observations for arXiv:2507.15671."}