{"as_of":"2026-08-15T09:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a1ce3ce4d288b33ea42f15d0470cee263a4d366708f5862ca97338d7695b25b4","coverage":[{"denominator":83,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":83,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T13:39:35.873717Z","state":"measured"},{"denominator":83,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":83,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2501.16274/citation-record","integrity":"/paper/2501.16274/integrity","json":"/paper/2501.16274/citation-record.json","paper":"/paper/2501.16274"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:35.184868Z","title":", \" * write output.state after.block = add.period write","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.184868Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:a34abcb16997090a7440279f76f7db5956389adf43a67a83b73af22306186e2e","observation_id":"066c69fd-cec3-4860-874a-c591e466c738","resolution":{"observed_at":"2026-08-10T13:39:35.184868Z","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-10T13:39:35.191527Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.191527Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:eb43c0e622e6e710e7f5cbc7508018682506c8ea3a77d5a63daae19cad0ac7a8","observation_id":"a30afd0a-e2b2-42fc-82e0-39bf4fb3129f","resolution":{"observed_at":"2026-08-10T13:39:35.191527Z","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-10T13:39:35.199467Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.199467Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:82617a300cc3b289c28929e200dcd34bf7aaf255f0134629948a4019486770d7","observation_id":"80ed9002-c1d1-4aa7-89b1-058f1dd9cb82","resolution":{"observed_at":"2026-08-10T13:39:35.199467Z","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-10T13:39:35.210155Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.210155Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e208611dbf10358a317f41badd0ce3957632e5640dcd8dc51aa9ca17736cbe88","observation_id":"ba4a2e18-4114-4505-8e31-059e0714d250","resolution":{"observed_at":"2026-08-10T13:39:35.210155Z","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-10T13:39:35.215596Z","title":"Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, and Cesare Tinelli","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.215596Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:c21406bf68c1efba20f3cd93eb118e3275ecac92a1c3177fee327a940ef62534","observation_id":"9abca9b0-6fa9-440c-889b-b1def421186b","resolution":{"observed_at":"2026-08-10T13:39:35.215596Z","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":"10.1007/978-3-642-29860-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Parametric identification of temporal properties","venue":"Lecture notes in computer science","work_id":"7905b887-488f-4775-bce1-ac5f71d76945","year":2011},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.224041Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:73e4e9b8f10bbbaae7b0d79d2adf8f65dc2bc58aa4a688c4be08c28b15ae2911","observation_id":"564a3a14-e539-4aca-83af-8f091af9ab2d","resolution":{"observed_at":"2026-08-10T13:39:36.600332Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:39.092565Z","title":"A story about formal methods adoption by a railway signaling manufacturer","venue":null,"work_id":"d26436da-bcd8-4353-856b-f069c82dd69c","year":2006},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.233049Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:cdfc1799004ac1d19b885255034fbd95489d035f6df104e16bc90e69b813248a","observation_id":"14a95789-7e80-4326-8d1d-95bfa2da23bf","resolution":{"observed_at":"2026-08-10T13:39:39.098319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:39.073303Z","title":"Using B as a high level programming language in an industrial project: Roissy VAL","venue":null,"work_id":"f8ddfb66-5eb3-4f3c-8ace-effad4026ead","year":2005},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.246009Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:85dba356365006722227ec86a23a50d98e8bb5d6236903492d262f1671b6b104","observation_id":"c6bd5d0a-0f9e-4887-8964-992fb8a72ac1","resolution":{"observed_at":"2026-08-10T13:39:39.079494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.252981Z","title":"Principles of model checking","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.252981Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:dd1deddc4001e500d82ef96df074938b84362a00fe4fd14028b3d0223c514df4","observation_id":"c4c4388f-b1dc-4a1c-85d5-d8f7d4c155c7","resolution":{"observed_at":"2026-08-10T13:39:35.252981Z","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-10T13:39:35.264352Z","title":"Barrett, Christopher L","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.264352Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:416c4d37ab3f1b754455499fbb7ae471bb7f54217d95b0cd9b59e80a4b5af8b5","observation_id":"0e42aa62-a399-4a03-8f0a-8ed226567fa8","resolution":{"observed_at":"2026-08-10T13:39:35.264352Z","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-10T13:39:35.270586Z","title":"Survey on mining signal temporal logic specifications","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.270586Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:da8aed7afec1a2853e1313559709f028e53303cf2a0b9edcefb9ce1c68c2f85a","observation_id":"156b71fa-fc83-4cb9-b301-a9b1c8661990","resolution":{"observed_at":"2026-08-10T13:39:35.270586Z","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":"10.3233/sat190039","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.563207Z","title":"Picosat essentials","venue":null,"work_id":"722b6121-88b9-47c1-a0d0-3968f25ebe93","year":2008},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.285448Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:b61296ba70b8c1d1b16cc3b5323641aa9a9dc2441867be9a0a27880a785368dc","observation_id":"bdf9a2af-6675-436f-906b-3f7d06e5371c","resolution":{"observed_at":"2026-08-10T13:39:36.568687Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:39.039814Z","title":"40 years of formal methods - some obstacles and some possibilities? In FM , volume 8442 of Lecture Notes in Computer Science , pages 42--61","venue":null,"work_id":"60327360-0aac-40b1-b052-afae377f6565","year":2014},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.309511Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:f0ee09d50c2758c5611f464a24c9aac736fd880884dc96919ae3545367374ef1","observation_id":"aa14783a-7b5f-4f0a-a7dc-57fc3dd40d6a","resolution":{"observed_at":"2026-08-10T13:39:39.048723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/jmxj","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.542257Z","title":"Bj rner and Anh - Dung Phan","venue":null,"work_id":"a7f13695-ef13-4bbd-ae19-f2e852e7dd59","year":2014},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.317264Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:c00a3ff3f560939b0de753e17e9af2cd6b531c592260e3e46faa8754b4f94bbc","observation_id":"879f62be-a5c5-4be4-8d17-073dc6b71198","resolution":{"observed_at":"2026-08-10T13:39:36.547452Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.338112Z","title":"A decision tree approach to data classification using signal temporal logic","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.338112Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:2179a30956bdfc28ab86d5afd4d75a236e93d2956872485bd6742f955ece473c","observation_id":"f5f69eb1-e189-408a-8119-3487e87fa629","resolution":{"observed_at":"2026-08-10T13:39:35.338112Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04486","last_updated":"2024-08-08T14:25:30Z","snapshot_observed_at":"2026-08-12T23:06:32.236666Z","submitted_at":"2024-08-08T14:25:30Z","title":"The Complexity of Learning Temporal Properties","version":1},"cited_work":{"arxiv_id":"2408.04486","doi":"10.48550/arxiv.2408.04486","metadata_source":"pith","pith_arxiv_id":"2408.04486","snapshot_observed_at":"2026-08-10T18:16:17.926450Z","title":"The Complexity of Learning Temporal Properties","venue":"cs.LO","work_id":"2c2a4e46-7bf8-419e-8f95-43e76cc6e387","year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.347840Z"},"links":{"cited_paper":"/paper/2408.04486","citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e3f0e628704120e6a422714a6c7a7b46ff14f424327975b7f9ade105bd078e7d","observation_id":"ea18cd64-f602-4ebb-b48a-9e032ceb3bf5","resolution":{"observed_at":"2026-08-10T13:39:36.530418Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.353693Z","title":"Learning branching-time properties in CTL and ATL via constraint solving","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.353693Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:59bb4ceeb09765b45ade847899f6ffa613b7f132ae9c628acacc7cad93392644","observation_id":"08b82021-ab42-46dd-9a4f-53656fb5ddff","resolution":{"observed_at":"2026-08-10T13:39:35.353693Z","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-10T13:39:35.362426Z","title":"Zavlanos, and Miroslav Pajic","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.362426Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:9325c71465d4e334aea27918e4d9bf8a3c9c7b45ef442797c4c348654099ecd2","observation_id":"c592a622-0be5-46f2-9e8e-1d7fb7c18a3f","resolution":{"observed_at":"2026-08-10T13:39:35.362426Z","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-10T13:39:35.370178Z","title":"Klassen, Richard Anthony Valenzano, and Sheila A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.370178Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:ec1d76af1e2f636a100c8c33947bd69c346810e6bb448568c53c20fda71bc237","observation_id":"940702d5-4970-4d2c-bd05-486accd36fa3","resolution":{"observed_at":"2026-08-10T13:39:35.370178Z","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-10T13:39:38.941791Z","title":"McIlraith","venue":null,"work_id":"1aeb846d-f481-4619-b19b-0e821d1361d8","year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.377909Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:4e1d43eaf1452e6d1af09dd4670dc969df944c0044188c5a6d8cff6b6606ecc2","observation_id":"5ba1d7ec-d97a-4208-89fc-d8909a44a529","resolution":{"observed_at":"2026-08-10T13:39:38.948957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.924418Z","title":"Temporal-logic queries","venue":null,"work_id":"a214d15f-2ebf-431d-8c19-713f2422e8e4","year":2000},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.385733Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:3d903dd8179e82eb53a0600ab1ae1edc8b1f6a4fab87f11486662c0614899c8e","observation_id":"5c8c6d5f-4ffe-4532-a10e-3fdc2afe52c4","resolution":{"observed_at":"2026-08-10T13:39:38.929680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-98464-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Towards explainable formal methods: From LTL to natural language with neural machine translation","venue":"Lecture notes in computer science","work_id":"c40086d5-ce88-4d43-9248-9ffe349d6659","year":2022},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.395749Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:775a1f434d066fd8b3455ff933df696d34534cbe19905bc9346682e99be3b33d","observation_id":"2f7fcfac-205d-49eb-b44d-6c391e770b6f","resolution":{"observed_at":"2026-08-10T13:39:36.470602Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10514-021-10004-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.443870Z","title":"Learning temporal logic formulas from suboptimal demonstrations: theory and experiments","venue":null,"work_id":"46e4859f-2de2-4153-aa2d-2e847971d637","year":2022},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.402799Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:14a63f332c24b8b2ff25914e2075e5febcda8697d47581f1365734126cdd1b05","observation_id":"eedc3f5b-08f8-40c0-829b-17935865995d","resolution":{"observed_at":"2026-08-10T13:39:36.449378Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.413650Z","title":"Clarke, Armin Biere, Richard Raimi, and Yunshan Zhu","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.413650Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:9e5c8d34edda894fd2371fa59a46803a6babbe216f3f217f3a27c12775a665b1","observation_id":"86da875f-5708-4206-bb13-08dca1c596d4","resolution":{"observed_at":"2026-08-10T13:39:35.413650Z","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-10T13:39:38.905752Z","title":"Cofer and Steven P","venue":null,"work_id":"ddc08003-3bbe-4cd6-958f-e96ab6e31aae","year":2014},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.424037Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:8ad79599320bc96a53b981414e1bfa378ed4816bc136874c894bdd6974edda8a","observation_id":"1e958188-7624-4167-a755-f067d624da66","resolution":{"observed_at":"2026-08-10T13:39:38.911980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.431049Z","title":"nl2spec: Interactively translating unstructured natural language to temporal logics with large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.431049Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e5653f1129056a104ef5fb6764a9d0debde09249dafa4db10d53bef9681a1b48","observation_id":"9841293f-d9a3-4575-a959-46c29aaceae2","resolution":{"observed_at":"2026-08-10T13:39:35.431049Z","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-10T13:39:35.444533Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.444533Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:aeb9bf3a7897447fab2c3222dbfdc82a3aa28b1d72a742ebb21327106917d6e3","observation_id":"8d479a1b-d153-4f80-a4a8-7bc92f3ebe2a","resolution":{"observed_at":"2026-08-10T13:39:35.444533Z","resolver_source":null,"status":"malformed_identifier"},"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-10T13:39:35.450303Z","title":"Dwyer, George S","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.450303Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:46e884378616c9f204cdbb21680f0ca84c79b267dbe3b9f70fdd8176b562e485","observation_id":"f83eca3b-9844-41cf-9649-c86e0588946b","resolution":{"observed_at":"2026-08-10T13:39:35.450303Z","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-10T13:39:38.886761Z","title":"Fecko, M","venue":null,"work_id":"e90dbcae-3f58-4817-8e1a-c1f7bf62ad9e","year":2000},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.457787Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:a794f3f60ffa7b248c60f0cb855c7b3c9c6ba5814b1b0bfada0ab4eab703c857","observation_id":"86b7534a-995c-4efd-b16b-2cd62e6e4d2a","resolution":{"observed_at":"2026-08-10T13:39:38.891651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.870005Z","title":"The complexity of learning linear temporal formulas from examples","venue":null,"work_id":"c6d21b60-411e-4ae7-9572-333fc9a1f972","year":2021},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.464447Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:580205d5d8f93e57cdba5b91ee75c2d134db99e0fbc86dc511ffcca83882e1ec","observation_id":"bb501da6-fd79-4fdb-bc39-091c50e18e6b","resolution":{"observed_at":"2026-08-10T13:39:38.875040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2010.56503","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:37.728456Z","title":"Ltlmop: Experimenting with language, temporal logic and robot control","venue":null,"work_id":"b3496d81-1fb7-42be-8680-56760f8bc75c","year":2010},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.470389Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:c8450614b09adcaa60c1c2dbd34662b016ddabe1c75452a651cf50d51da7a106","observation_id":"38a104ba-45ec-4492-96e1-c875b7d5316a","resolution":{"observed_at":"2026-08-10T13:39:37.737545Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.477037Z","title":"Nl2ltl - a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.477037Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e2f942ea66dcb805c831b5cd4290483d05dbbd6da7a1722330eb8c948b9e4c90","observation_id":"c2ff8115-96ff-4f69-b92c-dee757cc23bb","resolution":{"observed_at":"2026-08-10T13:39:35.477037Z","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-10T13:39:35.483344Z","title":"Learning linear temporal properties from noisy data: A maxsat-based approach","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.483344Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:1b53a9c00a56e10da9f541927b417aec62064fe36a0bd031ed9ac9e5db0741e5","observation_id":"cb1b0086-7823-45d8-b931-24789af8d187","resolution":{"observed_at":"2026-08-10T13:39:35.483344Z","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-10T13:39:38.852575Z","title":"Model checking at scale: Automated air traffic control design space exploration","venue":null,"work_id":"446062bc-bb3a-42fe-a4b2-193205d5c5f6","year":2016},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.492214Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:66c965d8e72e867d59111e7575af62f1391676b12223d70be6ecec06605f2e19","observation_id":"dca19118-e360-441d-b132-67fb59ee6ff5","resolution":{"observed_at":"2026-08-10T13:39:38.858954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.514463Z","title":"Answer Set Solving in Practice","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.514463Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:216c5284e9e3472c674462fb1f8d03122f82dba63d1871cc48559b008b598ae7","observation_id":"c896e0b7-cb0b-412b-8b97-dac8bd7f2568","resolution":{"observed_at":"2026-08-10T13:39:35.514463Z","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-10T13:39:35.527786Z","title":"Classical negation in logic programs and disjunctive databases","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.527786Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:0437374d61e31dac7a4f4db06d64457fcb306d763dda4307c2da9e38f3c78fcc","observation_id":"60738ba6-11a6-4617-8e28-ef0be933c8f5","resolution":{"observed_at":"2026-08-10T13:39:35.527786Z","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-10T13:39:35.534483Z","title":"Learning linear temporal properties for autonomous robotic systems","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.534483Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:d988849205fde174c4e1b8a19cf4294e3f7435dca8c54e78eae6af99c7e650d5","observation_id":"02bfa880-9473-428c-958c-a2423fa4403a","resolution":{"observed_at":"2026-08-10T13:39:35.534483Z","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":"10.1007/978-3-319-40648-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"ARSENAL: automatic requirements specification extraction from natural language","venue":"Lecture notes in computer science","work_id":"b33ee8d7-0a30-46b6-aa67-d7c2dc06d8e3","year":2016},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.539773Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:8df75d4163e0d82cc06fe4b300770ca870bc3a799ce9bcabb1b458d1e64cafb7","observation_id":"9cad6230-2339-40bc-ba3d-79e52b46c2a3","resolution":{"observed_at":"2026-08-10T13:39:36.329878Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.833901Z","title":null,"venue":null,"work_id":"60462913-5916-47c5-a6a6-bea90b2927fd","year":2013},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.546935Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:70cdef47557909e4bae1bf4af37e8b7a2eca86bafe4752e633c613196093658e","observation_id":"7b7cb2a1-4bbf-400e-a210-eb58f358ad53","resolution":{"observed_at":"2026-08-10T13:39:38.839687Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.816353Z","title":"Formal requirements elicitation with FRET","venue":null,"work_id":"5447e039-1429-4f84-9c6d-58e325d7bc4a","year":2020},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.556579Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e53d0e2ae8d7cc8114d4bc7830504706a82b43d5e8399aa6e116e42fa68e514b","observation_id":"4fe52371-bfd9-4eb9-9374-7b2ef3b37705","resolution":{"observed_at":"2026-08-10T13:39:38.821874Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.796332Z","title":"Little tricky logic: Misconceptions in the understanding of LTL","venue":null,"work_id":"49bd270c-e5d9-4ce2-9c8d-c45d80320b99","year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.567307Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:b41345b385106199da7b71b36fdaa34bb6482c9008b480799bf92c75b0466c54","observation_id":"b269fc3d-a1cf-486a-97c5-00d7a8f0298c","resolution":{"observed_at":"2026-08-10T13:39:38.803798Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.776227Z","title":"Kreber, Markus Norman Rabe, and Bernd Finkbeiner","venue":null,"work_id":"666ec822-6a00-4b56-aeb3-974cf8592bd7","year":2021},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.575020Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:be52d5385247ff01981811dbee3b7d9fa4a4400963004e46a81a56942a6d9096","observation_id":"974e0f8b-3b3d-4dd5-baa4-2fbd9e29b3f0","resolution":{"observed_at":"2026-08-10T13:39:38.782905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.759599Z","title":"Hamilton, Rex Ying, and Jure Leskovec","venue":null,"work_id":"91f5c159-9cbf-4604-abcf-af61ec1bfce1","year":2017},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.584118Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:672a5aef644a609b262731b9335d02587b822a03a50ec28d367ceb61380e57dd","observation_id":"f8d0b765-3745-4e6c-b91d-2efaf0eaa09d","resolution":{"observed_at":"2026-08-10T13:39:38.764415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.590297Z","title":"Pappas, and Insup Lee","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.590297Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:805fffb12a98c154b71377381578767b743285bfebce89e8919f34324337e371","observation_id":"1d211687-bae9-41c7-9c5a-01f071c811b5","resolution":{"observed_at":"2026-08-10T13:39:35.590297Z","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-10T13:39:38.743023Z","title":"Holzmann","venue":null,"work_id":"5ed20bce-4a93-407f-baec-ec48c820be49","year":2002},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.595532Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:ded68772277742eb16da37c8a89ac9c85baf0e3970296029c03f61813ee0b350","observation_id":"7062eff7-3cb8-452e-9e68-57eff37965c2","resolution":{"observed_at":"2026-08-10T13:39:38.748312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-49299-0_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Towards ilp-based ltlf passive learning","venue":"Lecture notes in computer science","work_id":"dd198d5c-f2c4-411c-a0ba-304024f13608","year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.603743Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:36cf3eaf60574d23bec8ec0a9fc5caa999cbc0b773c1ef2f05a446fa88dc5c37","observation_id":"ac8a23a0-dd93-4c40-b46b-a0cd9fef8b90","resolution":{"observed_at":"2026-08-10T13:39:36.298746Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.722313Z","title":"Bayesian inference of linear temporal logic specifications for contrastive explanations","venue":null,"work_id":"1cef2bf0-56bc-4b5b-8c0d-e3df985df5f4","year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.609123Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:5d431124a3d5bcc979334a2ea8c4c8ed250ef3a4c4cfff4e9fa7a85f4ee2da04","observation_id":"44d3caa1-5cce-47b2-a116-7c814a66bae0","resolution":{"observed_at":"2026-08-10T13:39:38.728679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.699255Z","title":"sel4: formal verification of an operating-system kernel","venue":null,"work_id":"cbcbdf2c-7f00-489b-82b1-ce7c3362ef92","year":2010},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.615005Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:3f7831ff81496b5b2f10c7d0104147b9e84f2c4c4d5f18e7fe5f2563a9659218","observation_id":"5de854c7-9b93-46ab-bebd-2882e8852f50","resolution":{"observed_at":"2026-08-10T13:39:38.704560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2016.25850","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:37.202993Z","title":"Temporal logics for learning and detection of anomalous behavior","venue":null,"work_id":"ed31e814-6968-44d6-a256-f82a0825d01c","year":2017},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.622349Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:961534bed1c6ad8b6398d972500ddcf58e3d1f70af9e98db95ae4639e10d140e","observation_id":"1365febd-9abb-4337-921e-535d54e04d5b","resolution":{"observed_at":"2026-08-10T13:39:37.215641Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.630587Z","title":"Temporal logic inference for classification and prediction from data","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.630587Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e5edee1f1f15901eafb7f608a916d14ea81df2f514a4d01531a90dbc2ea060bf","observation_id":"619098fe-42f0-445f-a6c5-24445bd42c12","resolution":{"observed_at":"2026-08-10T13:39:35.630587Z","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-10T13:39:38.681369Z","title":"Fainekos, and George J","venue":null,"work_id":"864f7a7e-bb52-43e0-adf5-a717b1fe465a","year":2008},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.636292Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:4360097db824ff63e5aa8a18d46f6446af622fb9134d5d5a06a644b052118421","observation_id":"bac54059-278e-4f4d-8bbf-308b89b55fb5","resolution":{"observed_at":"2026-08-10T13:39:38.686346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ase.2015.94","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.258193Z","title":"Investigating program behavior using the texada LTL specifications miner","venue":null,"work_id":"3df80390-b198-44d9-a64a-04399f6e3b66","year":2015},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.644394Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:4ca1919156a919771fffed5c5d7f3b523555b030c8884c422c96cc5b6f757ddd","observation_id":"b2ecfd02-4b12-425b-b3f8-a93f73996666","resolution":{"observed_at":"2026-08-10T13:39:36.269591Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.664661Z","title":null,"venue":null,"work_id":"c1e93d7c-50a0-4245-9c52-2b2c5ea29a1e","year":2011},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.651401Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:58719c0d5355e0fb40b78be2d44cd2c4755dd59dfc15ced55cb234af891aff72","observation_id":"6f524abb-11b6-4454-9220-e519cb10c50b","resolution":{"observed_at":"2026-08-10T13:39:38.669104Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.657889Z","title":"Reinforcement learning with temporal logic rewards","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.657889Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:0f10e06b9baf64518e8976eb80863629305c8cb6b64ca46050bc91f5c6daa5f8","observation_id":"75a371d3-e70a-4a6f-bc74-8b7d0519f5bc","resolution":{"observed_at":"2026-08-10T13:39:35.657889Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11649","last_updated":"2023-10-17T18:21:27Z","snapshot_observed_at":"2026-08-13T12:39:14.134223Z","submitted_at":"2023-02-22T20:56:40Z","title":"Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11649","snapshot_observed_at":"2026-08-10T13:39:35.665302Z","title":"Lang2ltl: Translating natural language commands to temporal robot task specification","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.665302Z"},"links":{"cited_paper":"/paper/2302.11649","citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:5b64eda8e50e450faf72634e17a6b71b8e563656ba0c566b0003931e5dca4b94","observation_id":"bc986282-d65f-4694-98f8-761bcb9f65ca","resolution":{"observed_at":"2026-08-10T13:39:35.665302Z","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-10T13:39:38.646385Z","title":"Breaking and fixing the needham-schroeder public-key protocol using FDR","venue":null,"work_id":"f011d8db-4c00-4abc-bd03-8d1837252159","year":1996},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.674173Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:051f87c5d3150b0d865463d382c4fc96d5fb3fa7ceac531aea622f5c0c24d402","observation_id":"6e84900e-f063-4b99-97cf-a974ce605e51","resolution":{"observed_at":"2026-08-10T13:39:38.651889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.627209Z","title":"Bridging ltlf inference to GNN inference for learning ltlf formulae","venue":null,"work_id":"caaedcd7-02d5-4ebe-a0ce-adc074720307","year":2022},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.682096Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:782a0475bc544950e216f734f688be1ca96405acba9f7e61c9e441b85ee2fa80","observation_id":"4f200923-2243-4436-8d8d-75c0a5a96a50","resolution":{"observed_at":"2026-08-10T13:39:38.633865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-45332-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Specification sketching for linear temporal logic","venue":"Lecture notes in computer science","work_id":"66733b7b-29aa-4250-aba3-adf54f80efd8","year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.691277Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:07209f38e3079a227b49f9cda97bd34410fcb37f1d82860fcca0c1f006171c1a","observation_id":"d3efd481-3e31-4a7f-b006-28076f00cc06","resolution":{"observed_at":"2026-08-10T13:39:36.199481Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16336","last_updated":"2023-12-26T21:16:19Z","snapshot_observed_at":"2026-08-13T10:06:25.792078Z","submitted_at":"2023-12-26T21:16:19Z","title":"Learning temporal formulas from examples is hard","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16336","snapshot_observed_at":"2026-08-10T13:39:35.697062Z","title":"Learning temporal formulas from examples is hard","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.697062Z"},"links":{"cited_paper":"/paper/2312.16336","citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:bceffb40d0b6577f5a59509e42bccdfb1b3043d3d0f63a09102096847f7d8bbf","observation_id":"ea3fc3db-abb9-4e75-9eaf-d2da52793232","resolution":{"observed_at":"2026-08-10T13:39:35.697062Z","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-10T13:39:35.702678Z","title":"Deshmukh, Aniruddh Gopinath Puranic, Marcell Vazquez - Chanlatte, and Alexandre Donz \\' e","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.702678Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:f0d1814094067d08f433d3ed31ebbceb8f947c720093473558a3bb6d97c22bd3","observation_id":"5e8bd58a-03c6-4585-8a38-5bf823448686","resolution":{"observed_at":"2026-08-10T13:39:35.702678Z","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-10T13:39:35.709889Z","title":"Learning linear temporal properties","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.709889Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:24c5d28f1f1a7fd247eb1aca44f7ca32bb5d027030ee38c0a67e20728233ee21","observation_id":"0a6a0194-dfff-447d-a091-e9b0e3873df7","resolution":{"observed_at":"2026-08-10T13:39:35.709889Z","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":"10.1007/978-3-031-75778-5_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications , pages 109--125","venue":"Lecture notes in computer science","work_id":"839952cd-e9ed-4a8b-ae33-ac81d443dd8e","year":2025},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.717909Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:abec0e70e266277f504b44037c5a51b79744e5998617965263d070d37beea48d","observation_id":"7b194f7e-433a-4933-8f4c-064ccf448661","resolution":{"observed_at":"2026-08-10T13:39:36.152504Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.724200Z","title":"Nemhauser and Laurence A","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.724200Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e053c738af6f5e6617ecdac9bb71cedd110a28b81828ba267ea9eb66cb327e11","observation_id":"0e798162-54b2-4b68-b293-a78a7a2af63f","resolution":{"observed_at":"2026-08-10T13:39:35.724200Z","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-10T13:39:38.606442Z","title":"A robust genetic algorithm for learning temporal specifications from data","venue":null,"work_id":"05964345-fd6f-40d4-850e-9ec7354a9b89","year":2018},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.734148Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:73738e711f07ce243881eff005df84c041e040cf6c5dcb7050f1ec73715123b6","observation_id":"40e5f74f-d156-4e0d-93e0-5c823e52f119","resolution":{"observed_at":"2026-08-10T13:39:38.613473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/issre.2009.15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.095127Z","title":"Nikora and Galen Balcom","venue":null,"work_id":"133d1fc8-db82-4571-8157-7069f9ea5384","year":2009},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.740475Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:876261a906704d36babc4e7eecf7b584a8fc2dd348d50d59996dc983dd73c418","observation_id":"4fa23b50-5250-453d-a333-9fb317cceb32","resolution":{"observed_at":"2026-08-10T13:39:36.104125Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.15607/rss.2019.xv.059","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.074466Z","title":"Planning with state abstractions for non-markovian task specifications","venue":null,"work_id":"f7f6664f-5f6c-4c10-908e-6c9ea43274d4","year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.754566Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:d15032c67416293fab171c2992c1f97b7c681ed5045bea061179df19555f08db","observation_id":"1a9259fe-e457-499d-9395-35a7ddee44d2","resolution":{"observed_at":"2026-08-10T13:39:36.080618Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.761412Z","title":"Data-efficient learning of natural language to linear temporal logic translators for robot task specification","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.761412Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:a97bfeca24827817957a81d148516b2a9165e920aed22c08580674712909486a","observation_id":"dd7d471c-27ed-4fa9-a7cf-4a54327b9364","resolution":{"observed_at":"2026-08-10T13:39:35.761412Z","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-10T13:39:35.772245Z","title":"The temporal logic of programs","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.772245Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:be9519ed7bf4211d00c84d51eb306346193ab5e9d84bb305bbd8832e80c2e217","observation_id":"1574f11f-7545-4f29-8425-bc68df4de1dc","resolution":{"observed_at":"2026-08-10T13:39:35.772245Z","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-10T13:39:35.783098Z","title":"Sat-based learning of computation tree logic","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.783098Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:5bea1226d71d8ea1b294cfe93e26d4d81e01d4931fa755260ff72852d429dbe3","observation_id":"4cc2f171-105a-4d48-99a2-5a6732292f05","resolution":{"observed_at":"2026-08-10T13:39:35.783098Z","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-10T13:39:38.586031Z","title":"Scalable anytime algorithms for learning fragments of linear temporal logic","venue":null,"work_id":"7d97cbce-7195-4648-b070-c58fdda73774","year":2022},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.787839Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:1d2e7bec99c57fbebd4f92ec4600d3638d6822f102c6b38c4de0c7a09bbc035b","observation_id":"27c0ecfe-e110-4410-9f6b-836937e50e94","resolution":{"observed_at":"2026-08-10T13:39:38.591164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.21105/joss.05052","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T13:39:36.014200Z","title":"Scarlet: Scalable anytime algorithms for learning fragments of linear temporal logic","venue":null,"work_id":"44b260c1-abb1-4453-9ae0-2a757ae1accf","year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.792932Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:e80b0952cb9ce421dd160a3822e020efba4dadc98be5cf9094f00c776275c3f4","observation_id":"a2ecb28b-09a7-4222-baec-dcaf424dc710","resolution":{"observed_at":"2026-08-10T13:39:36.023853Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.565268Z","title":"P \\' e rez","venue":null,"work_id":"1e8f138f-edd3-4849-9ef6-869506f98f07","year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.799392Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:81a965181e5ea167d369df81fd0203f9801b137e72c4b4e38ddc137e30034525","observation_id":"09ab0cfb-91f9-46a4-a3a4-55af8315fa0a","resolution":{"observed_at":"2026-08-10T13:39:38.571735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.804918Z","title":"Barrett, and Cesare Tinelli","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.804918Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:d4bfa6392b9e7bfdf86a3177750d12ef5211a10435887b109929cec5afe56970","observation_id":"82940020-19c2-4ea5-91f5-de9ad1ded0d1","resolution":{"observed_at":"2026-08-10T13:39:35.804918Z","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-10T13:39:38.541260Z","title":"Exact synthesis of LTL properties from traces","venue":null,"work_id":"efc335a2-5d24-4287-ba27-6b4162c0feb9","year":2019},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.815157Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:5add6def8fcadbef512fea751c17fa1538f7083fed1fb5dc967d39bb94a48a1f","observation_id":"75ca2985-921c-4658-9104-6008b5f73cb3","resolution":{"observed_at":"2026-08-10T13:39:38.547097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.524389Z","title":"Learning interpretable models in the property specification language","venue":null,"work_id":"3f2ef1a1-13eb-4099-80de-f67ab67afc0f","year":2020},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.822107Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:6d27f5a95b151ff6d5ee2474900c27ad40ee8d4442d7a693e7355d6c56113021","observation_id":"50fad820-14a8-4bdb-9d4a-f12ed405f18a","resolution":{"observed_at":"2026-08-10T13:39:38.530222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.02650","last_updated":"2023-03-02T18:02:20Z","snapshot_observed_at":"2026-08-13T14:32:11.543331Z","submitted_at":"2022-09-06T17:04:09Z","title":"Learning Interpretable Temporal Properties from Positive Examples Only","version":2},"cited_work":{"arxiv_id":"2209.02650","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.02650","snapshot_observed_at":"2026-08-10T13:39:36.620191Z","title":"Learning Interpretable Temporal Properties from Positive Examples Only","venue":"cs.LO","work_id":"2c7f1a5a-a517-41bb-ad9c-d0657786de4b","year":2022},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.829679Z"},"links":{"cited_paper":"/paper/2209.02650","citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:b431da19bc9fa2520d7ea926ea7914d6ecb4de16ae5dc74cf3024b61eaad626e","observation_id":"bfd2b170-902a-4833-a4a7-cd925dac506c","resolution":{"observed_at":"2026-08-10T13:39:36.625550Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.506609Z","title":"Specification: The biggest bottleneck in formal methods and autonomy","venue":null,"work_id":"375cb4eb-21e6-4e57-9948-d5b4fdb30fb2","year":2016},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.835063Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:13ffba3b6775c5c64f6c36de3bcdd97e093cc383995cf315a53b26714230fdcb","observation_id":"ff8f7ded-b3af-4d15-abca-5d51dcd8f940","resolution":{"observed_at":"2026-08-10T13:39:38.511951Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.490270Z","title":"Shah, and Shen Li","venue":null,"work_id":"adfd49e8-763e-4622-bf56-583586527fac","year":2018},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.840283Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:18212d811d6cd3fbdefaa1ad2a89929ed842e6183861e4fa31085df1c3fd0344","observation_id":"ebbd2128-e3b5-409a-ac4c-481c76a40e73","resolution":{"observed_at":"2026-08-10T13:39:38.495353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-65633-0_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Ltl learning on gpus","venue":"Lecture notes in computer science","work_id":"e5c2733f-6a85-48fd-9559-1bedda0c8598","year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.846833Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:3c79017f5acf7f33e4bd56365b0bcebb782062435e8b5905c0738f61e8c7fb72","observation_id":"53786836-b0f6-4f10-8f49-e065951305ea","resolution":{"observed_at":"2026-08-10T13:39:35.979708Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.473310Z","title":null,"venue":null,"work_id":"2d4a3bf3-68f8-4100-95d5-b107b84a3e49","year":2007},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.851942Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:4520e0ca81d6d6412b859d27875e122fccb7f99cfa5f6e0b36dbb32be9caa294","observation_id":"6830d7e3-4065-43a7-b143-d063b9f55051","resolution":{"observed_at":"2026-08-10T13:39:38.478292Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:35.859431Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.859431Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:8c740e0fcdd5f1873dd93c20bfd1c733426775fe477b469242a8f342fdb07d49","observation_id":"43db9e80-7421-4727-9390-5437cd1a8d14","resolution":{"observed_at":"2026-08-10T13:39:35.859431Z","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-10T13:39:38.457109Z","title":"End-to-end learning of ltlf formulae by faithful ltlf encoding","venue":null,"work_id":"539ecbfb-ab50-4912-a53a-1bc94910300b","year":2024},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.866922Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:4913ed47d626e05e206c917127f8d858a44af23418c186f3ef88f1344c875178","observation_id":"cbb89c7d-cd18-4712-9795-eb3c561b9534","resolution":{"observed_at":"2026-08-10T13:39:38.461938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-10T13:39:38.437916Z","title":"Mining temporal specifications from object usage","venue":null,"work_id":"b507bf5f-9467-478a-9267-c6693dd4a0ec","year":2011},"citing_paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-10T13:39:35.873717Z"},"links":{"citing_paper":"/paper/2501.16274"},"observation_digest":"sha256:7d0fcb6a97bb3fb73bfd1c964f341a7fe6ed8a29c359875410a09ad18dc0ddcb","observation_id":"03019331-c1e0-4bde-855d-b350deb23a44","resolution":{"observed_at":"2026-08-10T13:39:38.444219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.16274","last_updated":"2025-01-27T18:06:48Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-14T15:12:55.508339Z","submitted_at":"2025-01-27T18:06:48Z","title":"What is Formal Verification without Specifications? A Survey on mining LTL Specifications"},"reference_resolution":{"displayed":83,"state_counts":{"malformed_identifier":2,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":36,"verified_exact":15,"verified_fuzzy":28},"total_outbound_references":83},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 83 of 83 outbound references and 0 inbound Pith citation observations for arXiv:2501.16274."}