{"as_of":"2026-08-09T03:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de2761f2c94b5654039977c255f75a66bb749265888e77a342ea242a365d94a0","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-08T06:32:00.761636+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-08T00:38:31.334310Z","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:1efcc3c89d00047c61574a776ff30ff1544d383f023b897dc2bceb89b481e92f","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:f1fa9b3a78e18236b0eca0786934ef37655bdda5d0d73e0dc8d858a03527924f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-07T02:32:29.449641Z","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:7dc073de5845b8e286408184715d3e1baa0920609732bc578ff78ceb3f0e635a","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:8ab0b03838e19476ee45d90a7e2e292b837c2534d66f751a608935ab02642354","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:f351a39b52a30c23927143d205b44a16bcda89e03d1d5d4d7c16824013644606","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:a0a8b7ac0eaf633903837c8a6712e97f5245f754ab04d31b875710037971858f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:0120cc66017a4a40fe5403602b7d40bcb55610e5dc49a4f2d0a1e48fa8144b75","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:334368ae0738c7a340c3f58562ea474288bed71861996292fc1c29c8e0ba7d7b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:c8e9e8705abe7d0261579817ef46355128f14b69cfef45354c06d0152f8f9e1a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:4e137f5e95cb7dcfb57403255ea34715dcae7740adf2bd4ded9314417d6ace9d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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:66016009fed33f7e710763ad4759680892cfee8352b3c987080931de37a256f5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-07-06T23:46:28.942186Z","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:23fa56876919cb4c0cc8e4f1486c4a8f089732271ba8078d8992081065353c16","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2307.04346."}