{"as_of":"2026-08-08T12:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2279096e66da7dd6bed6ccfb2200339efb1c836b0efe19454b81d3e6fbf86842","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:14:34.201099Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.08606/citation-record","integrity":"/paper/2506.08606/integrity","json":"/paper/2506.08606/citation-record.json","paper":"/paper/2506.08606"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.768065Z","title":"Aho, Monica S","venue":null,"work_id":"aa172690-916c-479d-8cd7-65c60c8b63cc","year":2006},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.024422Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:40fa40bc9a129643478623788c077a6fe2243c5cdabb8a52bc6c229fd2c9f5f5","observation_id":"595408f5-0d06-4c48-9097-e3434a64e802","resolution":{"observed_at":"2026-08-07T05:14:34.772583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.751525Z","title":"Schneider","venue":null,"work_id":"6c35e286-b9ff-4b79-a0b9-db12f16085d7","year":1985},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.030907Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:86e6a23025fe879fbdcff95d26061e5fbcc3f59732b3dc0f0c987c861f33ff10","observation_id":"0fa2786d-ce88-4bf7-bbb6-6d0bebd548f4","resolution":{"observed_at":"2026-08-07T05:14:34.757193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.736439Z","title":"Website for ANTLR, 2023","venue":null,"work_id":"ac00de4c-ce5f-426e-bd11-94ca56ab50ad","year":2023},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.036163Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:6389bcfe83ec7b1499e6b4078c5afeace69fb14086a122d20e1e052b1c43296e","observation_id":"40ff3b65-88e7-4b23-9555-49caf1a40700","resolution":{"observed_at":"2026-08-07T05:14:34.741051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.720748Z","title":"Integrating uml activity diagrams with tem- poral logic expressions","venue":null,"work_id":"64bee0a6-8da5-49c0-9691-6f66a00ebb7d","year":2005},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.041250Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:88277c40093b7f951996e458766dc2bfd5c625c0817f89b8c73d9bb8a31bb746","observation_id":"5010ca1f-952d-4404-a58d-5ccb5119480c","resolution":{"observed_at":"2026-08-07T05:14:34.726610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.703988Z","title":"Autili, P","venue":null,"work_id":"eeb49df6-5783-4392-a76b-b3a979a0962d","year":2007},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.046771Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:047aac54be4a1a0b5c2d2a298c3cf80ce115d3f23f5883d7d400637617ca8788","observation_id":"f02a0366-58f7-4369-8c88-f4dd2ef16f8d","resolution":{"observed_at":"2026-08-07T05:14:34.710275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.689210Z","title":"Merging of use case models: Semantic foundations","venue":null,"work_id":"6aa24f04-1b88-4b8a-b2af-69b539254af1","year":2009},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.052193Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:2455ddf35260eb80f0244e0befd905c94fc64f6450a6e01256188eb64af7a7f0","observation_id":"3746d457-4bc6-4699-a600-99898eb3dab8","resolution":{"observed_at":"2026-08-07T05:14:34.694313Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.673672Z","title":"Berryman and A","venue":null,"work_id":"2220094a-e955-4f8e-882d-f5b66b30bfcd","year":2024},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.057738Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:c29c01132546669664d49249ca770492b963e065866140f1d6212f36a896d13a","observation_id":"8eb50db3-05ad-4819-adbc-f4aeccf06be2","resolution":{"observed_at":"2026-08-07T05:14:34.679403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.657922Z","title":"On the role of logic and algebra in software engineering","venue":null,"work_id":"bc2484da-274a-4c9a-bb6a-2af666f30e43","year":2013},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.062851Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:e6194228e5834a2ff9bcfc4b9167e2113e360e7fdee9a43a7335a76a9f70e36b","observation_id":"cbfe0697-04a9-421f-92c5-f1425dba4990","resolution":{"observed_at":"2026-08-07T05:14:34.663513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.643037Z","title":"Carrillo de Gea, Joaquín Nicolás, José L","venue":null,"work_id":"dfa477ba-5313-4fbb-8d51-6ba3b474530c","year":2012},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.068089Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:5dc14196100e98364d5c94ccf689790ec563729a2f2b2429b0a005be987f798d","observation_id":"4fbadb44-444b-4364-afc3-9b9440dcc3a0","resolution":{"observed_at":"2026-08-07T05:14:34.648182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.626674Z","title":"Clarke, J.M","venue":null,"work_id":"605d5a74-d948-41f3-8d86-be7d28ad430b","year":1996},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.073685Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:12c96f1f5de03d3081de1c83cc7cfc754289bb0fcc540def467ab306ca9a6466","observation_id":"560c0618-5844-47db-a299-77846858eef0","resolution":{"observed_at":"2026-08-07T05:14:34.632062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.609740Z","title":"Temporal and modal logic","venue":null,"work_id":"e97030d9-3fe5-4f3a-8159-be46d4b13213","year":null},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.078614Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:f73d9bf355ab81b39769f9402c494d167bf80a9530313e7f3f2172bfe3fa4dd5","observation_id":"7585df38-04cc-419f-80d8-a678176b23fc","resolution":{"observed_at":"2026-08-07T05:14:34.615035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.593725Z","title":null,"venue":null,"work_id":"0cb20b44-30b0-4a8c-b7ba-4fd6e50266df","year":2023},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.083667Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:6999ccfcf00ac574235c42528b2379907a64f899d3b3cfe9809de0bb06297468","observation_id":"5543d823-3c8c-420a-8782-402207a43713","resolution":{"observed_at":"2026-08-07T05:14:34.599150Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.577617Z","title":"Gomes, Henry A","venue":null,"work_id":"bd7d87a2-7572-4195-8e7e-4465fb2a600f","year":2008},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.089755Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:1d69ac730b4ae4a6cc1f69c396ecc4b1cd284ce85f51759198b15edf41898f23","observation_id":"17208b48-70d5-48b9-8872-988aac248b8c","resolution":{"observed_at":"2026-08-07T05:14:34.582941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.561288Z","title":"The international SAT competitions, web page","venue":null,"work_id":"5813f191-f56b-4987-9a69-31a5548a3f57","year":2022},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.095913Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:97404404fe1a5bcd5eff5b85022ffd765c1174af52efa6ced42d2f53e83c3b56","observation_id":"344e80aa-7b30-44cd-a481-a439109a2092","resolution":{"observed_at":"2026-08-07T05:14:34.567239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.545730Z","title":"Hopcroft, Rajeev Motwani, and Jeffrey D","venue":null,"work_id":"3a4c2243-e9eb-45da-b230-b72286c0e252","year":2006},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.101525Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:fbeb92139739032ba126c914961acdea04d60a4c1913d307eabc64fb37be33b2","observation_id":"f136b6d0-bce2-49f0-8c0c-f8664c9c68cf","resolution":{"observed_at":"2026-08-07T05:14:34.551520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.528788Z","title":null,"venue":null,"work_id":"a125c92e-01bb-4347-92d6-d0866cbe27d9","year":1997},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.107053Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:707d857608aeec8282a00a1db9c70b9787ef93db797d4e96c5fd09f2d920f85a","observation_id":"2be3b509-5e84-4c69-8adf-6c3d4058acbf","resolution":{"observed_at":"2026-08-07T05:14:34.534470Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.514425Z","title":"InKreSAT: Modal reasoning via incre- mental reduction to SAT","venue":null,"work_id":"87e443d1-85dc-497a-b8ed-bedc342fcd11","year":2013},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.112891Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:7a5396ff47f829edaec935bed20ad2e4b57b42047d6d28d4f076b8d1aaf381e5","observation_id":"c0896d62-2aa6-4d1b-9ea3-c936f0db1fd2","resolution":{"observed_at":"2026-08-07T05:14:34.519128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.497339Z","title":"Bibliotheca Math- ematica","venue":null,"work_id":"c43f5359-9129-44ab-9f41-d4ef73374a83","year":1952},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.118965Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:fe45460a281bf40c5a2211b64f7f0d596934217770d8926c0cc74bc2809ac8f6","observation_id":"c3181766-55b4-4749-aa53-e46f9e0eaf83","resolution":{"observed_at":"2026-08-07T05:14:34.503300Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.479788Z","title":null,"venue":null,"work_id":"b731bdb7-7660-4658-a39b-a0393503ee3d","year":2019},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.124302Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:0f1d921fdef19d6c92b30725193cc1b4624769db6ff38007037859bc2fc8f521","observation_id":"2658b767-7334-43c1-ba6e-5b32fcdbd821","resolution":{"observed_at":"2026-08-07T05:14:34.485734Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.462955Z","title":"Verify- ing data integration agents with deduction-based models","venue":null,"work_id":"b17fa766-ce65-4cd1-b364-c6f1fdb59120","year":2013},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.130284Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:1a96cdc3fda86573253903b9f85f913e217220e8d94daff561d8d50cbd764759","observation_id":"55dcfe8f-614b-40bd-af68-1dad1ab503fe","resolution":{"observed_at":"2026-08-07T05:14:34.468182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.445974Z","title":"Verification of archimate process spec- ifications based on deductive temporal reasoning","venue":null,"work_id":"f3c05043-ede4-4139-afa1-1a95829404ee","year":2013},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.135512Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:9c1ceabe90c14caa375aaa2df17528d6b5b6fbc51e6394932da83d308a0453f2","observation_id":"7861fb24-3b47-4d88-b85d-6aae9e009dee","resolution":{"observed_at":"2026-08-07T05:14:34.452238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.430533Z","title":"Automatic generation of logical spec- ifications for behavioural models","venue":null,"work_id":"81676c2d-7459-43f5-be31-930f74c9135a","year":2024},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.141062Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:7b562303e17104b0be6c36eb8adbb0503cf8993ec9f4e3d55283b1496b564600","observation_id":"72f765b3-b51c-43e1-986b-fba5b77e4daf","resolution":{"observed_at":"2026-08-07T05:14:34.435510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.415581Z","title":"Springer-Verlag New York, Inc., 1992","venue":null,"work_id":"9c0f3013-2a12-40f8-821c-d7ed7e8e2ec5","year":1992},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.147381Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:bfb5a60b9933ec74249f191cc3c99df701c98f8b42423dd22f87dac552ce01d8","observation_id":"c4db3d0f-dc8d-4311-b8c7-a84fb7a02610","resolution":{"observed_at":"2026-08-07T05:14:34.420369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.399167Z","title":"When logic meets engineering: Introduction to logical issues in the history and philosophy of computer science","venue":null,"work_id":"2225027a-dd70-41fa-b36e-76132ae035e0","year":2015},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.152990Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:f7a1246c234889b253d79f2d5bb2d2563988ceb902639fa98f707ef33b7ba24e","observation_id":"3bfced1a-aa1d-4a82-a004-55ff918a6a5a","resolution":{"observed_at":"2026-08-07T05:14:34.404050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.382209Z","title":"John Wiley & Sons, 2003","venue":null,"work_id":"57e7284e-aeb5-4429-8865-ff72d4495f7e","year":2003},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.157195Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:73d3867324a8fe15eeea4cceb9ff3936d25c897cccd485be491bb837f4c8fe25","observation_id":"7b151aa8-a3a5-4e6f-b331-2e0c9c3e2c42","resolution":{"observed_at":"2026-08-07T05:14:34.387167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.365674Z","title":"The design and implementation of vampire.AI Commun., 15(2,3):91–110, aug 2002","venue":null,"work_id":"f816e43d-22e8-40a9-9552-8deb968bdfde","year":2002},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.162641Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:f18c28f14dd04db53cb35d422ff40a4afd00b07c8fdaec9c7a08ca56a89eaa64","observation_id":"1f398e68-e0ac-42f4-bf39-47dcd11a450b","resolution":{"observed_at":"2026-08-07T05:14:34.371383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.349033Z","title":null,"venue":null,"work_id":"255fe40d-dba5-4a8e-aa45-fa8f40bfda1c","year":2019},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.168137Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:6aae3b24a13e77476f1f1445021e04b4ed4a83a75a9491aaabfff80ff995ebc8","observation_id":"7f472408-1783-44af-88fc-a051cb02d84e","resolution":{"observed_at":"2026-08-07T05:14:34.353808Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.334561Z","title":"E – a brainiac theorem prover.Journal of AI Communi- cations, 15(2,3):111–126, aug 2002","venue":null,"work_id":"e5959f70-fb83-42a8-af7e-a966ce7b7b48","year":2002},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.172615Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:8a70df3a76ace6ca813c7d1846a516d038e6445900f1e20616a05e078ff8f1d0","observation_id":"d81d5374-6c7f-4dee-be5e-1a8b6d5cd40a","resolution":{"observed_at":"2026-08-07T05:14:34.339534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.316929Z","title":"Verified system developmentwiththeautofocustoolchain","venue":null,"work_id":"6380d06b-140f-4037-94e6-14f35940e23c","year":2012},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.177121Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:57fead09335912594303e571293c0846490c0b66c4d2c8dd1cc2ae3967379059","observation_id":"af9f074b-2085-430b-a792-bf9f60727b22","resolution":{"observed_at":"2026-08-07T05:14:34.323100Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.299472Z","title":"The 10th ijcar automated theorem proving system compe- tition – casc-j10.AI Commun., 34(2):163–177, jan 2021","venue":null,"work_id":"74668345-fb1b-454e-ba88-25018a4801a8","year":2021},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.181948Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:88dac6f301a4db9160fe068bcb013dfb75b68b95fd129b7605aff2e5245a5c79","observation_id":"610c6a4f-f2d8-443a-8ca1-09ab68e301bd","resolution":{"observed_at":"2026-08-07T05:14:34.304549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.284207Z","title":null,"venue":null,"work_id":"5a0bc23f-3de7-4d13-ab36-5b7cdeb28620","year":1993},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.186710Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:5b4b0227aab3f03165a8fb354f2b2c4b5d8cbc5d858fee6ca3a771d990e5edcb","observation_id":"0fcee3b5-b79b-4390-bf03-5fe72359fb26","resolution":{"observed_at":"2026-08-07T05:14:34.289787Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.268174Z","title":"Chi, Quoc V","venue":null,"work_id":"971a2765-cc7c-4ff2-9bc4-0c83c6bb8547","year":2022},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.191453Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:e9f4156d49ac1c9604683266ccf0742e16c47e602736867da9cef5839b13b687","observation_id":"db878bcb-ed50-4460-9ae5-b85facc00a9f","resolution":{"observed_at":"2026-08-07T05:14:34.272834Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.251921Z","title":"Better algorithms for analyzing and enacting declar- ative workflow languages using LTL","venue":null,"work_id":"18bde738-ff8b-40f0-a4a3-7ce1aea2eba9","year":2011},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.196198Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:2003241e1c8c4d5d465d034dc8b40fdbfcd91576d9059fc1f89706e5d0602840","observation_id":"6cd20a1c-501e-47ca-bca3-26f3ac145a31","resolution":{"observed_at":"2026-08-07T05:14:34.257676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:14:34.233895Z","title":"Briand, and Yvan Labiche","venue":null,"work_id":"cc54db5a-c40f-434c-b609-6323a67bd2f3","year":2015},"citing_paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T05:14:34.201099Z"},"links":{"citing_paper":"/paper/2506.08606"},"observation_digest":"sha256:7315e691bb1333dedc3e3ef2b1146d37d3df1f5d4cb90d32911e99ffbfaecc1f","observation_id":"54491107-b90b-4b1c-b0df-4f86715370c8","resolution":{"observed_at":"2026-08-07T05:14:34.241310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08606","last_updated":"2025-06-10T09:13:58Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T05:04:15.273774Z","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":29},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2506.08606."}