{"as_of":"2026-08-10T00:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e7e861de68f97e8836648a4cf5c3e2ff127bee3574981ab272833f448bce72ef","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":17,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:48:24.193763Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-02T15:17:07.573632Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-08-07T12:48:24.193763Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.23549","last_updated":"2025-06-13T09:56:36Z","snapshot_observed_at":"2026-08-07T23:47:27.775778Z","submitted_at":"2025-05-29T15:27:52Z","title":"LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.193763Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:082e04cb381ee7c889945d8b738fc5d7e62140aee4f7e705ba1590e3dd8e80e8","observation_id":"1b4d98bc-3fd0-4193-bdda-9a31704685df","resolution":{"observed_at":"2026-08-07T12:48:24.193763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-08-07T04:39:51.464398Z","title":"Can large language models write good property-based tests?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10323","last_updated":"2025-08-12T15:00:13Z","snapshot_observed_at":"2026-08-09T06:25:13.749771Z","submitted_at":"2025-06-12T03:13:55Z","title":"ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space","version":5},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T04:39:51.464398Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2506.10323"},"observation_digest":"sha256:03801cd8efbce0ab5e2d1a43930c87b21511f11fd2211715d54690dd9e36f45c","observation_id":"3ba1fe71-c2ad-4cdc-8378-04a9075ef7e0","resolution":{"observed_at":"2026-08-07T04:39:51.464398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2506.18315","last_updated":"2026-05-01T05:53:57Z","snapshot_observed_at":"2026-08-02T07:45:21.500873Z","submitted_at":"2025-06-23T06:01:12Z","title":"Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-19T08:36:58.880345Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2506.18315"},"observation_digest":"sha256:7f21e542d23961a80123bbe4aa53fdc70f0bfa33d7faaceab3a00cc20017b5b6","observation_id":"7ac710c2-ac4c-40b4-9db8-26f03073e700","resolution":{"observed_at":"2026-05-19T08:37:11.697379Z","resolver_source":"arxiv_id","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":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-08-06T05:45:41.216282Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.01250","last_updated":"2025-08-02T08:02:06Z","snapshot_observed_at":"2026-08-06T05:45:40.426146Z","submitted_at":"2025-08-02T08:02:06Z","title":"DisFaceRep: Representation Disentanglement for Co-occurring Facial Components in Weakly Supervised Face Parsing","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T05:45:41.216282Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2508.01250"},"observation_digest":"sha256:27cb3797cc906d5268894008269d0c7a672b9f4331f60dc01aad07de47483256","observation_id":"6b6ed2f5-7d0f-4456-b5c2-013e412fd502","resolution":{"observed_at":"2026-08-06T05:45:41.216282Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-08-04T13:35:42.318371Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.26204","last_updated":"2026-05-24T15:25:07Z","snapshot_observed_at":"2026-08-07T07:41:55.832839Z","submitted_at":"2025-09-30T13:08:23Z","title":"Hamster: A Large-Scale Study and Characterization of Developer-Written Tests","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-04T13:35:42.318371Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2509.26204"},"observation_digest":"sha256:bcd6f6911d867a862199a4be44f153bc8798af86100569abaeebcf8c6d546692","observation_id":"5e9e544a-702d-464f-884d-a445f90d4a2f","resolution":{"observed_at":"2026-08-04T13:35:42.318371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-08-03T18:37:51.099232Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.04611","last_updated":"2026-06-29T12:38:37Z","snapshot_observed_at":"2026-08-09T15:15:15.756239Z","submitted_at":"2025-12-04T09:34:22Z","title":"PBFuzz: Agentic Directed Fuzzing for PoV Generation","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-03T18:37:51.099232Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2512.04611"},"observation_digest":"sha256:ce595356f6078be0542bb3dd9333481d55f5898aa3ba9eef46d1086ff67fed6f","observation_id":"7f6cf3a6-ecae-414e-9497-a9e6ec16384c","resolution":{"observed_at":"2026-08-03T18:37:51.099232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2604.05203","last_updated":"2026-04-06T22:02:01Z","snapshot_observed_at":"2026-08-02T15:18:59.698882Z","submitted_at":"2026-04-06T22:02:01Z","title":"Decision-Oriented Programming with Aporia","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-10T18:51:09.978979Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2604.05203"},"observation_digest":"sha256:053acf211f40b5116f38927f12da0389031c2d770b42b40408d1e9452f2017d6","observation_id":"4bb3297a-002c-4d5b-bc41-2f3a559d8554","resolution":{"observed_at":"2026-05-10T23:50:53.087116Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2604.11770","last_updated":"2026-07-05T08:28:05Z","snapshot_observed_at":"2026-08-02T09:49:12.806538Z","submitted_at":"2026-04-13T17:41:05Z","title":"Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-10T14:53:38.227540Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2604.11770"},"observation_digest":"sha256:0f7839550efbdb2e5278928bd2b7664013d5a352b932ab2f4578757bb7b44e2b","observation_id":"767bd0a8-5807-4129-953f-05cb815cb500","resolution":{"observed_at":"2026-05-11T11:26:04.579410Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2604.13463","last_updated":"2026-04-15T04:33:53Z","snapshot_observed_at":"2026-07-06T23:01:28.082506Z","submitted_at":"2026-04-15T04:33:53Z","title":"From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-10T13:50:14.400046Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2604.13463"},"observation_digest":"sha256:fd139cabd36cc260f29ee1ca924d24b405c1fec8460980fbb7423908548b6503","observation_id":"8328ea75-4b28-466c-a5e6-13b51f0c8948","resolution":{"observed_at":"2026-05-10T14:10:29.199069Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2604.21771","last_updated":"2026-04-27T13:12:59Z","snapshot_observed_at":"2026-07-06T23:08:19.446684Z","submitted_at":"2026-04-23T15:29:09Z","title":"Generalizing Test Cases for Comprehensive Test Scenario Coverage","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-09T21:07:20.122491Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2604.21771"},"observation_digest":"sha256:a3063b1b86c14010518ee15345e763a9ff2e6bfec775abd4fe347e9e0627dc2c","observation_id":"b1df9a3f-e924-42e7-868e-e8b5559caff4","resolution":{"observed_at":"2026-05-11T14:46:09.735649Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2605.08553","last_updated":"2026-05-08T23:25:05Z","snapshot_observed_at":"2026-07-06T23:20:47.880233Z","submitted_at":"2026-05-08T23:25:05Z","title":"VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-12T01:21:42.562823Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2605.08553"},"observation_digest":"sha256:1800c7faa7b8d3dc3c01032cd1a30522634ad496c50a1bf69d755219f9ebc5eb","observation_id":"0d858bc1-4ceb-47db-bee8-02e28053e42f","resolution":{"observed_at":"2026-05-12T08:01:32.464297Z","resolver_source":"arxiv_id","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":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2605.15229","last_updated":"2026-05-30T04:31:25Z","snapshot_observed_at":"2026-08-08T05:15:50.064066Z","submitted_at":"2026-05-13T18:01:05Z","title":"PBT-Bench: Benchmarking AI Agents on Property-Based Testing","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-19T17:25:00.033951Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2605.15229"},"observation_digest":"sha256:41ec5f382e81a5480f843a75a23cc7ccedc157239f4b2f33b37988d37b979fe5","observation_id":"90c3e674-461e-4d17-872b-28df3d8b7434","resolution":{"observed_at":"2026-05-19T17:27:41.322653Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2605.15229","last_updated":"2026-05-30T04:31:25Z","snapshot_observed_at":"2026-08-08T05:15:50.064066Z","submitted_at":"2026-05-13T18:01:05Z","title":"PBT-Bench: Benchmarking AI Agents on Property-Based Testing","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-21T07:58:17.923151Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2605.15229"},"observation_digest":"sha256:c8175f81d03c5b662d8c0e47d6ec7ce3109f471c8de8a95d1e98bb14a5518e4a","observation_id":"90a0527c-a7cc-49c3-bcfa-50c8e74ba88c","resolution":{"observed_at":"2026-05-21T07:59:50.115588Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2605.15229","last_updated":"2026-05-30T04:31:25Z","snapshot_observed_at":"2026-08-08T05:15:50.064066Z","submitted_at":"2026-05-13T18:01:05Z","title":"PBT-Bench: Benchmarking AI Agents on Property-Based Testing","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-30T21:18:55.451558Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2605.15229"},"observation_digest":"sha256:f530d8db767004dbd1ec471609d0cd23df365495414df18af1a12936c6b379af","observation_id":"eedb7146-939f-4028-8fe9-2cf83097d9d4","resolution":{"observed_at":"2026-07-01T14:25:47.092706Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":"2307.04346","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-02T15:17:07.573632Z","title":"11 Xingyao Wang, Boxuan Li, Yufan Song, Frank F","venue":null,"work_id":"c2ad2694-a05a-4d53-9d05-e8077f75e131","year":2023},"citing_paper":{"arxiv_id":"2606.06747","last_updated":"2026-06-18T01:49:06Z","snapshot_observed_at":"2026-08-09T16:54:54.720416Z","submitted_at":"2026-06-04T22:01:30Z","title":"Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T00:00:07.129336Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2606.06747"},"observation_digest":"sha256:e11fd9e3af75d1cfd8cb302afe96b6ee0b9820f465c4e5137a4f9bc9beddad41","observation_id":"770c8d62-3a14-482e-9153-9db9a63aaa99","resolution":{"observed_at":"2026-07-02T15:17:07.575427Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-11T20:47:20.640887Z","title":"Can large language models write good property-based tests?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-06T11:01:40.839676Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:bb9adf08fecb45ed6b957479e2812a5301c22de520f83436c4008554839d03cb","observation_id":"eef72ad5-77e4-40a7-bc2f-54267f3c2b09","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.04346","snapshot_observed_at":"2026-07-31T23:53:50.595428Z","title":"Can large language models write good property-based tests?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.23308","last_updated":"2026-07-25T17:49:49Z","snapshot_observed_at":"2026-08-07T09:48:50.928620Z","submitted_at":"2026-07-25T17:49:49Z","title":"Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:50.595428Z"},"links":{"cited_paper":"/paper/2307.04346","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:6664ed7ba24df65c0bfc6925633b4e8e0aaa57d8d34b9c11e19962cfa81c7c87","observation_id":"e6819aca-df94-4971-8c4f-d1049dae2557","resolution":{"observed_at":"2026-07-31T23:53:50.595428Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2307.04346/citation-record","integrity":"/paper/2307.04346/integrity","json":"/paper/2307.04346/citation-record.json","paper":"/paper/2307.04346"},"outbound":[],"paper":{"arxiv_id":"2307.04346","last_updated":"2024-07-22T01:28:38Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T00:37:37.625945Z","submitted_at":"2023-07-10T05:09:33Z","title":"Can Large Language Models Write Good Property-Based Tests?"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2307.04346."}