{"as_of":"2026-08-08T01:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d4f5ff4e89348309704fa811f1b446ba37a4b080b13010c7bf6942ec790b563f","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-07T06:34:17.273281+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:c59511a400fcefb4f67b164dbaf3ca7643ddb45b8bfb76742016e498dc1f6d5d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:940fd9b5f4bb980090e24fd3be71fe47e4c1e4d970921442ce8cf4c9ab348309","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:c04acde7205dcef07272556123dd223a0d952fca3e0678fe4a714c61585ab61d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:b9ab2b058f95e02fd9b3173019216c1403dd4506378b2feb05374927ab1d7126","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:96187f610e7a81a31d4f7220fd47bac6cb78ad4651e8460ab231051450bd96b3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:78fb5addd8c26c946f98a5e7435351eaa4dc00b44b2b100f0e66795dda5b8b2d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:df5890873aecea6fb55517e61fbd81dbbcb1890681598b9cccf4cda40f99e1b4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0e1883b762d32581ace70fca787547088f1f78424cbb60ed42bfea75698abf29","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:131fb9d330a57b2ad4abae1652beec3d3a6c06cd8afc5b2c862f705a5dde82ae","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:9e44d1c045048e68025bd0beb86a3cd478beaadd5c55f558b01ca00ffc970b48","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2c729ca5fad1a99262b639969ecdb0e36bc814f54453107158cfebad53852e3b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:5bd9effa745f2e20b2a11eb820f51c17f192bdb98c51005d1efda669a742686a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:20b38dc74ea9d24b07f195954c2e20fce3719595068e32654774d15d49beaace","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:60aa40747e21735c1aa1a556cc29658f9cd4972983873b6caa9dc364818820b3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:06d52846111a82a32e480ddce7fb90625ab493cb3a2f155eca1f582f7520e0b8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:dabb094a9133c65758d16e8fb7508702775f39a880256f6c33ec56162f5b8183","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1cae2ce9d90c716cc9976a2c3b9a41ec3580a47571d6891312f8a12b335869be","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2d680d6b1b342401c3cde024e462dacdaa7a712e56aa4ba392d8a83a678b0c6b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:6522ea5656b04b09070ad5ab0cfed3c39ff813ddd1db47e78e9c8628d5531ad5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1af69bf76d5764031a8b38aca62bddb7a354e4864a6219739e1f537b5eb4f0db","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0190e4136a10a111bd9105ac36bfe5f844d3975f7abdf11d64522dfd972d8f39","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:a6d3cb067a79b0c304f2ba74b09013a02eaed4d17d3e2d858c0a4c5bf862a128","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:5645ffa8f483e952458198b412946c2e26a14d099ae2c5ef0c68d675d50d8b51","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:13ec9e26622156d101bda752517355a80dd4e9292a6e52fea633ed34f457950d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2c3448e5ca3b4f327c705b8121df1962fb89b1bbb14fb3e99dc36c24aad9cc28","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:235bbe992f2cc2c4014286867022571949a96fda5f180052a792d1d779321136","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d57200e466bc8f73bed5e37e3a0c8af1f4819afe29b586c6058a8b915e06df07","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:3cc965025c9c7092753cade59f91fea795d101e95465a40abd9e6ea455c4ce25","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:fd8bf480da30d501fdae216c3669e77d3a641d1ca61d3986a8e81cab50335c7f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:a7eb10330e17d6c24ec7842613e35c0ffb01a65cdc9330045742b1d88c155dc3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d788b759a2354116906cd03e69e87f5a6d0af7c0d113d5039382a19bb97c94d2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:16e9b16281f83d5c56f0725c465501305eaaf0d52da55465260b5aaeaf7c2a28","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1d46eef2de70d468fb7abb2d36fdf583568568414006c66804fbfb7827cfc463","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1c9c7b586ab0b58dbcc709d423408846d59964aaded9d2d6f74bcbf72314d8c6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:979be54b61b743c6c2276c7b766d2f52b029f1f335e98ab31e4f587a26ee1cd0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:b3792a52c9fef5c7e5ec62935b04fcd582ef4b9ef479c11128f6710baf528e1b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d350c1cac7f56e8eed58451dc8af7831097c18f7ab2a1335099a117fc18c9cae","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:93081221b9232f7e59ea88721fa010f830e47d05fafacdcf7ffb04411f1b66aa","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:19e784e1646b941844d16a638673f095632ad34b06d5ee66db3721ee566324d3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:4d56d5e0f80ed64ec9e31f37a4669fa7f0376908418acd78cd76183e93bf848b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:ed93e2caf598a707d522ab9171cd10a6ad43f3d8b13012ca284622627abbcbb7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:60ca839390c89226bb509e684e250ed3f9779005091af62d30b86c592b91c872","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2bc4d2a0a7f0888b847584b91eaa06c3f9f3ed64ae761efe9ba1788009df381e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1740c7fc53498d684e11993604f60d93364841747480b8f62449e4a3547f9743","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0bd8266665e00480c98a4a657ff98cd40f85560f224d784647d370a13b909223","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:55c5be29279acb2aeb46d3cc55fb0c32f2b85a0e957626320349caf17d69c39b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:91f4245ba9c97bb512fecae26f0fffbd9a11fb792d7a0ca4aa6030ccbf3ffe65","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:65e359145c8eec558ff6f579dab2185af89345ece937a2c5a852796c00ef87a3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1cf9500fdc85661cd91933b8509f313214bede25d4417d888fa6652890b6f457","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:8a6d6cb63d6c5a19862849d18cd57a46a258e50bbe87bd2ef1eeb037a4d06734","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:8de747f80d4de9f4e55695a2dbade76aab4816d281f60019011121e9fbe329ea","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:4500edb6ce82152595a0d5d72b1a290dcd654c86327adb5a543de3ba4bb8d723","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:6a251c08c9ab06f3a4a2c4cd0ba3a24665f761dc6f591e8fbef909f1b0b5f41b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:c8251999b39db285489b00c1e264c8ca65cef46a23ed467137facfdcd303388d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:cf3f8310347ccd70075ea029f234006cd31a082a752190ef59f09339e15f31e2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:f850afbcdb4befefdeb30d794c94430b6687bf87c1285f66773e0949931ef6eb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1ef64c391347070ab8ef3d0a0f0231018798c54fc36fb07976612ffaf62c78f0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:bb7b8e7fa3a0129b7f216f0c9673cc876eada11aa86c778abde42abe7ee89b1a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0e289e54e038588d6ab4a1ff7ad33e79930931d4b0fc683cbdc13cc10072d351","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:5e4786c9e9d8be8dffd0fffe517c9d34f3ee6578dc0414bec01fc27ed36f9db3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:46d733b33c3058665a188665a072c79a515fc030c651681ca786d49797fa37d3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:567c109be17e3cb76df210ca2d0e653c6f604ee60305cafbcba1ad700d5c072b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2d3b59aa9fb5c419dbf55407353f54674603e05d243babfc2d6bd0f904c79536","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:6aada71703aa116b368d26549058c91f847a778a17d00d9c482852274a7428fb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2bb7fd8708b0a7759beb4029f56afe84c1afa22cc7dcede128d6c01637db4974","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2134eebf2f029cba487d94dbd089a73bd670b477b5e6d62f090a3787b619386f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:fbb8d89df943b94e7b852a9b4a4308a55c03b5bcf94e58a964158c6e022eee10","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:a9771a8de3114964833befd7b66b40054dbb536391bb674dc22ea2671ceb8f17","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:9a743362074d1967b83db7140f7d8dd4442cbaecf67b4eb7c366725e5c105cba","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:87202df409aaf16c45dbe840d0d0099c0f5f26a3cb1d7ecb293faf9c073e9b68","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:881868b5ca765a3589eef81da033709a5d1f8a5bfdc8cef8fc14fc85b6a655c5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:578e6cd55ca2d368b70071627ad3e3e902fae7094b7f634cf9b1d465f394a170","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:19247442ce86c6aa151b6d74fc4dfb15bf58a0340016a4ba9b817a10c1477236","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 100 of 101 outbound references and 1 inbound Pith citation observation for arXiv:2505.23549."}