{"as_of":"2026-08-13T04:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e78fcad24aac517ddcca4e6f9ae85b450d38a46f3ea7c73e79ea33225ebdfeac","coverage":[{"denominator":257,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:51:27.180824Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.14870/citation-record","integrity":"/paper/2411.14870/integrity","json":"/paper/2411.14870/citation-record.json","paper":"/paper/2411.14870"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:26.715549Z","title":"Journal of Management Analytics 6, 1–29 (2019) https://doi.org/ 10.1080/23270012.2019.1570365","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.715549Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:1de5d04ff0b6e49aa3ab8212b07d85db8be99f640fc9ca967e93bd7e8ed30390","observation_id":"cd747307-f793-4313-a1d0-c5538c56658b","resolution":{"observed_at":"2026-08-12T14:51:26.715549Z","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/s44163-023-00089-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.954817Z","title":"Discover Artificial Intelligence 3 (2023) https://doi.org/10.1007/s44163-023-00089-x","venue":null,"work_id":"950ba738-d578-4364-9f12-d89ec2132c2a","year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.720579Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:1423fe0d19dcd7d2aebb12cde5108d5b2b40781eee90825db15ad0c80cd7326c","observation_id":"cdc27b0c-05c6-40eb-b0b8-b67f12e77940","resolution":{"observed_at":"2026-08-12T14:53:33.023388Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.21037/atm-22-3773","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.901729Z","title":"Annals of Translational Medicine 11(5) (2023) https:// doi.org/10.21037/atm-22-3773","venue":null,"work_id":"8020f4df-b573-4491-9227-bf7324aefda7","year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.724965Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:910b5d913634581cd9dfa6fc73ee3c4e7d53bbedaeb86364b1d7e9e416597462","observation_id":"9375aff8-c8f3-43c1-a0ef-b82918acbcc1","resolution":{"observed_at":"2026-08-12T14:53:32.935481Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:26.729393Z","title":"Mathematics 11(11) (2023) https://doi.org/10.3390/ math11112420","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.729393Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:4c2e93425074f1427a473f30445fcf672302b5733b3e618f9bfeb4cb5a109a29","observation_id":"beb53686-48d8-4a3a-93f3-6498d32d4fc6","resolution":{"observed_at":"2026-08-12T14:51:26.729393Z","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-12T14:51:26.734126Z","title":"AI Perspectives 2 (2020) https://doi.org/10.1186/ s42467-020-00005-4","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.734126Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:fec07b5d146c4e9b4fb6ed14a6b377e2c0cd56374131474a7dcb78bc78fa490b","observation_id":"8ce7e79b-7a32-4224-9775-b1ce0d4543a1","resolution":{"observed_at":"2026-08-12T14:51:26.734126Z","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-12T14:51:26.739456Z","title":"IEEE Access 9, 140896–140920 (2021) https://doi.org/10.1109/ACCESS.2021.3119746","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.739456Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:a2ef81808f45cc0116e549e64e362c12ded604cc0f654e036d560f6fa9199086","observation_id":"f801f349-1e72-4c79-818d-8f783bd39039","resolution":{"observed_at":"2026-08-12T14:51:26.739456Z","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-12T14:51:26.744561Z","title":"(eds.): Software Engi- neering Body of Knowledge vol","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.744561Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:6cee647656a37bb7eaa069e2f2b3679cbfb2b6d838c9eb8c510f7451c7534c3c","observation_id":"6013e9e3-30a8-4f14-ade4-c3b43b70602b","resolution":{"observed_at":"2026-08-12T14:51:26.744561Z","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-12T14:51:26.749495Z","title":"Information and Software Technology 64, 1–18 (2015) https://doi.org/10.1016/j.infsof.2015.03.007","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.749495Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:c48621876952c536b5f51dded5797a7e68525814d5cca3fa61e00a6967b8fa7a","observation_id":"8f18560e-61c2-47fc-a84e-744a0051ce31","resolution":{"observed_at":"2026-08-12T14:51:26.749495Z","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-12T14:51:26.753751Z","title":"In: Proceedings of the 14th International Conference on Evaluation and Assessment in Software Engineering","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.753751Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:3d9f42a5623aa0c2801566778884579847bfe0e90b5116b46cf21fce46bd2984","observation_id":"599d7756-dcc1-484a-8742-9b76d5494cf3","resolution":{"observed_at":"2026-08-12T14:51:26.753751Z","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-12T14:51:26.758991Z","title":"Technical report, Keele University (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.758991Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:eb275c304706cba0ddd64239e2cbd7b76b9a30f0ab6f77c203f8ec7336ed9d39","observation_id":"b8d0dd84-3846-4df4-b4ce-5e0783549f79","resolution":{"observed_at":"2026-08-12T14:51:26.758991Z","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-12T14:51:26.763182Z","title":"ACM Computing Surveys 41, 1–36 (2009) https: //doi.org/10.1145/1592434.1592436","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.763182Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:463603a3bf889858af4bcb5397de3fa2a3dc0230ea0ea275d0704360fbfe45c4","observation_id":"686d5c9a-ff6f-40f1-95e5-fc0dbff10a94","resolution":{"observed_at":"2026-08-12T14:51:26.763182Z","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-12T14:51:26.771097Z","title":"ACM Computing Surveys 28(4), 626–643 (1996) https://doi.org/10.1145/ 242223.242257","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.771097Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:3327a0379b9b98df0e9c545504d24bd0c8a62284ce42df39e63253b17399482a","observation_id":"0ee8b556-dce6-41b5-9c8e-01eab3f96822","resolution":{"observed_at":"2026-08-12T14:51:26.771097Z","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-12T14:51:26.783205Z","title":"(eds.): Hand- book of Model Checking","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.783205Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d40f8bbdf905ece61fc1a9b1caa4b4f3d90b85ebbb80f8f6a4c7f06d3cf212f2","observation_id":"6afd4ede-8f07-41c3-a006-93636c3d3d76","resolution":{"observed_at":"2026-08-12T14:51:26.783205Z","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-12T14:51:26.788693Z","title":"Courier Dover Publications, USA (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.788693Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:ae5be52999274d40d81f1e44e1cd3e584ef98332d3d538ed7bf47d4cc751bc7f","observation_id":"b9dcfcae-e9a8-4649-9889-d7f78936c94c","resolution":{"observed_at":"2026-08-12T14:51:26.788693Z","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-12T14:51:26.793361Z","title":"Texts in Theoretical Computer Science","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.793361Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:48fea0ea2ed3cc34b8297ccff68b9f9b579fd5531f94da4326d3c98b07d6069d","observation_id":"dd657ccd-6c46-4d29-bc4a-ecbf203724ca","resolution":{"observed_at":"2026-08-12T14:51:26.793361Z","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-12T14:51:26.797644Z","title":"(eds.): Handbook of Satisfiabil- ity, 2nd edn","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.797644Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d169f028fea1123f6dd179d4988d2d44880794be39b819abc1f94236f1daf8c2","observation_id":"155c51ae-a9c3-4911-ab37-37cf6785f5cc","resolution":{"observed_at":"2026-08-12T14:51:26.797644Z","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-12T14:51:26.807446Z","title":"In: Clarke, E.M., Hen- zinger, T.A., Veith, H., Bloem, R","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.807446Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:c6fe42ae7cd9bb5db3bd07576b99533ce7f7d7635b707bdf3e0cf70be1f6bf71","observation_id":"cac788c2-697c-4848-9232-053d6012e55d","resolution":{"observed_at":"2026-08-12T14:51:26.807446Z","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-12T14:51:26.812190Z","title":"Journal of Automated Reasoning 51, 57–77 (2013) https://doi.org/10","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.812190Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:4f817dfc6d8d19f1d095b95edb08c8ff77520849b9912f3e8f954f460231ceb3","observation_id":"0df87442-2b38-43ae-afcf-1f1fc77515d2","resolution":{"observed_at":"2026-08-12T14:51:26.812190Z","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-12T14:51:26.816470Z","title":"In: Emerson, E.A., Sistla, A.P","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.816470Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:a0ca3ebf1b5b37d7e4b631ee7574a46fe64bc1be8f05bc2ab787b675ec7ea17b","observation_id":"0c147560-c266-49d8-ab1f-7655937b0836","resolution":{"observed_at":"2026-08-12T14:51:26.816470Z","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-12T14:51:26.821195Z","title":"In: Proceedings Design, Automation and Test in Europe","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.821195Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:8311ef18d280df17979d6d3bfa4fd287ae634271a65363fe8c7ce6c2face2bfa","observation_id":"bf39e1f7-045d-4366-9a99-48778ecc0ff0","resolution":{"observed_at":"2026-08-12T14:51:26.821195Z","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.1016/j.sysarc.2004.10.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.720848Z","title":"Journal of Systems Architecture 51(8), 488–511 (2005) https: //doi.org/10.1016/j.sysarc.2004.10.006","venue":null,"work_id":"f77e3b30-e8a2-43bc-a48a-34107c5abb2a","year":2005},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.825299Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:db579063a69860e8096dabf2daf2f1065fe1a4e9ec2b6641adecc275aa62d9ca","observation_id":"980bf93b-21ef-4662-be32-76fe9a53b4c8","resolution":{"observed_at":"2026-08-12T14:53:32.781264Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:26.829330Z","title":"IEEE Journal of Oceanic Engineering 13(2), 14–42 (1988) https://doi.org/10","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.829330Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b2f863de5dd36df6671c54d843475dd3d330676b334c16d405b715fe31bfe80e","observation_id":"26619d5e-bc30-4998-8b0b-269945f54642","resolution":{"observed_at":"2026-08-12T14:51:26.829330Z","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-12T14:51:26.833201Z","title":"McGraw-Hill Professional, New York, NY, USA (1997)","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.833201Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:4ad304e2430efbeae63967d5f72d90e84b05ccdff9dee99c44dc2993b7cba4f7","observation_id":"a0caf686-e02e-45de-ab00-7391cb9c0183","resolution":{"observed_at":"2026-08-12T14:51:26.833201Z","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-12T14:51:26.837321Z","title":"Spartan Books, Washington, DC (1962)","venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.837321Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:09cf02f25b6821589d5807c5dc6e45e5d8d472ba992dada505e1f2d28758907e","observation_id":"842abace-1a92-4d76-ae49-6d999d6ec644","resolution":{"observed_at":"2026-08-12T14:51:26.837321Z","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-12T14:51:26.841605Z","title":"MIT Press, Cambridge, MA (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.841605Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:1864aa516adf150ede28619d9b5803e25bde326163335ff8ff56795dffe855ba","observation_id":"c2d9039a-f90e-4360-8bf1-3baef06cbaa9","resolution":{"observed_at":"2026-08-12T14:51:26.841605Z","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-12T14:51:26.845746Z","title":"In: Proceedings of 2010 IEEE International Symposium on Circuits and Systems, pp","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.845746Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:14386b4e2858f858bf33fdb1b0b8ce607e0b7eb65b09f0425724a9dc7973d043","observation_id":"8e305811-af6d-4226-a178-4c551cedb8b4","resolution":{"observed_at":"2026-08-12T14:51:26.845746Z","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.1016/s0166-4115(97)80111-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.687400Z","title":"In: Don- ahoe, J.W., Dorsel, V.P","venue":null,"work_id":"667bd776-958a-4611-af9a-086ab53fd823","year":1997},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.849412Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:bf97cb2a48d4d5949491da8916b2ca8b55e9437a55d87c440cac07802b5069c9","observation_id":"f15ca7ed-4c9c-4643-99fb-97e411f68565","resolution":{"observed_at":"2026-08-12T14:53:32.709071Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:26.854036Z","title":"In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S., Garnett, R","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.854036Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:045179ae7620df4647da8886aa1cc082e5b9f28d7c54c794d1a075886e64b124","observation_id":"c0ff6d47-b7c0-436a-8fe5-b8f7327cb2fe","resolution":{"observed_at":"2026-08-12T14:51:26.854036Z","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-12T14:51:26.857838Z","title":"AI Open 1, 57–81 (2020) https://doi.org/10.1016/j.aiopen.2021.01.001","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.857838Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:dae18b4077bdec5cab121763e788f38351b44bb2e317e664586a73dc9d87f3da","observation_id":"b71d8c22-00cc-455a-8485-e71e0280c014","resolution":{"observed_at":"2026-08-12T14:51:26.857838Z","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-12T14:51:26.862159Z","title":"SN Computer Science 2 (2021) https://doi","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.862159Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:47436d116098987c728c18e642f1efb8366cfd5cc0d6c8dbbc204556e94d0d51","observation_id":"8bade5ec-10b1-4788-af94-9ccd25c2afbf","resolution":{"observed_at":"2026-08-12T14:51:26.862159Z","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-12T14:51:26.866269Z","title":"Journal of artificial intelligence research 4, 237–285 (1996) https://doi.org/10","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.866269Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:2407f44baf15e1d3c5798675f1b601bd2ff14d43aaaf30b9024d864b08447a23","observation_id":"5b704db7-556c-4c9c-8ef2-c394bf97fd78","resolution":{"observed_at":"2026-08-12T14:51:26.866269Z","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-12T14:51:26.871178Z","title":"MIT Press, Cambridge, MA (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.871178Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:8edeb88575e90c4b6d0d5d9b123b7871964499ad4c0e22af5e2da1f986c9dbaa","observation_id":"36192102-11c6-4fd0-b73b-00ba5f8de741","resolution":{"observed_at":"2026-08-12T14:51:26.871178Z","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-12T14:51:26.875719Z","title":"Fundamentals of Artificial Intelligence, pp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.875719Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:6fb9746ae51d016172d98a8a122a804e5baa562901ca6df8a7e722dec52b7559","observation_id":"7f0e3323-015b-4af9-975b-85badf343bec","resolution":{"observed_at":"2026-08-12T14:51:26.875719Z","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-12T14:51:26.880362Z","title":"Multimedia Tools and Applications 82, 3713–3744 (2023) https://doi.org/10.1007/s11042-022-13428-4","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.880362Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:7bceb5957bf4d4f369f922876069e10fc45c17360c89cd58cffd3e79afeb9156","observation_id":"8c0b7f05-2f9d-4bad-916e-30429c947df6","resolution":{"observed_at":"2026-08-12T14:51:26.880362Z","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-12T14:51:26.884554Z","title":"ACM Transactions on Intelligent Systems and Technology 15(3), 1–45 (2024) https://doi.org/10.1145/3641289","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.884554Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:621c5a71f75ef838dd4b27f5358e7453b1d7897ec8a2bb1ac08e5712341adfdc","observation_id":"310ad929-8dca-49a8-b79e-5dc10b9da28d","resolution":{"observed_at":"2026-08-12T14:51:26.884554Z","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-12T14:51:26.890053Z","title":"IEEE/CAA Journal of Automatica Sinica 10(5), 1122–1136 (2023) https://doi.org/10.1109/JAS.2023.123618","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.890053Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:71740d497b74361f5d712c2fe929b37c1a5b01e0c0acf33da71ade42f5c30dfe","observation_id":"68ee194e-89d7-4344-ab0c-c398c8449f22","resolution":{"observed_at":"2026-08-12T14:51:26.890053Z","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-12T14:51:26.894446Z","title":"MIT press, Cam- bridge, MA (1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.894446Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:9be09787fefeaa382fb09c8b0213ddcd7a32e34a3524f9c5217941fd232c7a20","observation_id":"f56ee006-e7bd-40e6-928b-b31b89aae94c","resolution":{"observed_at":"2026-08-12T14:51:26.894446Z","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-12T14:51:26.898358Z","title":"In: Wang, L","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.898358Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:cab170a7117286589d00d67c37695f14bb53f401c1bce3f08a2a6606556d9cfc","observation_id":"5dc7e9c1-1b76-4de1-bd96-3483c65077f2","resolution":{"observed_at":"2026-08-12T14:51:26.898358Z","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-12T14:51:26.902712Z","title":"Wiley series in probability and statistics","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.902712Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:92aa075e93365d88f248dbc068d0d9127f53e13f48280012fb9f1812c98ce0a2","observation_id":"a507e432-2c99-4554-abd9-34d7960eaf2b","resolution":{"observed_at":"2026-08-12T14:51:26.902712Z","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-12T14:51:26.907010Z","title":"IEEE Transactions on Information Theory 13(1), 21–27 (1967) https://doi.org/10.1109/TIT.1967","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.907010Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b2b29b2f4a8aed44be41cd2b0f9027afe2abede4b957c47b7a574da256368927","observation_id":"6ff08a9b-b218-46d4-926e-063e9a562ea0","resolution":{"observed_at":"2026-08-12T14:51:26.907010Z","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-12T14:51:26.911371Z","title":"Taylor & Francis, New York, NY (1984)","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.911371Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:7245e4346712368b72e90979f2ec4588553ddd0e246af73f419a86c5f7b76e6d","observation_id":"17606651-1cac-4bba-8b1c-8286de36ba24","resolution":{"observed_at":"2026-08-12T14:51:26.911371Z","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-12T14:51:26.915387Z","title":"Machine learning 45(1), 5–32 (2001) https://doi","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.915387Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:5412dd417f59435fa3bcae5eb42fdea70a5781e83027075b1f027e67b5e25ca5","observation_id":"5ce11a10-7db7-4db6-a258-7d6661f32212","resolution":{"observed_at":"2026-08-12T14:51:26.915387Z","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-12T14:51:26.919494Z","title":"In: Bousquet, O., Luxburg, U., R¨ atsch, G","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.919494Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:35dd4812b19249aa553a9c0677d037ff7889dbeb2ce62dddefa74a725e7350d6","observation_id":"4133ca06-08bf-415d-b104-759ff1b65afb","resolution":{"observed_at":"2026-08-12T14:51:26.919494Z","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-12T14:51:26.923805Z","title":"In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.923805Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:afd54cf9221ea5d0ffdefeda9698f905ba5a8f7b50ceca65ace3568dd44702f0","observation_id":"25fdde13-8d24-4790-b085-e5d6bef98a6c","resolution":{"observed_at":"2026-08-12T14:51:26.923805Z","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-12T14:51:26.927860Z","title":"Electronic Notes in Theoretical Computer Science 86, 147–152 (2003) https://doi.org/10.1016/S1571-0661(04) 80659-5","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.927860Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:442d7259015191d55795da5d89ba144c3f9afdd1ca9acc1cfad6e5c308bdc006","observation_id":"97520f61-9fbb-495a-b276-a664dd7873a0","resolution":{"observed_at":"2026-08-12T14:51:26.927860Z","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-12T14:51:26.931855Z","title":"MIT press, Cambridge, MA (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.931855Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:207f0e0d7c1bf2a7a5732ffd243dc435ae7afb8d99229fffd60f31c6ac4a2913","observation_id":"33eefd55-0b40-4047-b3ef-891e72a0a4ac","resolution":{"observed_at":"2026-08-12T14:51:26.931855Z","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-12T14:51:26.936045Z","title":"Science 359(6377), 725–726 (2018) https://doi.org/10.1126/science.359.6377.725","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.936045Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:15a1a7e621909a09b622e1ca61fb86658a91c76708ea468b15479a6228c2f454","observation_id":"83770079-7583-468f-822b-9fa1377ec6f3","resolution":{"observed_at":"2026-08-12T14:51:26.936045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1606.01540","last_updated":"2016-06-05T17:54:48Z","snapshot_observed_at":"2026-08-12T05:40:07.199512Z","submitted_at":"2016-06-05T17:54:48Z","title":"OpenAI Gym","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.01540","snapshot_observed_at":"2026-08-12T14:51:26.942612Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.942612Z"},"links":{"cited_paper":"/paper/1606.01540","citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:7a0d621c7d8a4b19f3c8d61784f69a598a23302e3533d62700fde0d1926f2864","observation_id":"999d5550-ed97-41c8-814b-521726fe1b93","resolution":{"observed_at":"2026-08-12T14:51:26.942612Z","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-12T14:51:26.947469Z","title":"In: First International Symposium on Empir- ical Software Engineering and Measurement (ESEM 2007), pp","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.947469Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:728e15819ad349600e3d6361e264fe9fc4649a961a93739b863f4891f8de4339","observation_id":"98ed560f-e3b5-42c6-befa-932a193c0c09","resolution":{"observed_at":"2026-08-12T14:51:26.947469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1806.03600","last_updated":"2018-06-12T11:16:34Z","snapshot_observed_at":"2026-07-06T06:43:56.885493Z","submitted_at":"2018-06-10T07:29:41Z","title":"ML + FV = $\\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1806.03600","snapshot_observed_at":"2026-08-12T14:51:26.951490Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.951490Z"},"links":{"cited_paper":"/paper/1806.03600","citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:876577b85350a87c12b8c7a9d0ef5025287dc3f68f01d4ec345ce469f0689763","observation_id":"5f2adce2-b6d5-44d9-b037-8a5bbe568c52","resolution":{"observed_at":"2026-08-12T14:51:26.951490Z","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-12T14:51:26.956136Z","title":"IEEE Access 8, 108561– 108578 (2020) https://doi.org/10.1109/ACCESS.2020.3000907","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.956136Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:56380894dd34723902e3959029d317b1e90f72e7dbc863115f2b768e23d275a1","observation_id":"46dfd307-c71a-4752-855c-dcf8bba1b988","resolution":{"observed_at":"2026-08-12T14:51:26.956136Z","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/s10703-023-00430-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.550896Z","title":"Formal Methods in System Design 60, 1–26 (2023) https: //doi.org/10.1007/s10703-023-00430-1","venue":null,"work_id":"bbe5cf2d-9984-49a9-9fa6-5cccf00b7d0d","year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.960146Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:5f829ea341e3f527092191dc43e25e090dc87ed045af2e606cb27075fc3fa15c","observation_id":"5a75195b-bf75-4c5f-a0b8-f60c56e1a1f5","resolution":{"observed_at":"2026-08-12T14:53:32.556251Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:26.964397Z","title":"International Journal of Advanced Intelligence Paradigms 5(3), 233–256 (2013) https://doi.org/10.1504/IJAIP","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.964397Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:65c1a10f5375160f1a6b87d55363749107ccf36843bca2b27f58c5c339b36835","observation_id":"16b17584-5690-4a30-b3cf-f113fe24cb6d","resolution":{"observed_at":"2026-08-12T14:51:26.964397Z","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":"10.1561/2200000081","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.533803Z","title":"Foundations and Trends ® in Machine Learning 14(6), 807–989 (2021) https://doi.org/10.1561/2200000081","venue":null,"work_id":"69c14c1e-8021-408c-97b0-9f797abfd198","year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.968748Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:5352ecb48b19ca4bab3f01906c236ef3b9d6be50dd65505ead7f15dd9640a087","observation_id":"8eb4d557-ab29-4edb-b9ed-fd3fc5bae07d","resolution":{"observed_at":"2026-08-12T14:53:32.538959Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11633-022-1396-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:53:32.486616Z","title":"Machine Intelligence Research 20, 640–655 (2023) https://doi.org/10.1007/s11633-022-1396-2","venue":null,"work_id":"e0262c7a-3284-40d8-8f4f-e0630710fbb6","year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.974190Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:12a9450b66d7e33c77f717342f5968916f62eb8569c75d230eb874e52bbd511a","observation_id":"c71e2bb5-0aba-4d19-9312-7edb850b71e8","resolution":{"observed_at":"2026-08-12T14:53:32.521923Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:26.978984Z","title":"In: Zhang, Y","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.978984Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:befe6ce9ea2f6b6b29b3b9025aa529a3e374499eece6083ca7c375c41e0c9237","observation_id":"b6e5f776-72b3-4981-bb9b-f7dab9a8c594","resolution":{"observed_at":"2026-08-12T14:51:26.978984Z","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-12T14:51:26.983271Z","title":"In: Biere, A., Heule, M., Maaren, H., Walsh, T","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.983271Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:764867b2b7a50213985b5423981d22562bc2bc3a0ebb7bb69eb0903f1e26e83d","observation_id":"978576bd-846d-4d9c-83f7-7a0ec05a5eb3","resolution":{"observed_at":"2026-08-12T14:51:26.983271Z","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-12T14:51:26.987728Z","title":"In: Sankaranarayanan, S., Sharygina, N","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.987728Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:c5371058237a74a362a05524e0e2c34cd58dfe7095b1ca60fb8674ac70fd5b19","observation_id":"d9b1faaf-7c20-4a75-bf83-b0bb9e46de97","resolution":{"observed_at":"2026-08-12T14:51:26.987728Z","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":"10.1007/978-3-642-38171-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.883416Z","title":"In: Gomes, C., Sellmann, M","venue":null,"work_id":"663fe7b7-06c7-4af2-a447-bfb157046bac","year":2013},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.992062Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:118df6c284996fa2278d917904bc33cbd0cc7252f2140bb0625074cf6b71b677","observation_id":"b2c849e1-ee56-4fa6-87c7-4b49cd27309f","resolution":{"observed_at":"2026-08-12T14:51:28.888479Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:26.996406Z","title":"Journal of Intelligent Information Systems 58, 91–118 (2022) https://doi.org/10.1007/s10844-021-00666-5","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:26.996406Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:2f21c1ee2419893682bb28cd65c25f59b86167066f560138004cdba9e20f65ed","observation_id":"d983b826-4486-4e0c-8759-0034bdebad27","resolution":{"observed_at":"2026-08-12T14:51:26.996406Z","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-12T14:51:27.001555Z","title":"In: Bonacina, M.P., Stickel, M.E","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.001555Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:8e522e100418959d54228678eb7f1929e52a76f31f14efb31123d2e6b0876446","observation_id":"5c62103b-f932-4ead-8513-297b0958765f","resolution":{"observed_at":"2026-08-12T14:51:27.001555Z","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-12T14:51:27.006245Z","title":"In: Stefan Geschke, P.S","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.006245Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:c86c89cb5b82ee54de20809e369c818fc4f46a68ae26347fe6125d68b9845e76","observation_id":"066fd83b-8270-455a-8581-26453f97a2c5","resolution":{"observed_at":"2026-08-12T14:51:27.006245Z","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-12T14:51:27.010037Z","title":"Journal of Automated Reasoning 41 57, 219–244 (2016) https://doi.org/10.1007/s10817-016-9362-8","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.010037Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:3866336c8c1ed6971c728191d03501f5530878985b40b05cb6378f8cf26063ea","observation_id":"e2c89898-c688-46a4-b338-463eef97a2e4","resolution":{"observed_at":"2026-08-12T14:51:27.010037Z","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-12T14:51:27.014529Z","title":"In: Davenport, J.H., Kauers, M., Labahn, G., Urban, J","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.014529Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:627cefc6daee2a2b903ca9e9f683150e4f2b76bfefde3391f8c027cc3b705e53","observation_id":"73bc62ab-0654-413f-8b04-d9248c7e9a16","resolution":{"observed_at":"2026-08-12T14:51:27.014529Z","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-12T14:51:27.018942Z","title":"(eds.) Proceedings of TextGraphs-16: Graph-based Methods for Natural Language Processing, pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.018942Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:1a21e1c0e467e9fad5acf47c4918aef7cc39a399b5e06fb78fa60d8eeeb893eb","observation_id":"9add3e7f-930b-47cb-a16f-46abef7d5b75","resolution":{"observed_at":"2026-08-12T14:51:27.018942Z","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-12T14:51:27.023048Z","title":"Artificial Intelligence 206, 79–111 (2014) https://doi","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.023048Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:6e3f824abd1ad119a4a74191f995424ebe3237e86c6364567e08bf152cc555c3","observation_id":"dfe184fd-6b92-49dd-8dec-d07b469a40eb","resolution":{"observed_at":"2026-08-12T14:51:27.023048Z","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.4018/978-1-7998-1659-1.ch017","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.840900Z","title":"In: Tan, Y","venue":null,"work_id":"60019966-20bf-45bb-b927-a55deecd8ce3","year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.028236Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:e67905771dab9580d7f1c6db622cf60dbcde5f9403527a0bbd6ada00e41a628b","observation_id":"5a9c3d6f-8a25-4ed0-896b-66ae987237fa","resolution":{"observed_at":"2026-08-12T14:51:28.845638Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.033739Z","title":"(eds.) Machine Learning for Software Analysis: Models, Methods, and Applications","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.033739Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d7b822d5e158fcd0b525d9ba7ed1fdbd315780826123b433165c0fe18e5b030b","observation_id":"baa5e0b1-a07a-4d6c-9b18-40f977439345","resolution":{"observed_at":"2026-08-12T14:51:27.033739Z","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-12T14:51:27.038243Z","title":"In: Gamper, J., Pinchinat, S., Sciavicco, G","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.038243Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:2683bb4f910c298773f067075d4bfd86ef84b573b7c9c85057be3612b06686ac","observation_id":"371da062-16f2-4d7b-b4f4-3bace915074a","resolution":{"observed_at":"2026-08-12T14:51:27.038243Z","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-12T14:51:27.042456Z","title":"In: 2019 IEEE 17th International Conference on Industrial Infor- matics (INDIN), pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.042456Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b190b61592be6e963a247d81a34887c660118a08f1cc6fd9550de0706c960563","observation_id":"7b71e166-230a-4c61-b44c-965081c96129","resolution":{"observed_at":"2026-08-12T14:51:27.042456Z","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-12T14:51:27.046383Z","title":"In: AAAI- 23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations, vol","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.046383Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:e1adafaea7fb632ad22f26f81883b3cfd1f96eb3da435d63a45d6bed179703bd","observation_id":"fdb86b24-5f1a-48a0-9038-2a4907a12159","resolution":{"observed_at":"2026-08-12T14:51:27.046383Z","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":"10.1007/s10270-022-00983-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.804487Z","title":"Software and Systems Modeling 21(3), 1135–1157 (2022) https://doi.org/10.1007/s10270-022-00983-5","venue":null,"work_id":"9bcc46fd-457b-4dac-a10f-1ad73824cc2c","year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.055193Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:8fc64c39b8c06e3d674cf7a815ce3401dbc03c7be80dd7452243f31949753298","observation_id":"c275bc0f-d4ce-43ae-acb3-a7409b3408dd","resolution":{"observed_at":"2026-08-12T14:51:28.810587Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.060382Z","title":"In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.060382Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b64ad0843aea8210e2d8d114a108f180eb8e6431afe7eccdb2a0430bc4f49f00","observation_id":"5cdd43bb-e9af-4602-9556-d2bd54d01067","resolution":{"observed_at":"2026-08-12T14:51:27.060382Z","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-12T14:51:27.064567Z","title":"IEEE Access 10, 49508–49527 (2022) https://doi.org/10","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.064567Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b5092e1e1c3ad2f2ec3c00276012ed6b32e5200f23162f4659dacd0e9693942e","observation_id":"4594dba9-b35f-45dd-9c10-2f1480b95950","resolution":{"observed_at":"2026-08-12T14:51:27.064567Z","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-12T14:51:27.069896Z","title":"In: 2022 International Symposium on iNnovative Informatics of Biskra (ISNIB), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.069896Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:3f35e5dfe78ec46cb7561f85556d48b6b4c4748478bdd329a31bdfb3850284af","observation_id":"de4a5c15-10bc-4426-ac0d-729ca7f01bc3","resolution":{"observed_at":"2026-08-12T14:51:27.069896Z","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-12T14:51:27.074105Z","title":"In: International Conference on Learn- ing Representations","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.074105Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d94ce100cfa68e627d1e1f12ca4b90bab58e6e9f3af0665c6e762d9f2dc4849b","observation_id":"340ba4b3-8ee0-42b1-82f3-4fe95453a5ce","resolution":{"observed_at":"2026-08-12T14:51:27.074105Z","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-981-15-0132-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.791757Z","title":"In: Jain, L.C., Tsihrintzis, G.A., Balas, V.E., Sharma, D.K","venue":null,"work_id":"45e8ce0f-7eb9-4882-87c6-205aae9c7e03","year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.077975Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:61ba73d1e7a1c6c5835bb57cc90eae929daea8dbc695e2ea395fd535e9032789","observation_id":"8d15056f-ee75-4699-8d06-c4bf23edf608","resolution":{"observed_at":"2026-08-12T14:51:28.796352Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.082370Z","title":"In: 2022 IEEE 34th Interna- tional Conference on Tools with Artificial Intelligence (ICTAI), pp","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.082370Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:704b2a301225d402bbc6ba69870b27dc02e94636c58e617a249cba4637bdff32","observation_id":"fccf07da-8981-4b57-bc3c-bca33dac1785","resolution":{"observed_at":"2026-08-12T14:51:27.082370Z","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-12T14:51:27.087821Z","title":"In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.087821Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:648083bd33eee8744f30b3ccd90526fad227730e0d658a6c04ff0bbe4e7e4415","observation_id":"8e6557a4-3199-4e0e-91a3-e0d5c42bb48a","resolution":{"observed_at":"2026-08-12T14:51:27.087821Z","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-12T14:51:27.091825Z","title":"In: Simonis, H","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.091825Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:4ceea06851b93ccbade2ba93047b69992842a38799d702e27fafb09cae4fbe12","observation_id":"a8def3f2-d6ea-4043-92fc-bfe105f58a9a","resolution":{"observed_at":"2026-08-12T14:51:27.091825Z","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-12T14:51:27.096095Z","title":"In: International Conference on Learning Representations","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.096095Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:9354b53c0b2a40f446dfce6a1f57e249c1b8e75e59cd9161bc6999e7cb4cc37a","observation_id":"0cf6724c-7fca-44e6-915f-2406ce033b1e","resolution":{"observed_at":"2026-08-12T14:51:27.096095Z","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-12T14:51:27.100034Z","title":"In: Arai, K","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.100034Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b93dbf9265897b0b99e8f9371f3a0d182fbc50da424a41ee596a3e795dd02af8","observation_id":"94b1a022-6fe6-48e8-a937-dee6cd338975","resolution":{"observed_at":"2026-08-12T14:51:27.100034Z","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-12T14:51:27.104444Z","title":"In: Wallach, H., Larochelle, H., Beygelzimer, A., Alch´ e-Buc, F., Fox, E., Garnett, R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.104444Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d0754658081f3825f5237e0b9100681ab520974285a3cae355b7c816bd566d2c","observation_id":"032cbf66-086d-48ee-a3d0-98204d597e1b","resolution":{"observed_at":"2026-08-12T14:51:27.104444Z","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-12T14:51:27.108943Z","title":"In: Gama, J., Li, T., Yu, Y., Chen, E., Zheng, Y., Teng, F","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.108943Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:276a057b6a596f22de45d8b30afabe1a1b6de42acde00a38da564784a35e2ec5","observation_id":"874fc734-3af4-464d-8180-c9a0626eb39a","resolution":{"observed_at":"2026-08-12T14:51:27.108943Z","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-12T14:51:27.113548Z","title":"In: Dolev, S., Kolesnikov, V., Lodha, S., Weiss, G","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.113548Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:faf6750f10300a46606bfdf7e6ce3f319c837f9f21d9226d1a5ee1284f79be91","observation_id":"18634296-e8fc-4fba-8229-06e3b21d205f","resolution":{"observed_at":"2026-08-12T14:51:27.113548Z","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":"10.1609/aaai.v34i04.5733","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.770678Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence, vol","venue":null,"work_id":"c241824d-3087-4467-b4f5-ac397c0f2f3e","year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.118338Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d3281ef7e2e9f76e84d21323ed4d0c41f5e6a881a24d77ddf3a901bb493f0ddd","observation_id":"1ecc1cd8-e456-46c0-a071-2c63430ee548","resolution":{"observed_at":"2026-08-12T14:51:28.775165Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s44196-022-00139-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.757601Z","title":"International Journal of Computational Intelligence Systems 15(1), 84 (2022) https://doi.org/10.1007/s44196-022-00139-9","venue":null,"work_id":"0d1e3c42-a747-4b32-98b5-0e0e1e2c9fa3","year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.123755Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:7119eab35e964c605b3f356b870e957a655058e27ce1c9655ceea3a11780e333","observation_id":"a8dae1c0-ecc9-4819-b2ea-fd5d4d48a617","resolution":{"observed_at":"2026-08-12T14:51:28.761921Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.127912Z","title":"In: Janota, M., Lynce, I","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.127912Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:ed162890baeb0971ab6c7fbd59c1af594429f2a6a6f0cf1644c740ba77fc14b8","observation_id":"1e88bdd9-814d-477b-bd91-5584a80e2a22","resolution":{"observed_at":"2026-08-12T14:51:27.127912Z","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-12T14:51:27.131951Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence, vol","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.131951Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:d7d70d4bdfc6e832ebd837e9f233b27e1d53afad569e019de6d93249b99bc7cb","observation_id":"34e74362-a515-4c86-9a82-3ca00d238575","resolution":{"observed_at":"2026-08-12T14:51:27.131951Z","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-12T14:51:27.136497Z","title":"In: Bessiere, C","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.136497Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:ee7454c3ebeb8838e25386d71133cfd86d45dd3e39dcab296de6836775c95753","observation_id":"59c1836a-c948-4a8e-bc06-291096320b8d","resolution":{"observed_at":"2026-08-12T14:51:27.136497Z","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":"10.4230/lipics.cp.2022.8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.738438Z","title":"In: 28th Inter- national Conference on Principles and Practice of Constraint Programming","venue":null,"work_id":"c5c4588f-758b-4271-a6ef-47e68e367e51","year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.140993Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:7b3422ae845c4744a767259676180f2c87f6e1cde8bc0cac5de66e5a071dc91c","observation_id":"f7e7fa8a-f1d1-4a12-a7d4-1345ced04294","resolution":{"observed_at":"2026-08-12T14:51:28.742783Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.145440Z","title":"In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M.F., Lin, H","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.145440Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:fb35f32db7657f0ca2c4f698daa6c2e2e9794f6276228ccf1998934d8fd7bce7","observation_id":"0fe33055-1606-43fd-a075-8d03e4fbbce6","resolution":{"observed_at":"2026-08-12T14:51:27.145440Z","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-16474-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.725237Z","title":"In: Marreiros, G., Martins, B., Paiva, A., Ribeiro, B., Sardinha, A","venue":null,"work_id":"d7bab545-c5f1-4947-ae98-bef56b12f129","year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.149315Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:13cb7f467226030bb178200ffcd51745598a59b0a02400469a75e7e76fe2f668","observation_id":"796f5351-4de8-4899-9b70-ea008d60d407","resolution":{"observed_at":"2026-08-12T14:51:28.729924Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.154158Z","title":"Artificial Intelligence 314, 103794 (2023) https://doi.org/10.1016/j.artint.2022.103794","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.154158Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:9ad9e816b50eece8d654e417b1207b48a18c68519f9b71e3a6525089d76b5d23","observation_id":"1bd62bbb-3764-4745-be07-18f19f79472d","resolution":{"observed_at":"2026-08-12T14:51:27.154158Z","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/idt-180036","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.712854Z","title":"Intelligent Decision Technologies 13(2), 193–210 (2019) https://doi.org/10.3233/idt-180036","venue":null,"work_id":"2820fd2d-495c-45fd-8780-347219cff2d7","year":2019},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.158437Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:4ba92a20c4012cdbfab713a9f87361c7a8bdb3f9a81cf35b325cd9b619d7eb03","observation_id":"66b799db-4f43-4533-a063-83ea736636b4","resolution":{"observed_at":"2026-08-12T14:51:28.717087Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1088/2632-2153/ac0496","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.696637Z","title":"Machine Learning: Science and Technology 2(3), 035032 (2021) https: //doi.org/10.1088/2632-2153/ac0496 45","venue":null,"work_id":"4acb17ed-90fd-44d3-b03b-e1d6c6dc1cb9","year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.162467Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:efd77e8d43fb55d545ded9568c0f3e56a639aa4a20a7c7750cd135078faddbb2","observation_id":"76dc0a26-3c85-4b7c-9b64-e0eb9cba8c96","resolution":{"observed_at":"2026-08-12T14:51:28.701006Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s44196-022-00120-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.684009Z","title":"International Journal of Computational Intelligence Systems15(1) (2022) https://doi.org/10.1007/s44196-022-00120-6","venue":null,"work_id":"6e5cb039-5279-4c6e-b1eb-f5f2e3caf362","year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.167115Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:1557a2c0fd4e5d56103ae21ccf35494bf25a4b3134f838ab234823915546587b","observation_id":"3828a0a7-2bc2-4db8-9864-a090e76d7877","resolution":{"observed_at":"2026-08-12T14:51:28.688074Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-58861-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:28.672450Z","title":"In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D.E., Kholladi, M.K","venue":null,"work_id":"df9d1fb8-7fc1-43fb-9567-64d15995241f","year":2021},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.171444Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:b8da5c22c6487044d5f1fcda3ac6d8cc24842f4310a7c9dba2bd554eef3bb5a8","observation_id":"91aeb062-78bd-476f-8e58-1fd2fdba7933","resolution":{"observed_at":"2026-08-12T14:51:28.676722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T14:51:27.176867Z","title":"In: Raedt, L.D","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.176867Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:6bc677daccb8e46bdaf4566acabcf13f251f29cab694324018fc0a8cb85f19e1","observation_id":"eb18b8af-e930-4397-8d69-ed7ea321a727","resolution":{"observed_at":"2026-08-12T14:51:27.176867Z","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-12T14:51:27.180824Z","title":"In: Rocha, A., Steels, L., VandenHerik, J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends","version":2},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:27.180824Z"},"links":{"citing_paper":"/paper/2411.14870"},"observation_digest":"sha256:ee398c6462432d8b41111f72e55d2c6aeb862c6926854fc2552ff90bad12218d","observation_id":"0afccc8d-1acf-46bc-b4ff-9ca65b0d3103","resolution":{"observed_at":"2026-08-12T14:51:27.180824Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14870","last_updated":"2025-08-27T20:29:01Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-13T00:16:01.118894Z","submitted_at":"2024-11-22T11:43:39Z","title":"Application of AI to formal methods - an analysis of current trends"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":18,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":63,"verified_exact":19,"verified_fuzzy":0},"total_outbound_references":257},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 100 of 257 outbound references and 0 inbound Pith citation observations for arXiv:2411.14870."}