{"as_of":"2026-08-09T04:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:20f37d10fa45ede4bac05d6f78d22e2a22309a3ba5c20d379efe2ca848458342","coverage":[{"denominator":101,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:48:34.922716Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T23:53:53.558270Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_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},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23549","snapshot_observed_at":"2026-07-31T23:53:53.558270Z","title":"LLM-based Property-based Test Generation for Guardrail- ing Cyber-Physical Systems,","venue":null,"work_id":null,"year":2025},"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":47,"source":"pdf_text","source_observed_at":"2026-07-31T23:53:53.558270Z"},"links":{"cited_paper":"/paper/2505.23549","citing_paper":"/paper/2607.23308"},"observation_digest":"sha256:ab81ce7fbcb76b36a721f0af1dce2b07120041e980634ef794699037ddfc815a","observation_id":"06e5fde0-3efd-47c4-bdbc-a100afd5b0fb","resolution":{"observed_at":"2026-07-31T23:53:53.558270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.23549/citation-record","integrity":"/paper/2505.23549/integrity","json":"/paper/2505.23549/citation-record.json","paper":"/paper/2505.23549"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:22.574400Z","title":"In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","venue":null,"work_id":null,"year":2024},"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":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:22.574400Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:d3b3fa1c7b58b0945c621f4c7163a8e5b74f954872531062271eeda9ed4775fd","observation_id":"b75a0663-a750-4950-a1ad-902832f3d9da","resolution":{"observed_at":"2026-08-07T12:48:22.574400Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:22.683915Z","title":"In: Companion Proceedings of the 32nd ACM In- ternational Conference on the Foundations of Software Engineering","venue":null,"work_id":null,"year":2024},"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":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:22.683915Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:d0f56bc2600b76f0c1190d163bc418baae45e66c64ae90e858798e0edd55946b","observation_id":"f8e70db8-3bb1-4ee5-b546-2dd64270cf7d","resolution":{"observed_at":"2026-08-07T12:48:22.683915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:22.784177Z","title":"In: Proceedings of the fifth ACM SIGPLAN international con- ference on Functional programming","venue":null,"work_id":null,"year":2000},"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":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:22.784177Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:9267d6a9ad24a5df8b418f70e291d26b72e39850e59201732a47443ce02f1c45","observation_id":"71dda183-0346-45b4-9fea-6ab96daae385","resolution":{"observed_at":"2026-08-07T12:48:22.784177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:22.851994Z","title":null,"venue":null,"work_id":null,"year":2025},"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":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:22.851994Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:172ac93cc5a6c72225f0f56ecae5eb0ca7fb9ad180b347a212bacf21b29b6a91","observation_id":"7ba053db-4aa7-4345-b567-96d5a4295c82","resolution":{"observed_at":"2026-08-07T12:48:22.851994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:22.915888Z","title":"ACM SIGSOFT Software Engineering Notes22(4), 74–80 (1997)","venue":null,"work_id":null,"year":1997},"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":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:22.915888Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:957b27c7655c45c7b1130237e4d37a7ea619d0a483f2aed1806a665f1d1bdf5c","observation_id":"6b90e617-bd9c-458b-88b4-1724833fbd43","resolution":{"observed_at":"2026-08-07T12:48:22.915888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.19085","last_updated":"2025-01-31T12:23:28Z","snapshot_observed_at":"2026-08-04T07:37:56.801533Z","submitted_at":"2025-01-31T12:23:28Z","title":"Enhancing Code Generation for Low-Resource Languages: No Silver Bullet","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.19085","snapshot_observed_at":"2026-08-07T12:48:22.987720Z","title":"arXiv preprint arXiv:2501.19085 (2025)","venue":null,"work_id":null,"year":2025},"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":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:22.987720Z"},"links":{"cited_paper":"/paper/2501.19085","citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:9370d52ccc67b4f6eec409f32dc635cc7fc2ba7ccfc84152b062cca1a3c3756b","observation_id":"652f078c-d143-4ac7-9c02-a8308f01a758","resolution":{"observed_at":"2026-08-07T12:48:22.987720Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.079314Z","title":null,"venue":null,"work_id":null,"year":2019},"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":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.079314Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:54c7fa976a471aa6241f93daa328463cd8c5729a9d4b009c18bfde75494e97b8","observation_id":"57adf1b4-d97c-408e-92ce-6d53a4e6d7f3","resolution":{"observed_at":"2026-08-07T12:48:23.079314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00515","last_updated":"2024-11-10T22:02:27Z","snapshot_observed_at":"2026-07-29T20:40:25.374189Z","submitted_at":"2024-06-01T17:48:15Z","title":"A Survey on Large Language Models for Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00515","snapshot_observed_at":"2026-08-07T12:48:23.150235Z","title":"arXiv preprint arXiv:2406.00515 (2024)","venue":null,"work_id":null,"year":2024},"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":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.150235Z"},"links":{"cited_paper":"/paper/2406.00515","citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:6d1739c83d71ac24af0ea47c770e23e7ff0d2f097eaee5bb7b5f49d67568bf3e","observation_id":"f6e1161d-b1b0-4a6b-8a9d-6a8db2f9f8b4","resolution":{"observed_at":"2026-08-07T12:48:23.150235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.247071Z","title":"In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)","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":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.247071Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:5c8bdf5e4f945ee8c97681808cfe97ce506dbae9c1df7fa47198622bf5669c30","observation_id":"b6881784-6e2e-4bf9-adf0-2ec3b9305255","resolution":{"observed_at":"2026-08-07T12:48:23.247071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.06450","last_updated":"2024-09-10T12:12:09Z","snapshot_observed_at":"2026-08-08T00:37:38.346982Z","submitted_at":"2024-09-10T12:12:09Z","title":"Multimodal Large Language Model Driven Scenario Testing for Autonomous Vehicles","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.06450","snapshot_observed_at":"2026-08-07T12:48:23.308991Z","title":"arXiv preprint arXiv:2409.06450 (2024)","venue":null,"work_id":null,"year":2024},"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":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.308991Z"},"links":{"cited_paper":"/paper/2409.06450","citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:1f2456131e49ff2c3b8e57875d77d25bea04dc32c09712b440df0e7cb27aa621","observation_id":"e3942720-4e80-4914-8d42-470c7b92c603","resolution":{"observed_at":"2026-08-07T12:48:23.308991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.405811Z","title":"Journal of Open Source Software4(43), 1891 (2019)","venue":null,"work_id":null,"year":2019},"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":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.405811Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:f56174a03c18bfb8daad30bcccde8bb363a33a762bc07fe737fdda96be86066d","observation_id":"90322fa2-6ca0-4dad-b3ad-c5f8a075a007","resolution":{"observed_at":"2026-08-07T12:48:23.405811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.483891Z","title":"Journal of Logical and Algebraic Methods in Programming139, 100965 (2024)","venue":null,"work_id":null,"year":2024},"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":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.483891Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:70094fa245c8a28ca868662d2e8038e3706720f5612c08acd67cf73d21714dc1","observation_id":"a4512bfa-08da-4287-959c-cbbf906db39c","resolution":{"observed_at":"2026-08-07T12:48:23.483891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.551269Z","title":"In: 2024 2nd International Conference on Foundation and Large Language Models (FLLM)","venue":null,"work_id":null,"year":2024},"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":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.551269Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:22b479d8afe1663df1c8eee2ab7689f5fbbbb93a293849595d05868a19b7b1fb","observation_id":"bcbe7415-3ae9-452b-bc41-a9f1dc16a2a3","resolution":{"observed_at":"2026-08-07T12:48:23.551269Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.01558","last_updated":"2024-04-02T01:45:57Z","snapshot_observed_at":"2026-08-08T00:37:38.785531Z","submitted_at":"2024-04-02T01:45:57Z","title":"Automated User Story Generation with Test Case Specification Using Large Language Model","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.01558","snapshot_observed_at":"2026-08-07T12:48:23.612232Z","title":"arXiv preprint arXiv:2404.01558 (2024) Title Suppressed Due to Excessive Length 27","venue":null,"work_id":null,"year":2024},"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":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.612232Z"},"links":{"cited_paper":"/paper/2404.01558","citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:f75072373a1cab4979c87835b998f3f472db64bd61d08afc370a67337a935c9f","observation_id":"65133b04-fb4d-426c-8c0a-609e325d018b","resolution":{"observed_at":"2026-08-07T12:48:23.612232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.738131Z","title":"raspberrypi.org/en/projects","venue":null,"work_id":null,"year":2025},"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":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.738131Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:6eb65449ccf27f4e08a78dd10f712f799e64a1ef957ff78f34640b30ba39a9c7","observation_id":"5e25e637-765a-42c9-873a-24524a88cab1","resolution":{"observed_at":"2026-08-07T12:48:23.738131Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.807560Z","title":"Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday pp","venue":null,"work_id":null,"year":2016},"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":16,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.807560Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:26784fcac68a32934c71c35253be8992c90442376f348927190705753908180c","observation_id":"5c1c3fdb-f347-437d-8aa8-b293f290c91f","resolution":{"observed_at":"2026-08-07T12:48:23.807560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:23.939436Z","title":"(2025),https: //github.com/gpiozero/gpiozero","venue":null,"work_id":null,"year":2025},"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":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:23.939436Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:031e0c405fc553f27b681e353d9d799f7e0900ccaaa6a35545442f426de564a5","observation_id":"804e9309-26ae-406d-bd54-c65c03f6e493","resolution":{"observed_at":"2026-08-07T12:48:23.939436Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.034535Z","title":"ACM SIGSOFT Software Engineering Notes 30(5), 253–262 (2005)","venue":null,"work_id":null,"year":2005},"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":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.034535Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:17ac6dc86d46bc530dd376de261e078f131d54a71faa0ba5a11890e8784adcf5","observation_id":"c849fd90-619f-4d51-af2b-fa8cdb36310e","resolution":{"observed_at":"2026-08-07T12:48:24.034535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.126394Z","title":"In: 2024 IEEE International Conference on Source Code Analysis and Manipulation (SCAM)","venue":null,"work_id":null,"year":2024},"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":19,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.126394Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:35ae57a7ff2b7402c361eb6fb6377c0545721117b0a34a48a7b16fb8730fb406","observation_id":"19e77dc8-6900-4505-a236-c3dd88d31e1d","resolution":{"observed_at":"2026-08-07T12:48:24.126394Z","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-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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.253112Z","title":"IEEE Transactions on Software Engineering (2024)","venue":null,"work_id":null,"year":2024},"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":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.253112Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:c5a00cc528505ea4478bf0eb3012a0af31c7102681d02ec4f5ae4d9fc6a2e2ac","observation_id":"7ffb456d-218e-40a0-b911-c31027abcbc0","resolution":{"observed_at":"2026-08-07T12:48:24.253112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01361","last_updated":"2024-01-21T21:01:12Z","snapshot_observed_at":"2026-08-07T22:44:52.494003Z","submitted_at":"2023-10-02T17:23:48Z","title":"GenSim: Generating Robotic Simulation Tasks via Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01361","snapshot_observed_at":"2026-08-07T12:48:24.329855Z","title":"arXiv preprint arXiv:2310.01361 (2023) 28 K","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":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.329855Z"},"links":{"cited_paper":"/paper/2310.01361","citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:3f829b8ce8582c42ae687d940b602957e80e06d4e28b149a3a314a56c9abe80c","observation_id":"46144891-d2dd-40b6-989f-0f11d31a1739","resolution":{"observed_at":"2026-08-07T12:48:24.329855Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.389838Z","title":null,"venue":null,"work_id":null,"year":null},"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":23,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.389838Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:99ad8cc9c11c16acc869c09c0485b989cbb1b6bff4b632e7b4066e88bcd5cb8d","observation_id":"36dbb8b8-63e9-426c-ae36-9ae85153c9f3","resolution":{"observed_at":"2026-08-07T12:48:24.389838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.487016Z","title":null,"venue":null,"work_id":null,"year":null},"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":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.487016Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:4e619d23fc6922896e6997386f06ff4a279727930abfe7d2645bc60fc667098c","observation_id":"6c76f370-aa35-4525-99c3-9d2f8c02aecc","resolution":{"observed_at":"2026-08-07T12:48:24.487016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.648419Z","title":"You should generate property based tests for this code","venue":null,"work_id":null,"year":null},"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":26,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.648419Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:7cf6794d4f6a588d08b32678bcfc01b56b202e4c1650b4b03ca9750f69d8b9cf","observation_id":"7fc9eacd-3abf-4681-882e-07fab64ef586","resolution":{"observed_at":"2026-08-07T12:48:24.648419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:24.716613Z","title":null,"venue":null,"work_id":null,"year":null},"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":27,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.716613Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:c8a2b6f8b6d3840b05278eace797c6688fceffaec0bef291d08ee1d16dd56cd1","observation_id":"6670d8f8-4a47-47e4-af83-a282f270a9c2","resolution":{"observed_at":"2026-08-07T12:48:24.716613Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:54.419722Z","title":null,"venue":null,"work_id":"dc69190e-a09c-4655-adfa-266537e89f09","year":null},"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":28,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.786717Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:6a07370ec95b27921c858702000130e8695757652fb1edb3d03c535cf2ca3049","observation_id":"c2ad4a39-0e71-4213-a79c-32bfe682a332","resolution":{"observed_at":"2026-08-07T12:48:54.579956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:54.109417Z","title":null,"venue":null,"work_id":"dec5ac1a-5fbd-42fe-ae02-230aac1c6219","year":null},"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":29,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.902997Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:eb9d2e4da7923231df4204feeb2107e9a3406717bd36dde0a9d51bee1629768b","observation_id":"4800c729-334a-4792-af84-20bf1d78c735","resolution":{"observed_at":"2026-08-07T12:48:54.317385Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:53.925030Z","title":null,"venue":null,"work_id":"0eddfc49-d222-48fc-af33-9b507787c79b","year":null},"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":30,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:24.980055Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:59c56d26f95dc14365cf925d46d00118f308ae9cb92537c951d30f9474dc4140","observation_id":"932f0ca7-c5d2-44c4-bb1a-9a72d557dfb5","resolution":{"observed_at":"2026-08-07T12:48:54.032241Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:53.581041Z","title":null,"venue":null,"work_id":"a9206498-7072-4a19-8c11-b00c7ab6e990","year":null},"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":31,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.056857Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:caaf41dfb6a133e23b2712153d8385a149670c0c0a72c8113d5bcd5a4fd0ca06","observation_id":"69975d13-eb87-4282-ad0b-812d6df90bfd","resolution":{"observed_at":"2026-08-07T12:48:53.747433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:53.299345Z","title":null,"venue":null,"work_id":"d9206c39-3d3f-4122-9324-8981f7436681","year":null},"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":32,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.162928Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:30fb3ef6195d43159947c2a2ac243d95a9700ffe083ef4c94587b1d296cc2288","observation_id":"7e29bcbf-6b06-4ae8-a23f-dc1be753f1c5","resolution":{"observed_at":"2026-08-07T12:48:53.425953Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:52.978633Z","title":null,"venue":null,"work_id":"f8af64c1-798c-43e9-8eff-a23fadfae5cf","year":null},"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":33,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.258782Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:83795aeb1ab596ea583610c5c6ffd312364ac90ae594a39a4963cdc87016af89","observation_id":"9a0da68a-8556-4db9-b425-7d9fd4cbead4","resolution":{"observed_at":"2026-08-07T12:48:53.156951Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:52.670500Z","title":null,"venue":null,"work_id":"57c476eb-5f06-4a3e-8941-c31d429c618b","year":null},"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":34,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.337167Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:66a6e89f456e0b31632c73e0f1a7c669dbdd32407a09c007e7b51e1851df602b","observation_id":"3911bbc5-ef7d-4cb7-a21c-fe1cd2e56645","resolution":{"observed_at":"2026-08-07T12:48:52.817419Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:52.320811Z","title":null,"venue":null,"work_id":"9705d974-5f0f-4693-b364-faaa928998ba","year":null},"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":35,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.411932Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:744b13db71db9c071a01608f3a1eaa8a066c5e3c86e823646108f479b1672063","observation_id":"d1fa2bdc-e12b-4e9b-8ee1-1ea069e9bb30","resolution":{"observed_at":"2026-08-07T12:48:52.531419Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:51.967478Z","title":null,"venue":null,"work_id":"ab1966ad-5ab7-4aa0-8852-7417e14b6bde","year":null},"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":36,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.486618Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:6b1f147268c71cd0c8e375742186fd52b04d2009e899b7722c66aa8fca3ed608","observation_id":"7cf0c29c-828f-495d-9da6-1d357c621ad5","resolution":{"observed_at":"2026-08-07T12:48:52.147226Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:51.631792Z","title":null,"venue":null,"work_id":"94c4f3bc-0958-4537-af8c-9af8a009acdc","year":null},"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":37,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.572201Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:b6b32cf6c9f230afa3ab3c83df48d8273d962a3e966932fbec929e0f3335578b","observation_id":"b9a56462-03bb-438d-bfce-77245f569710","resolution":{"observed_at":"2026-08-07T12:48:51.794728Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:51.201380Z","title":null,"venue":null,"work_id":"92205923-435e-46e4-9786-f328c87dd736","year":null},"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":38,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.674965Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:eb87c9cd8bacffe83aef6cd68c8fd62c845242f273835e8af5527ea73ea3fdb3","observation_id":"518c4077-7103-4fbf-a936-fede41c2d31c","resolution":{"observed_at":"2026-08-07T12:48:51.465157Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:50.922428Z","title":null,"venue":null,"work_id":"8cd87ecf-2765-4102-874c-b16446ecab74","year":null},"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":39,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.768299Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:c7a297c35cb64bada664217ab564fbfd76d7f0b3b96ad4c9529cbc80f66ae770","observation_id":"a71a3cdb-b686-4382-a77e-1eaa6a892315","resolution":{"observed_at":"2026-08-07T12:48:51.044166Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:50.715534Z","title":null,"venue":null,"work_id":"03dc9d42-08bf-48f7-bbec-bddf42719f7d","year":null},"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":40,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.869571Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:6306685680e97eecce7cc08c11b954ce66f56f1bdff166416f0b84eac9e5df17","observation_id":"74b66c32-36aa-4dee-9d80-1910c35b343d","resolution":{"observed_at":"2026-08-07T12:48:50.793956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:50.463363Z","title":null,"venue":null,"work_id":"5de24508-556d-4125-98ed-d8403055259d","year":null},"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":41,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:25.971859Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:3ab0d9bd12c4c38b3c0a2e92f2f1f18502079f07785fd980015e37e37aa1a052","observation_id":"c6c31ede-28d7-4fa5-85d3-25659812db92","resolution":{"observed_at":"2026-08-07T12:48:50.601423Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:50.149950Z","title":null,"venue":null,"work_id":"55741dd0-7fb0-4713-8cf8-30ce47a849fb","year":null},"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":42,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:26.090842Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:782df999c64a590f02c5ec07e940db20fec3f0fb302627b79d2d0358328dd40d","observation_id":"dd2e39fc-9fc0-475e-bfe0-7883fb9f072c","resolution":{"observed_at":"2026-08-07T12:48:50.405585Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:49.847276Z","title":null,"venue":null,"work_id":"1df586b3-d405-4b22-be17-8467b38a55b8","year":null},"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":44,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:26.357675Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:4282b01e67085afcc7bf8e21ad5920856fbb3cb3336334ea41922f4014355d40","observation_id":"f4429a21-50a8-4353-aa71-af247890806b","resolution":{"observed_at":"2026-08-07T12:48:50.003204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:40.750866Z","title":null,"venue":null,"work_id":"a52abf20-3a4d-42bd-91af-a2fd84197195","year":null},"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":45,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.604665Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:283c69769e481bd65522a6062339979dd66d347c9daf82e981317b2b4e725db0","observation_id":"91f3d3a5-a297-4493-a08c-e96dcf291fc1","resolution":{"observed_at":"2026-08-07T12:48:40.836422Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:49.417808Z","title":null,"venue":null,"work_id":"b49ad89e-7911-40dd-b7ec-0206356f1869","year":null},"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":46,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:26.549255Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:88a3949d8d76568a30a85046ed66a006e0902c0fae8e250e3e82fd5b6e9e0ee3","observation_id":"bf25dc22-0fe1-4315-a2fd-5a1b8611a7f0","resolution":{"observed_at":"2026-08-07T12:48:49.648219Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:48.861743Z","title":null,"venue":null,"work_id":"6f37dbf7-a50d-4684-add5-29e0f3e35387","year":null},"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":48,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:26.922022Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:fa3d1d617c9c320fd2cc6fd44258733dc60e633a212326cedd6af614c70541cf","observation_id":"15262c05-41f0-416b-9538-18a193f4a601","resolution":{"observed_at":"2026-08-07T12:48:49.010301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:38.813904Z","title":null,"venue":null,"work_id":"409e8a33-c79f-4279-8e90-1228a1e63f95","year":null},"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":49,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.921459Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:8068417f3740f4acd81dc5182d905c93b6ce05c7901224495cc204869daf846a","observation_id":"b4db30ea-4c6c-4d62-8d5e-fdfb68765933","resolution":{"observed_at":"2026-08-07T12:48:38.899044Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:48.552301Z","title":null,"venue":null,"work_id":"9734adac-8f9e-4041-8400-ae40212f9f66","year":null},"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":50,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:27.126867Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:09d483c63abffe0d223d05a59629e877091af4642eac26048f798ba6e3c1acd9","observation_id":"5a0b3aec-5be3-4e63-9257-ff07eaf20ead","resolution":{"observed_at":"2026-08-07T12:48:48.682352Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:48.222860Z","title":null,"venue":null,"work_id":"2aa2cb9c-2673-4493-8802-7d80c5830338","year":null},"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":51,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:27.290815Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:320f48ac36c50368bcb9d01a793a1fee8af3aab990bd9cf342473f21e0af1bb6","observation_id":"d2f6093a-f73e-4eb9-b5f4-6658a9676248","resolution":{"observed_at":"2026-08-07T12:48:48.389308Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:47.950655Z","title":null,"venue":null,"work_id":"3a2e672a-f3a6-4302-a052-82573a3ff79c","year":null},"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":52,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:27.396871Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:a2937df3a31b6b73a7f18666926ce6df3e1cdf98cb557ed26828e42447c18030","observation_id":"d29c0cf7-d2c9-4a27-8b1b-44efcc713f87","resolution":{"observed_at":"2026-08-07T12:48:48.045019Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:38.630623Z","title":null,"venue":null,"work_id":"af25fb79-985e-45f0-817b-87767610ed40","year":null},"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":54,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.030706Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:fffa768ea0f09a831d62760d26c06fb4c95f363b55ff8e1e1e2bfce24573c96a","observation_id":"abf66557-42a1-4e37-948c-9fb28ebfe33e","resolution":{"observed_at":"2026-08-07T12:48:38.720047Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:47.601800Z","title":null,"venue":null,"work_id":"65d872be-bdff-4b8d-8acc-4952e98b3205","year":null},"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":55,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:27.622247Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:ce0a2a038072ae09ed300e47de619b6e26c010e5965a4c7609c285904ec71178","observation_id":"e8a237e0-3179-4aa2-b474-09c1c31995ed","resolution":{"observed_at":"2026-08-07T12:48:47.795134Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:47.330735Z","title":null,"venue":null,"work_id":"83b986af-edbf-4069-bae6-71e509fea416","year":null},"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":57,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:27.766959Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:b48ba80d6859443656826d6e271faad216b29d7366c66c8bf700b9f023169a4a","observation_id":"0814976d-4913-4fa2-933f-f92f022f3db7","resolution":{"observed_at":"2026-08-07T12:48:47.484129Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:27.892056Z","title":null,"venue":null,"work_id":null,"year":null},"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":59,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:27.892056Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:1bf1cf22bfa0dba8aacff8a65452a8e130f1d87e24b17e1139ee43f78ab11d04","observation_id":"1805e028-14cd-445f-a810-1ed7d96af451","resolution":{"observed_at":"2026-08-07T12:48:27.892056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:45.941545Z","title":"Fig.4: The prompt used byChekProp to generate PBTs for the line following robot program","venue":null,"work_id":"2a7a4cbd-c35b-4f7d-a692-a7858f5de046","year":null},"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":61,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:28.323203Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:79e78ac7066943a7dd470d5f57a0415a3b685777a65b994354e0d3552e3acde1","observation_id":"9fd511bf-a2bd-4dcf-8b15-2fac144b0220","resolution":{"observed_at":"2026-08-07T12:48:46.143932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:45.713444Z","title":null,"venue":null,"work_id":"56c1bc4e-9d64-4254-9cd3-c572bd956640","year":null},"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":62,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:28.410313Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:3e917b24f298ebcbbfdbb8e20632b92dfde8d2b0c95620844dcf12393ae20ecc","observation_id":"230b61dc-ae30-469e-a1cd-74996fd9085d","resolution":{"observed_at":"2026-08-07T12:48:45.856916Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:45.415364Z","title":"The constructor adds the optional *pull_up* parameter to specify how the pin should be pulled by the internal resistors","venue":null,"work_id":"07c1cfc1-a12c-417a-a70e-dd12929946b4","year":null},"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":63,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:28.540062Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:73e5b2a6d3e497ce79377087e1cfd3a002dcdd73403aa94424e22e3bc5aba929","observation_id":"bf91b4c2-ee37-4c0f-9fe0-d8213b25afb1","resolution":{"observed_at":"2026-08-07T12:48:45.569823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:45.167142Z","title":null,"venue":null,"work_id":"e17274c4-1caa-44e6-9fd2-3121611efa0b","year":null},"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":64,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:28.707643Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:43481433b6271424b5989cb59b0235ea966e2fd27a3cd6b6931928c2d684cdcb","observation_id":"018eee06-ae32-4c74-8284-b8b863759e5c","resolution":{"observed_at":"2026-08-07T12:48:45.281139Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:44.878970Z","title":"See :ref:`pin-numbering` for valid pin numbers","venue":null,"work_id":"50601674-c0d1-4cad-936b-bb26dd5f288c","year":null},"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":65,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:28.894087Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:34a2e417ca5c15f039ce6289405e9da4f3f844833149b210a96ab97261d1314a","observation_id":"2a725afd-5349-4c29-a313-9d96ee7f37d4","resolution":{"observed_at":"2026-08-07T12:48:44.979855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:44.590609Z","title":null,"venue":null,"work_id":"afa14b8c-8a4a-427a-aa36-51386d0ec600","year":null},"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":66,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:29.066616Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:33c46ae14120d2728b9f80561d4d59ea9675085712cfd90ef73d936a5af07efd","observation_id":"11b62a0c-773b-45ae-b81b-8b5732f28812","resolution":{"observed_at":"2026-08-07T12:48:44.741355Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:44.369867Z","title":null,"venue":null,"work_id":"cb4fe4ae-745a-4bdf-bb28-08d6bbed4c8f","year":null},"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":67,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:29.245774Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:b1413f6857c6edd7f5545b385ca5d86b2ad2097801ee700616a58bc1c88c56b9","observation_id":"67995c35-2dff-42b8-b88c-22537b5cf064","resolution":{"observed_at":"2026-08-07T12:48:44.473956Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:44.191481Z","title":"If :data:`False`, the input polarity is reversed: when the hardware pin state is ``HIGH``, the software pin state is ``LOW``","venue":null,"work_id":"5823295a-fbac-4f88-b767-b0fece76d07d","year":null},"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":68,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:29.401079Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:919259de3e95a5ac78ee7f47eb4f3d17b9527f99cb9eb459a29b2a7e4303d00f","observation_id":"ff0420f2-d57e-4285-b4d9-7e3de0e13c98","resolution":{"observed_at":"2026-08-07T12:48:44.291692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:43.946349Z","title":null,"venue":null,"work_id":"5ba5642e-6e7c-431d-94b3-b08550283cc9","year":null},"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":69,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:29.568611Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:e967987577e28ff4a376d1261a750f0a4240ee19e6fa39160d484141efd5d624","observation_id":"03f77872-e5f2-4aa7-95bb-e889d3bab12e","resolution":{"observed_at":"2026-08-07T12:48:44.069013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:43.682184Z","title":null,"venue":null,"work_id":"ce416f43-0d0b-4bd4-b621-d026af91ca44","year":null},"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":70,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:29.742429Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:a37cd26899983e2cd8381a8e3297ea6e9102aa976e06aab351953f57d276e808","observation_id":"ac859f61-3874-4472-a8b7-72dba13f1c47","resolution":{"observed_at":"2026-08-07T12:48:43.792053Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:43.500869Z","title":null,"venue":null,"work_id":"08e503ae-f914-482a-82a8-147a33f1e9df","year":null},"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":71,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:29.882242Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:c6dbc653232ebde67dbafbd54e252ad474ae8c5c230a7894ada4d5fa5b162526","observation_id":"35fa998e-abde-4da7-99b5-685ccbadff78","resolution":{"observed_at":"2026-08-07T12:48:43.574191Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:43.022612Z","title":null,"venue":null,"work_id":"65aeb301-1945-419a-8fd0-ba21ade19086","year":null},"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":73,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.126113Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:b2c98b9fbe3c14ea28587f67270428b9c9b29ea620877b0ff0df8cd53c8385b4","observation_id":"2a6e6cbf-dafb-47be-83f4-42b0de982461","resolution":{"observed_at":"2026-08-07T12:48:43.098576Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:42.821433Z","title":null,"venue":null,"work_id":"a740a4a5-10f7-4143-bd1d-8bad65fea3e7","year":null},"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":74,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.226705Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:3216bacfd9a18efc9d6837cdfb40e300070809ee9556bd0f9c220ee4c0018950","observation_id":"ed21cd31-2401-4be6-9b96-efcb158d829a","resolution":{"observed_at":"2026-08-07T12:48:42.923303Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:42.603654Z","title":null,"venue":null,"work_id":"e52a1ac4-1af5-4cf0-8da2-1706eca83e62","year":null},"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":75,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.322789Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:7fc595fe411537826c5500e44ecd169acb285d656639c1fa2b206b1dc82545de","observation_id":"9e836b24-efab-4bcc-8538-a81605a0b31c","resolution":{"observed_at":"2026-08-07T12:48:42.722190Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:42.359182Z","title":null,"venue":null,"work_id":"1a8dafae-2933-4415-86cf-8e93aa40bbab","year":null},"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":76,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.428205Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:57fe630032ddc8620eadd77cf1243f41cce8d55f90d072d68fcd0aae3666e9e6","observation_id":"40cc4b2a-c8b8-42a3-9077-46cad67db328","resolution":{"observed_at":"2026-08-07T12:48:42.511975Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:41.989588Z","title":null,"venue":null,"work_id":"671a930d-7aed-4877-a190-0e0d62fabde4","year":null},"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":77,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.526451Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:1e2e65dd7db8fc259531032c878a1486c63c2371b3bd1760cc41e63cad5f2535","observation_id":"16add30f-4118-4376-9068-fbe1f5817dca","resolution":{"observed_at":"2026-08-07T12:48:42.177735Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:41.705543Z","title":null,"venue":null,"work_id":"865c470e-97c5-4821-82e1-9cc1b07aa643","year":null},"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":78,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.622990Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:7c336f3a87a6fd6b5230e2adbc6e649fee833e6c3d58405094e2c3c72e42a9a1","observation_id":"63f0e600-e986-4d3b-8b14-133e013a7121","resolution":{"observed_at":"2026-08-07T12:48:41.854939Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:41.470043Z","title":null,"venue":null,"work_id":"3beb7f16-4c5d-458b-b249-9d70b44e0a45","year":null},"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":79,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.762493Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:2ffc1dd36537ce86730a4a3f35cb94f86a253316907938de98fd22523833e8a8","observation_id":"327de98b-7a27-4e70-beda-36ab7b0fa10a","resolution":{"observed_at":"2026-08-07T12:48:41.589706Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:41.229456Z","title":null,"venue":null,"work_id":"f15aa898-eee1-43da-8551-dd0b6c3246cb","year":null},"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":80,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.869088Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:3709f1f5512d6b5c977c5dd912b4d82908a4028bd25a54fb65cadbd82d69fad0","observation_id":"662ca48a-5d8b-47dd-bdd9-bc7f9cdd7988","resolution":{"observed_at":"2026-08-07T12:48:41.345040Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:40.961916Z","title":null,"venue":null,"work_id":"79927a42-bf00-4217-8f75-32b4b9b69689","year":null},"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":81,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:30.933302Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:8d8516a40340824741d0ba85a45888c9ce9d238112d80b102b7d432c3a40be49","observation_id":"6b5a4d15-f0af-438e-af1d-57717cf3a64d","resolution":{"observed_at":"2026-08-07T12:48:41.144210Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:40.527331Z","title":null,"venue":null,"work_id":"c6de65bc-8886-46a9-98a0-a5fed739aa98","year":null},"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":83,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.101182Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:f05d400b19d9258cab4435da9b618547a5973fe5a468d62a67d1f869103bcd06","observation_id":"59f7ea7b-58d6-4e51-b60b-2cf813019d38","resolution":{"observed_at":"2026-08-07T12:48:40.657070Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:40.386883Z","title":"active_state","venue":null,"work_id":"9b80117d-3e9e-48f2-b66b-49f86a679c68","year":null},"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":84,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.215016Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:f18a791af4ae812cdf28c6cf2a78b2222a7eb4c9c95cda6b65ea41bf1629fbf6","observation_id":"52b545a0-1593-4762-9ae4-6d94fa11c7ae","resolution":{"observed_at":"2026-08-07T12:48:40.449392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:40.110281Z","title":null,"venue":null,"work_id":"a8a2b023-ae94-48a0-881c-b6166186e528","year":null},"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":85,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.396615Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:304e9d333e9560edeaa07257ab22da7302315efe11231ac42fe7c2ad8ddfd206","observation_id":"29f3107c-8d09-41ad-bc00-a718b4bc1e3b","resolution":{"observed_at":"2026-08-07T12:48:40.245370Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:39.905816Z","title":null,"venue":null,"work_id":"d5f2d01a-20ee-4396-89dc-ae1559b7d1d6","year":null},"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":86,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.499711Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:0ef0ce3df7e243d3f3019859dc982ea1aa88c8d0fb0ae6c1cf95deea2602223e","observation_id":"8d0176f7-0174-434c-9729-b5cbb1366b24","resolution":{"observed_at":"2026-08-07T12:48:39.992864Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:39.616864Z","title":null,"venue":null,"work_id":"0e5da812-59be-4f49-bc19-2f7683113637","year":null},"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":87,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.671165Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:6e23b96e3c03c70ce72b9b8f7232cf8cfb0a19bd839740ad6d27ce2ad5408bea","observation_id":"c066b861-ce32-48a4-866b-e65c03ef3276","resolution":{"observed_at":"2026-08-07T12:48:39.777087Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:39.328347Z","title":"active_state","venue":null,"work_id":"96a2dafb-1650-48e1-8fb8-b21f42cb6646","year":null},"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":88,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.760460Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:2cd7b14d6eb06c0cb404e739c6bba0b0f43efbe9629883f2242d9268f2c7909e","observation_id":"989ac65b-c019-4d39-a8c2-a6518ba61f52","resolution":{"observed_at":"2026-08-07T12:48:39.510674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:38.984341Z","title":null,"venue":null,"work_id":"5a57699e-a177-40fd-ba52-bf5e048524ad","year":null},"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":89,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:31.845966Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:e6cefebe13e0ceda9017d08069672d492a216de56742793dc0193a3dd6f44e4e","observation_id":"766067f1-cdbc-4461-a844-220158915dc2","resolution":{"observed_at":"2026-08-07T12:48:39.121642Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:38.453102Z","title":null,"venue":null,"work_id":"21b5f24c-2858-4788-aca5-7b42e8e42b15","year":null},"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":90,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.105168Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:67b0f4ed82cedf95758afff9559e3d781f39adc7e007b01fade9ae428cd67798","observation_id":"ef5a1c11-7368-4900-9885-f3dd760656bf","resolution":{"observed_at":"2026-08-07T12:48:38.550302Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:38.285417Z","title":null,"venue":null,"work_id":"eab5ee4d-2514-4ddf-806f-42eb2eddddcb","year":null},"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":91,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.199150Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:2df77e109d917a8d5ed9701f7b6e1d5dc5002cad492f1fef1d63ad0f632b4d95","observation_id":"f17b4cc4-01d6-4a40-bd4b-501e481f21f7","resolution":{"observed_at":"2026-08-07T12:48:38.352779Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:38.128815Z","title":null,"venue":null,"work_id":"a91d41c7-0b3f-4480-8889-de8d8fd0821e","year":null},"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":92,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.338676Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:e20491db2da075f1c7a781365ee5520018d6d20b80bb19bd04ccdc07b3aa01c0","observation_id":"1bafa3c0-ac3d-42ed-b785-5a5e5a40f5fe","resolution":{"observed_at":"2026-08-07T12:48:38.199979Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:37.942345Z","title":null,"venue":null,"work_id":"134fb7a0-c082-41bc-8281-06a20dc8015d","year":null},"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":94,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.615030Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:87100a4508b6ec877dee2dc6a292245846680ccf5ac7a9bbd74727d348e405a2","observation_id":"d61d5fd0-4aeb-4f3e-b4ca-d6311bd1463a","resolution":{"observed_at":"2026-08-07T12:48:38.046968Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:37.616888Z","title":null,"venue":null,"work_id":"87c28595-4cb6-4d47-89c9-9ea8e7a3de99","year":null},"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":95,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.790340Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:5efa18c07305d20890083ebb6e0c7b2334f682a397bd6931138e85dfd8024186","observation_id":"1df88c28-48a5-4800-85af-b3f1b24c3db9","resolution":{"observed_at":"2026-08-07T12:48:37.786869Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:49.127323Z","title":null,"venue":null,"work_id":"c0a6afc0-6ae7-4b42-a10e-913e08c92a04","year":null},"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":96,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:32.928532Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:c3561fe6cce913ce3b07c8f59486d112094c6a6c0ed53bfcb1698d3ba69520e5","observation_id":"6fb98264-ce49-44ff-ab91-53d2755d4969","resolution":{"observed_at":"2026-08-07T12:48:49.307886Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:37.305445Z","title":null,"venue":null,"work_id":"c8e23d9d-07c7-4016-b1ac-43a8a0f4fb2a","year":null},"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":97,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:33.154587Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:c3651c3e12fd89532605949ef5ad883daed8293863fab483cf45accb6545e681","observation_id":"43d4648a-4c4f-415c-9c7d-31bb075206f6","resolution":{"observed_at":"2026-08-07T12:48:37.430214Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:36.999788Z","title":null,"venue":null,"work_id":"a5b695b0-5e6b-4d55-9f9f-6c234d425b00","year":null},"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":98,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:33.378200Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:d8366baa108190c382e80bd3ca237cf875646ad21ec6709bb4eb64f88e0d2962","observation_id":"00a4ed98-8310-41c6-a29f-d996e20742e9","resolution":{"observed_at":"2026-08-07T12:48:37.146405Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:36.715148Z","title":null,"venue":null,"work_id":"89f4f208-40d4-406e-88b8-550da32c544a","year":null},"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":99,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:33.546360Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:20fe1b00b6eb8c3fc391f3ba63b5d280d557244e1aedd3ef988fbdd1dca6f1a5","observation_id":"9a83d782-eabb-44cc-bb65-5c4f69969095","resolution":{"observed_at":"2026-08-07T12:48:36.852906Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:36.495884Z","title":null,"venue":null,"work_id":"cbc60f33-12a2-4a7e-9d91-3b96ca7e3992","year":null},"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":100,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:33.684896Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:4845aa3ba00d0ebf089e62e2c6ba6fc078aeab21b54ab8608f1de941eb41df04","observation_id":"d35831f4-0335-44c3-9506-f19feefbbfba","resolution":{"observed_at":"2026-08-07T12:48:36.565972Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:36.334969Z","title":null,"venue":null,"work_id":"fc4dcbbb-76f7-432b-a325-ca9a4461e7b0","year":null},"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":101,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:33.828481Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:575a9f017e9b4a7f7de5be1d1ee939256b87018f091389ccd8d05c8bf0ba34b7","observation_id":"f197df36-b9ed-4586-9e70-88f1c50639e7","resolution":{"observed_at":"2026-08-07T12:48:36.418951Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:36.143052Z","title":null,"venue":null,"work_id":"5c4d9ce5-5d64-4dd9-b718-dcbff5ddcf8b","year":null},"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":102,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:33.995437Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:3f1f70bc97e61e29b09df0f865b8f4b1da785576e9aefc51ed2836c3ddc359cb","observation_id":"85f4dd22-2a19-4b5d-94e8-bd4f5b0716c4","resolution":{"observed_at":"2026-08-07T12:48:36.238336Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:35.952990Z","title":null,"venue":null,"work_id":"fc016f93-95cb-44d7-8517-8eec45c89b60","year":null},"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":103,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.139247Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:f119fe04a0a39b64d7982593a98c6e1cb05f455b4ddfeeb5d8d25636ea1772c0","observation_id":"773d80b8-2b44-4815-b453-16ce43aa770d","resolution":{"observed_at":"2026-08-07T12:48:36.043240Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:35.738653Z","title":null,"venue":null,"work_id":"4e806bd2-7337-4853-a5e0-80890c90894d","year":null},"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":104,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.215014Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:be4241fafb94f94161d5728760b1c9b3c224d890ace08d2481cd365200e1e78e","observation_id":"b157754a-3606-456d-9a7b-0adf89ebc7b9","resolution":{"observed_at":"2026-08-07T12:48:35.839280Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:35.545414Z","title":null,"venue":null,"work_id":"a757d39c-5c79-4ae8-a200-1cc977cea467","year":null},"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":105,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.388502Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:03a28364bcc866f62c445e2285f2d92ae58d2862a884d1e68b37120a26e318ab","observation_id":"eb3ed6e7-ea8d-4aed-a110-f59824be48d4","resolution":{"observed_at":"2026-08-07T12:48:35.642946Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:35.390549Z","title":null,"venue":null,"work_id":"4b642d19-7578-41c7-aefd-f2cfea04f760","year":null},"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":106,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.500502Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:7482038390330899e35c23fd5e0813daee6d367ad5b6aa7b183da2d977547e4f","observation_id":"b1fd3287-0e37-46b0-ad0a-8bbaae56457b","resolution":{"observed_at":"2026-08-07T12:48:35.465210Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:43.215023Z","title":null,"venue":null,"work_id":"2ceb0e14-0a51-443f-842a-c99caf7aba66","year":null},"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":107,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.648454Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:658d514adbe9df01f41ca9c122e29ebcdf482de298bd0a22dc5ea24588ad801a","observation_id":"eb0a83a0-9c46-4ad2-ae1f-235ca3cf015f","resolution":{"observed_at":"2026-08-07T12:48:43.297142Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:46.940933Z","title":null,"venue":null,"work_id":"a925fd1f-fd5d-4062-ba3a-eb9e59044348","year":null},"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":108,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.721969Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:323c15149eac2a684c9c642ffbc49b46ca3ca81d2707c1a04059589aafa98327","observation_id":"96bcb703-0725-41a9-93c4-5efdbfb392af","resolution":{"observed_at":"2026-08-07T12:48:47.186167Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:46.653708Z","title":null,"venue":null,"work_id":"d62b3e8a-d5b7-4761-b4bf-11ae0bd6aff9","year":null},"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":109,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.828505Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:df4dab28a3c4378620a356408413196117777f345ea34c2c81c935f80bbb3dbf","observation_id":"567dcf07-91f5-4980-bf51-b722e20fee71","resolution":{"observed_at":"2026-08-07T12:48:46.818595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:48:46.305438Z","title":null,"venue":null,"work_id":"7edab1d2-86f2-45a2-a7ab-4cce0adddb3e","year":null},"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":110,"source":"pdf_text","source_observed_at":"2026-08-07T12:48:34.922716Z"},"links":{"citing_paper":"/paper/2505.23549"},"observation_digest":"sha256:64982bed452fdefe0a35136c342682f9e99368cbb2565a960d7389f438fa6f14","observation_id":"06302b80-87bd-4433-be37-78e1b34835be","resolution":{"observed_at":"2026-08-07T12:48:46.474169Z","resolver_source":"raw_fallback","status":"unresolved"},"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"}}],"paper":{"arxiv_id":"2505.23549","last_updated":"2025-06-13T09:56:36Z","latest_version":2,"primary_category":"cs.SE","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"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":11,"unresolved":83,"verified_exact":0,"verified_fuzzy":6},"total_outbound_references":101},"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 100 of 101 outbound references and 1 inbound Pith citation observation for arXiv:2505.23549."}