{"as_of":"2026-08-09T21:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:727ed5c65ed8d6d7fe919bd604c950599fedd33877a1a72d7bb13254b9ebf079","coverage":[{"denominator":129,"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-06T19:40:13.053787Z","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-09T06:31:02.800959+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/2507.05017/citation-record","integrity":"/paper/2507.05017/integrity","json":"/paper/2507.05017/citation-record.json","paper":"/paper/2507.05017"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:04.728980Z","title":"GAIA - A Multi-media Multi-lingual Knowledge Extraction and Hypothesis Generation System","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:04.728980Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:de105946d1774dd73d0a6afb5a2132e421fd5952718e0adf584a4099f439faf7","observation_id":"0e08b574-0837-4378-bac2-c670644c4e44","resolution":{"observed_at":"2026-08-06T19:40:04.728980Z","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-06T19:40:04.816368Z","title":"Man-Assisted Machine Construction Of A Semantic Dictionary For Natural Language Processing","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:04.816368Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:2bc9aae88c3100e381906025bf616c02671ef571dead9c55dcb348c88e5aadd8","observation_id":"7311d58a-25e9-4dbb-bcd6-7b5a04314ce1","resolution":{"observed_at":"2026-08-06T19:40:04.816368Z","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-06T19:40:04.908539Z","title":"Extraction of Semantic Word Relations in Turkish from Dictionary Definitions","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:04.908539Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:6d737fb587315e3bb6dee862602cc30e19e4a10031cfd2b28c6e485c0dd87243","observation_id":"9492c5d8-8739-43b7-899a-4cec87310c28","resolution":{"observed_at":"2026-08-06T19:40:04.908539Z","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-06T19:40:05.007257Z","title":"ConceptNet 5.5: An Open Multilingual Graph of General Knowledge","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.007257Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:9a3e237a7dbe93d23cfaa524c4c22c53dc49bf047b5d7504f464bf7ff1c50906","observation_id":"4aa02ed9-9a26-45d8-bc69-7c05a4d841e8","resolution":{"observed_at":"2026-08-06T19:40:05.007257Z","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-06T19:40:05.158858Z","title":"DBpedia: A Multilingual Cross-domain Knowledge Base","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.158858Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:67d4449c391c73ab95f85a4514fc3aa6aa31300573311f50a4e40fbdd938c282","observation_id":"9d7e6b38-3fa3-43bd-8da6-078a895c53af","resolution":{"observed_at":"2026-08-06T19:40:05.158858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1912.12531","last_updated":"2019-12-28T21:58:43Z","snapshot_observed_at":"2026-08-09T13:58:01.668790Z","submitted_at":"2019-12-28T21:58:43Z","title":"A framework supporting imprecise queries and data","version":1},"cited_work":{"arxiv_id":"1912.12531","doi":"10.48550/arxiv.1912.12531","metadata_source":"pith","pith_arxiv_id":"1912.12531","snapshot_observed_at":"2026-08-07T06:16:28.064256Z","title":"A framework supporting imprecise queries and data","venue":"cs.DB","work_id":"9c1db4c7-3035-4ac1-9154-2b4df890730e","year":2019},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.230682Z"},"links":{"cited_paper":"/paper/1912.12531","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:abe80ec0ad72f536eab7839718968cd396f7c33ad590aa3fb51494d65ff58b04","observation_id":"fbf8de89-1049-4a27-aebd-21a6571c988f","resolution":{"observed_at":"2026-08-06T19:40:18.658036Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:05.317314Z","title":"CommonsenseQA: A Question Answering Challenge Targeting Commonsense Knowledge","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.317314Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:eb58d98a15c910aa205e5d4c0c9df65a06c5e1642797872e1e7cab4c58503a9a","observation_id":"a4e2a67f-947b-4bf1-b6f0-9b19cde9b6fd","resolution":{"observed_at":"2026-08-06T19:40:05.317314Z","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-06T19:40:05.387336Z","title":"SchenQL: in-depth analysis of a query language for bibliographic metadata.International Journal on Digital Libraries2022,23, 113–132","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.387336Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:d11e72339b26b3bf6804f04344333a5095a05ab6aa53f7500c0194774b27f46e","observation_id":"118b1a9a-3a89-440c-ad03-ddf6e95a91b8","resolution":{"observed_at":"2026-08-06T19:40:05.387336Z","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-06T19:40:05.475307Z","title":"NaLIR: an interactive natural language interface for querying relational databases","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.475307Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:87c15a37b3f3cd331a656584e47d9b12bb910b38830de299a8361ca4c6aa58f7","observation_id":"753a41f7-c03b-4aa6-93a8-84131d7d553e","resolution":{"observed_at":"2026-08-06T19:40:05.475307Z","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-38499-8_29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)","venue":"Lecture notes in computer science","work_id":"25f7a975-90ba-467b-a5c5-f8944103db05","year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.562757Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:c82d01c0e0991bb29445028fa9b7e620cedb4f0dcaa8698c933659abddaeed4a","observation_id":"6b59ca79-a1ee-4df1-b12b-be2a9eb9887f","resolution":{"observed_at":"2026-08-06T19:40:18.475248Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:05.719359Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.719359Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:23e7272562d872456e029128e5496704ca6006e0a28af70f73c9ce7a98ec96e6","observation_id":"061699dd-4b64-4678-ab6a-64e4d4fa2a2d","resolution":{"observed_at":"2026-08-06T19:40:05.719359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-06T19:40:05.802301Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models, 2024, [arXiv:cs.LG/2410.05229]","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.802301Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:a50738a8a85033313e6b3b5c72ae3133ae40f037c5246fb6c14b1bf66300e9f4","observation_id":"69abff01-2945-4c6f-94a3-6a29c9cd44e5","resolution":{"observed_at":"2026-08-06T19:40:05.802301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07611","last_updated":"2023-11-11T19:59:24Z","snapshot_observed_at":"2026-07-06T16:46:57.403995Z","submitted_at":"2023-11-11T19:59:24Z","title":"Intentional Biases in LLM Responses","version":1},"cited_work":{"arxiv_id":"2311.07611","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.07611","snapshot_observed_at":"2026-08-06T19:40:21.946875Z","title":"Intentional Biases in LLM Responses","venue":"cs.CL","work_id":"ec7c6576-ed78-4553-b7c6-4f78fbe25abf","year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:05.915650Z"},"links":{"cited_paper":"/paper/2311.07611","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:fd051dc1abe5431a415f9416a7b59317411e85f8bce55717d2b912908edee681","observation_id":"b8fdc44e-19ab-4486-9453-4161ec014c73","resolution":{"observed_at":"2026-08-06T19:40:22.007249Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:06.008430Z","title":"https: //doi.org/10.1017/CBO9780511576430","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.008430Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:05666582f74d8d070eba0c74285ad1e11080e547e082245dcf97ddfde4008694","observation_id":"1f2ea3b1-2a5c-4b8c-9a50-0d856f4b827d","resolution":{"observed_at":"2026-08-06T19:40:06.008430Z","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.1515/9783111546216-007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:18.242703Z","title":"InLogic and philosophy for linguists; De Gruyter Mouton: Berlin, Boston, 1975; pp","venue":null,"work_id":"e6e51442-ce6c-4f13-a784-d83926338fc4","year":1975},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.095697Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:6fa9579d1936b5416f03856f6e24b1b8ac7f3c8c8a91bd4b54dd6db6411cc30a","observation_id":"bbff4b1a-e621-4da3-9ccd-dcd1649dda47","resolution":{"observed_at":"2026-08-06T19:40:18.328579Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:06.183293Z","title":"Inconsistency measures and paraconsistent consequence","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.183293Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:333d2b7b67b97370cacce8301e0eac7a72d0c3bcc7daf55e601936f1307600ab","observation_id":"3f10b093-2f4c-4778-b1b6-59ccb6d327c0","resolution":{"observed_at":"2026-08-06T19:40:06.183293Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-33205-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"https://doi.org/10.1007/978-3-319-33205-5","venue":"Logic, epistemology, and the unity of science","work_id":"18f0c365-b42f-4e1c-a0dc-1af27d28c912","year":2016},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.270099Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:4689b5e86ca60629c8b741cbf6d264d2352372d0ef02c4c9144a75c86e348452","observation_id":"ecf7e0fc-1dc9-4919-97b5-80d0cb771f55","resolution":{"observed_at":"2026-08-06T19:40:18.134076Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-83472-1_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"LaSSI: Logical, Structural, and Semantic text Interpretation","venue":"Lecture notes in computer science","work_id":"871e576b-48b6-4dfb-883f-dd623bf42b81","year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.340693Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:1610bf1af0cbe526e8a2067eddd5c93f7e03a36ddb2358a6b6ead456b2181f22","observation_id":"2e6130d2-bfe5-4848-ac4b-b683c770a056","resolution":{"observed_at":"2026-08-06T19:40:17.955271Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:06.423142Z","title":"Toward verified artificial intelligence.Commun","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.423142Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:a6335d74a6f7f5e5eeadb31265fb2ac9493036da852dac8b25b400c2e044c920","observation_id":"7d1d308c-7b33-4bd9-abba-2deae61906a2","resolution":{"observed_at":"2026-08-06T19:40:06.423142Z","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-06T19:40:06.524654Z","title":"InExplainable Artificial Intelligence for Trustworthy Decisions in Smart Applications; Springer; chapter 2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.524654Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:bcd882d27ae5b54d22fb63430bb31195f66a91da41cf890d6d3f8ff8f667c887","observation_id":"3d9e77e0-3beb-4692-b5a7-fb0fa5f1201a","resolution":{"observed_at":"2026-08-06T19:40:06.524654Z","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-06T19:40:06.605720Z","title":"Single-Domain Generalized Predictor for Neural Architecture Search System.IEEE Transactions on Computers2024,73, 1400–1413","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.605720Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:004b6ffff544c57d9bbb3b52bf9f4f1d397699d92079123ef7d7ea08c6383098","observation_id":"8a2818ce-c1b2-4da9-ac1b-49f960918972","resolution":{"observed_at":"2026-08-06T19:40:06.605720Z","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-06T19:40:06.679269Z","title":"On the Explainability of Natural Language Processing Deep Models.ACM Comput","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.679269Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:95f59373c9214d5a19a1931e600e6edea92b6bd55f8a4c44d1f80f4da5bfecbb","observation_id":"b49c3163-072f-4865-b188-0eb58cbf7943","resolution":{"observed_at":"2026-08-06T19:40:06.679269Z","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-06T19:40:06.733023Z","title":"Combat COVID-19 infodemic using explainable natural language processing models.Information Processing & Management2021,58, 102569","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.733023Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:e747da89426aadc14185b5645ccb9832f64b05d38da2fa2203c8c67e432a066a","observation_id":"d39aa441-8ec8-413a-8d6a-d5eec23d9d8e","resolution":{"observed_at":"2026-08-06T19:40:06.733023Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.09297","last_updated":"2020-11-02T06:54:52Z","snapshot_observed_at":"2026-08-07T07:19:41.700353Z","submitted_at":"2020-04-20T13:54:12Z","title":"MPNet: Masked and Permuted Pre-training for Language Understanding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.09297","snapshot_observed_at":"2026-08-06T19:40:06.824502Z","title":"MPNet: Masked and Permuted Pre-training for Language Under- standing, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.824502Z"},"links":{"cited_paper":"/paper/2004.09297","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:2fa101d6920348ba6612b45b3d33d9e0f74fe33c93384b3babfe3d239f535bbc","observation_id":"19e2b8fd-7574-41e6-8df2-7978a1e37f80","resolution":{"observed_at":"2026-08-06T19:40:06.824502Z","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.48550/arxiv.1907.1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:17.727940Z","title":"RoBERTa: A Robustly Optimized BERT Pretraining Approach, 2019","venue":null,"work_id":"1ee2a8ad-4b3e-4398-bdb9-9107de31a7e9","year":2019},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.899061Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:15041fb3aed7d13eb472d07ae1de4eb673d6d74ed4b6b65da0f7f78b318861bb","observation_id":"f1898a28-981b-49c4-ab3a-f0d43142e5df","resolution":{"observed_at":"2026-08-06T19:40:17.803035Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:06.988236Z","title":"MiniLMv2: Multi-Head Self-Attention Relation Distillation for Compressing Pretrained Transformers","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:06.988236Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:3c4382d9de46075a85eb9f14550a0843a115b30f20fd9d0e024069c44e4e3c07","observation_id":"388261dd-8934-4525-afdd-d6ae8edefb8a","resolution":{"observed_at":"2026-08-06T19:40:06.988236Z","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-06T19:40:07.069327Z","title":"ColBERTv2: Effective and Efficient Retrieval via Lightweight Late Interaction","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.069327Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:b1eeb4ea52d2573d00b13b681df4b38441a8e26eaf74cce002153efeb80de8c0","observation_id":"4c079aa6-f029-4ae5-a065-3b1bb1168492","resolution":{"observed_at":"2026-08-06T19:40:07.069327Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15594","last_updated":"2023-05-24T22:06:08Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T22:06:08Z","title":"Flocks of Stochastic Parrots: Differentially Private Prompt Learning for Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15594","snapshot_observed_at":"2026-08-06T19:40:07.154939Z","title":"Flocks of Stochastic Parrots: Differentially Private Prompt Learning for Large Language Models, 2023, [arXiv:cs.LG/2305.15594]","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.154939Z"},"links":{"cited_paper":"/paper/2305.15594","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:e79dfe8c98676a6f3c798b6c493598f59ecbe880e14cd6d368370ef3cfb9983d","observation_id":"debb9a65-22f8-4bc3-9d91-f0ffe2a7fd45","resolution":{"observed_at":"2026-08-06T19:40:07.154939Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06518","last_updated":"2025-05-15T23:44:28Z","snapshot_observed_at":"2026-07-06T18:59:51.988540Z","submitted_at":"2024-08-12T22:30:55Z","title":"Does Liking Yellow Imply Driving a School Bus? Semantic Leakage in Language Models","version":3},"cited_work":{"arxiv_id":"2408.06518","doi":"10.48550/arxiv.2408.06518","metadata_source":"pith","pith_arxiv_id":"2408.06518","snapshot_observed_at":"2026-08-07T06:16:28.064256Z","title":"Does Liking Yellow Imply Driving a School Bus? Semantic Leakage in Language Models","venue":"cs.CL","work_id":"87a1486f-0c1f-493c-827d-ac256c5c57fe","year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.236883Z"},"links":{"cited_paper":"/paper/2408.06518","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:273a49ffa99d17398ccb26420ac4db4796146711b8a14a4d4af683555f677993","observation_id":"183e317c-0b95-4ece-b36e-5f97713da684","resolution":{"observed_at":"2026-08-06T19:40:17.615597Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:07.318905Z","title":"Ask the experts: sourcing a high-quality nutrition counseling dataset through Human-AI collaboration","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.318905Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:d9828bfcbd7b14bcda8d747abedf84fb49b5cf234a016051ae699cd1c15407c1","observation_id":"22a2a816-2e7a-4aa1-a354-40e3d5ea766d","resolution":{"observed_at":"2026-08-06T19:40:07.318905Z","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-06T19:40:07.382587Z","title":"Automating Bias Testing of LLMs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.382587Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:7539ff07e9ab95632f73fb1bbc88c2b804546a12f9ee633316bfff1970890098","observation_id":"50d755ec-f3d0-492c-bca1-02bbc3a5ea0e","resolution":{"observed_at":"2026-08-06T19:40:07.382587Z","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-06T19:40:07.447743Z","title":"Neural-Symbolic Integration: A Compositional Perspective.AAAI Conference on Artificial Intelligence2021,35, 5051–5060","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.447743Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:502624fbd6505317b621846103d5b3c94da12994a0028235960d40cd0170a3a9","observation_id":"65448db6-adc1-4986-9129-62c704e4ccb8","resolution":{"observed_at":"2026-08-06T19:40:07.447743Z","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-06T19:40:07.534491Z","title":"Attention is All you Need","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.534491Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:aa1611d84f57f86bc127931c1f80c9db28e389d1b1542b276c57f1ec3dc3f819","observation_id":"faa8840e-aac8-467b-838e-5d3c9f60bd93","resolution":{"observed_at":"2026-08-06T19:40:07.534491Z","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-06T19:40:07.653040Z","title":"What Formal Languages Can Transformers Express? A Survey.Transactions of the Association for Computational Linguistics2024,12, 543–561","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.653040Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:80382240efbc954ca6b855ed1d1edda74d82924a7aa04be437ec0a3e33f79000","observation_id":"d8a9fe08-7d8f-4c00-b95f-4ae5ce95e67c","resolution":{"observed_at":"2026-08-06T19:40:07.653040Z","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-06T19:40:07.747574Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.747574Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:c1173538be2a7c7e7816bd350d19b36151d6ec7021e5fd0907e429f8e3a30ecd","observation_id":"44794eb9-3756-4d3c-ad85-0333b3f6eb13","resolution":{"observed_at":"2026-08-06T19:40:07.747574Z","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-06T19:40:07.890373Z","title":"ChatGPT is bullshit.Ethics and Information Technology2024,26, 38","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.890373Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:bb88a9371a4b04b071e2c9d9290b5a6c2a542a9573d200abb6516eb1f68b5cf8","observation_id":"7082d779-24df-4023-816b-7042bf2ba68b","resolution":{"observed_at":"2026-08-06T19:40:07.890373Z","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-06T19:40:07.968639Z","title":"Knowledge expansion over probabilistic knowledge bases","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:07.968639Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:bfa63cdde3f39b2fd705cb7f485cc88b9e1b91c28ba1876287346537e4daae53","observation_id":"06dd56ee-2b01-4798-a9a4-1690e26f9a43","resolution":{"observed_at":"2026-08-06T19:40:07.968639Z","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-06T19:40:08.043300Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.043300Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:c38189014a75b636162b7ba52ad6d497b5e3693aea0a60c6b8f4934e44b44839","observation_id":"8a876248-b78a-4662-8a82-408cf89af06c","resolution":{"observed_at":"2026-08-06T19:40:08.043300Z","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-06T19:40:08.184737Z","title":"NTRS - NASA Technical Reports Server","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.184737Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:fc13df3ee6e3e4377533284ebf28500ce97daf65c13ef169aedec3b4e4532aa1","observation_id":"9a930c9e-db31-4300-96c5-aac98882b515","resolution":{"observed_at":"2026-08-06T19:40:08.184737Z","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-06T19:40:08.263024Z","title":"A Fast and Accurate Dependency Parser using Neural Networks","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.263024Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:5cec5ea6ff5310597065d6f3502b8873ddc6f719f61e0ea9eed3e568a97fb779","observation_id":"8701872e-1a3e-453e-aadd-1a8a106ba5b7","resolution":{"observed_at":"2026-08-06T19:40:08.263024Z","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-06T19:40:08.324201Z","title":"Assessment of the accuracy of GeoNames gazetteer data","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.324201Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:fa5fbfe4e163b83252afe9e886ea018e2c6ceb42a13c71d2086720fcae826f84","observation_id":"b14a309c-d6db-41a9-a7cf-cd3789e6b078","resolution":{"observed_at":"2026-08-06T19:40:08.324201Z","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-06T19:40:08.411408Z","title":"SUTime: A library for recognizing and normalizing time expressions","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.411408Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:e62f2fd30dc4000794b6c16f5940232c41e48207e6dcd33488436d6b4ca9f835","observation_id":"cb876e93-a9e2-47c4-bf3b-25002c539405","resolution":{"observed_at":"2026-08-06T19:40:08.411408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.07082","last_updated":"2020-04-23T04:22:16Z","snapshot_observed_at":"2026-08-09T16:51:59.188934Z","submitted_at":"2020-03-16T09:05:53Z","title":"Stanza: A Python Natural Language Processing Toolkit for Many Human Languages","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.07082","snapshot_observed_at":"2026-08-06T19:40:08.478976Z","title":"Stanza: A Python Natural Language Processing Toolkit for Many Human Languages","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.478976Z"},"links":{"cited_paper":"/paper/2003.07082","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:59ca16ac5d5585fa9fb2956d1fcfa96caaea559d6ddbd76f0d4648d670659a41","observation_id":"00d34718-879b-4a9b-b75d-12643fe64e54","resolution":{"observed_at":"2026-08-06T19:40:08.478976Z","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-06T19:40:08.585131Z","title":"PostgreSQL: Documentation: 17: F.16","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.585131Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:6f8770e4c4ba5b89dcf0f65c92eb91de579ccfdad01d534ed69f61e4bdc882a1","observation_id":"457c7550-4354-4ba1-98ea-afbcd4f25450","resolution":{"observed_at":"2026-08-06T19:40:08.585131Z","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-06T19:40:08.638897Z","title":"Distributed Grouping of Property Graphs with Gradoop","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.638897Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:04aac7ac78f5ec86cb63bf57098567b301d8409b5ada777f8d5dee122fd48987","observation_id":"2c4f1c2e-47ef-4a44-b607-3cfadf36f07f","resolution":{"observed_at":"2026-08-06T19:40:08.638897Z","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.3390/math12172677","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:17.229707Z","title":"Matching and Rewriting Rules in Object-Oriented Databases.Mathematics 2024,12","venue":null,"work_id":"5adfe932-f8eb-4b67-bd9f-60fa0445c05f","year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.706820Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:d8b0ce573a20bd5629ac4a3667443af41181ec38c471d17871879b7ed32cc7de","observation_id":"3a0bd0e3-2722-4d2e-a435-1fc5715a8c8e","resolution":{"observed_at":"2026-08-06T19:40:17.313291Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9429.36094","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:21.201275Z","title":"Towards a Generalised Semistructured Data Model and Query Language.SIGWEB Newsl.2023,2023","venue":null,"work_id":"f6ab35d8-8230-44ec-af8f-5681f20436ba","year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.791042Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:3ff0408e6088d22eefd8bd34f2574faf956592ae140699bc51689c8ca9a643f7","observation_id":"6189f678-69f4-4aa8-a85d-73aeaed2458a","resolution":{"observed_at":"2026-08-06T19:40:21.319511Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.13062","last_updated":"2024-06-18T21:17:44Z","snapshot_observed_at":"2026-08-05T13:22:11.640147Z","submitted_at":"2024-06-18T21:17:44Z","title":"Transforming Property Graphs","version":1},"cited_work":{"arxiv_id":"2406.13062","doi":"10.48550/arxiv.2406.13062","metadata_source":"pith","pith_arxiv_id":"2406.13062","snapshot_observed_at":"2026-08-07T06:16:28.064256Z","title":"Transforming Property Graphs","venue":"cs.DB","work_id":"7b3c6aba-8566-4fd2-91a9-5c04b5b07f87","year":2024},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.847537Z"},"links":{"cited_paper":"/paper/2406.13062","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:b5aa26fe689f1bc36c0da2ed97cf312c59f70ca2e52699252674c0dbc7b4487d","observation_id":"a933202d-8ad9-451d-9d36-dd4a4b4a0825","resolution":{"observed_at":"2026-08-06T19:40:17.151794Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5598.1569","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:21.002049Z","title":"The Faculty of Language: What Is It, Who Has It, and How Did It Evolve?Science2002,298, 1569–1579","venue":null,"work_id":"25ac2baf-ba6b-42c8-bb98-9495e9ae97bf","year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.911148Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:2a5eb5724afd480473a6d00fcb31b6384863da1e43927310893cdefc3ce2143e","observation_id":"1310cf80-583d-45a0-8d4a-5792039526a5","resolution":{"observed_at":"2026-08-06T19:40:21.076515Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:08.976335Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:08.976335Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:27c357eb7e6eb013fc4761d462cbd44590f44e969da94ee18a28d0e19085520f","observation_id":"9a9f1b10-38b5-4983-afa6-802b0cd72321","resolution":{"observed_at":"2026-08-06T19:40:08.976335Z","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-06T19:40:09.044000Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.044000Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:6d2843e96b82b42b1efb8720da0c6af8b70d9266b893761274b032ade2dfe5a0","observation_id":"2a3c0978-68cb-4e65-8ea6-f54353fd6507","resolution":{"observed_at":"2026-08-06T19:40:09.044000Z","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":"5168.50517","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:20.772857Z","title":"Towards a standard upper ontology","venue":null,"work_id":"4da74f39-3554-449a-ba07-ae4b94ddbba0","year":2001},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.127791Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:f1f06064c18868d575c08a5847ff5a3557c4ac81137aff08b342f0bab52149ef","observation_id":"c8a90320-ae98-4f0b-a227-8229b51401a0","resolution":{"observed_at":"2026-08-06T19:40:20.873405Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:09.183024Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.183024Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:7992c1cd598b193a21c4488ef0cbcf23d9b4e78f213ee71cdbb2404f971ec8ad","observation_id":"79457428-c8c1-4ff8-88b2-1650a061283b","resolution":{"observed_at":"2026-08-06T19:40:09.183024Z","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":"7189.85767","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:20.528237Z","title":"Visualizing Association Rules for Text Mining","venue":null,"work_id":"99a3c545-0f8c-48fe-a4e3-cf329ee214e9","year":1999},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.279354Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:ca73275d49e40f4d79b32570d164b146ccbc673be48edfec904be36c20d75038","observation_id":"6d71c337-f4af-4ccf-aa3a-9980ca17fd95","resolution":{"observed_at":"2026-08-06T19:40:20.608694Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:09.346826Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.346826Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:befb01ecc9c274ee0b4f3f61f6f78db137c7b17b1115746da72870f53a301bdb","observation_id":"f371eebc-8fc3-4687-8d8f-b9383ebea5a4","resolution":{"observed_at":"2026-08-06T19:40:09.346826Z","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-06T19:40:09.432098Z","title":"Sentence Transformers","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.432098Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:db2d58e68d943668e0caed1be1d2ab68b05aeff24429794d1348b0c187d0e938","observation_id":"1f223ffe-5abc-4822-a1fa-9abc16f31e31","resolution":{"observed_at":"2026-08-06T19:40:09.432098Z","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":"stable/1511391","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:20.289211Z","title":"The Science of Design: Creating the Artificial.Design Issues1988,4, 67–82","venue":null,"work_id":"087ced61-22ca-436c-a3eb-7c3fc1b51a03","year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.502104Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:d72f74768d97134f37e601c9c1a15ecf0a4d3f45e7a37b0668000043c99532c1","observation_id":"a435cdc6-1e2e-43cb-809e-8c5fcdcaceb3","resolution":{"observed_at":"2026-08-06T19:40:20.369514Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:09.592283Z","title":"https://doi.org/10.1007/978-3- 030-78132-3","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.592283Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:2b92c23e17656556d2cdee71dc37b99c5fc8878e7905e0874e3eda00392d4285","observation_id":"101d1974-a5c9-481b-b8c8-33b252233886","resolution":{"observed_at":"2026-08-06T19:40:09.592283Z","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-06T19:40:09.656035Z","title":"From local explanations to global understanding with explainable AI for trees.Nature Machine Intelligence2020,2, 56–67","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.656035Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:096e053c1cf3ca58a1babf0a2dd88ad2c31bab13c2d085864ac6689e6604c440","observation_id":"50483773-e252-4c38-9d3c-c11ed772f32b","resolution":{"observed_at":"2026-08-06T19:40:09.656035Z","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-19-8234-7_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Shapley Additive Explanations for Text Classification and Sentiment Analysis of Internet Movie Database","venue":"Communications in computer and information science","work_id":"2141b2ca-28d1-474d-940e-f117ea28a085","year":2022},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.723931Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:aa251c335da992fe724927be599179b9ae28b4e3ecb7544a99a17e22d24eb173","observation_id":"80d258f9-72b2-4711-9324-c21e5b666a4f","resolution":{"observed_at":"2026-08-06T19:40:16.999965Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-08-06T19:40:09.797722Z","title":"Chain-of- Thought Prompting Elicits Reasoning in Large Language Models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.797722Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:0e3dc61c593c673264e96f96025ccee6a8ca989e1625ab782e134ff9ead44644","observation_id":"d1dfa01e-35da-47bc-9a31-42f97ff11c87","resolution":{"observed_at":"2026-08-06T19:40:09.797722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1602.04938","last_updated":"2016-08-09T17:54:52Z","snapshot_observed_at":"2026-07-06T04:46:17.931363Z","submitted_at":"2016-02-16T08:20:14Z","title":"\"Why Should I Trust You?\": Explaining the Predictions of Any Classifier","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1602.04938","snapshot_observed_at":"2026-08-06T19:40:09.850147Z","title":"Why Should I Trust You?","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.850147Z"},"links":{"cited_paper":"/paper/1602.04938","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:8e2fb85877bf0eb1ba23c6963d37818189b9430bc142b770125eae7134544036","observation_id":"a77205fd-983d-4c40-9464-fb7afc679570","resolution":{"observed_at":"2026-08-06T19:40:09.850147Z","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-06T19:40:09.946920Z","title":"Anchors: High-Precision Model-Agnostic Explanations.AAAI Conference on Artificial Intelligence2018,32","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:09.946920Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:1fa3630d18f8c3440f77cd26f8dc435e7480064749eec7d4a95ff55087b7c1ca","observation_id":"a1b28848-42bc-41de-8e88-df29c7c8c7e1","resolution":{"observed_at":"2026-08-06T19:40:09.946920Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.05714","last_updated":"2022-02-07T19:21:23Z","snapshot_observed_at":"2026-08-04T07:16:07.660768Z","submitted_at":"2020-06-10T08:10:37Z","title":"OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.05714","snapshot_observed_at":"2026-08-06T19:40:10.030108Z","title":"OptiLIME: Optimized LIME Explanations for Diagnostic Computer Algorithms","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.030108Z"},"links":{"cited_paper":"/paper/2006.05714","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:8a59db3f6fd077b22947f49216023952d9637f9bf69cfc4ae3fa9b85c6187157","observation_id":"0b11e210-4a39-4368-bb91-efdc230b2b7d","resolution":{"observed_at":"2026-08-06T19:40:10.030108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.05724","last_updated":"2023-10-31T17:15:40Z","snapshot_observed_at":"2026-07-06T15:40:39.214427Z","submitted_at":"2023-06-09T07:43:46Z","title":"Explaining Predictive Uncertainty with Information Theoretic Shapley Values","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.05724","snapshot_observed_at":"2026-08-06T19:40:10.142442Z","title":"Explaining Predictive Uncertainty with Information Theoretic Shapley Values","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.142442Z"},"links":{"cited_paper":"/paper/2306.05724","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:07281b843ec6d1593868fc4d92d09c6ca556aa4e13c8819b67544d78cc17ac37","observation_id":"1c2a9e51-46a3-4e18-a938-5e6d905152e5","resolution":{"observed_at":"2026-08-06T19:40:10.142442Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.07874","last_updated":"2017-11-25T03:53:32Z","snapshot_observed_at":"2026-07-06T05:43:42.722222Z","submitted_at":"2017-05-22T17:38:10Z","title":"A Unified Approach to Interpreting Model Predictions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.07874","snapshot_observed_at":"2026-08-06T19:40:10.270613Z","title":"A unified approach to interpreting model predictions","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.270613Z"},"links":{"cited_paper":"/paper/1705.07874","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:917d9d851ba25759f433319f8bd275cbbe1de61042b8587e40dc3b2379c746f2","observation_id":"8e021325-faf4-4cf2-9abd-76e8917a2ca3","resolution":{"observed_at":"2026-08-06T19:40:10.270613Z","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.5555/3285754","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:16.712258Z","title":"https://doi.org/10.5555/3285754","venue":null,"work_id":"719c9a58-5a1c-4d0e-8f47-b06fd6748bbb","year":2018},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.373603Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:592a36c3e50e60437807de6bf1a2da2220c81c38020ebf55388352e5f4a471f6","observation_id":"fa275586-6d6b-4a4a-9952-377a2cf625f1","resolution":{"observed_at":"2026-08-06T19:40:16.811712Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.01108","last_updated":"2020-03-01T02:57:50Z","snapshot_observed_at":"2026-08-07T19:07:36.327251Z","submitted_at":"2019-10-02T17:56:28Z","title":"DistilBERT, a distilled version of BERT: smaller, faster, cheaper and lighter","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.01108","snapshot_observed_at":"2026-08-06T19:40:10.479214Z","title":"DistilBERT, a distilled version of BERT: smaller, faster, cheaper and lighter.CoRR2019,abs/1910.01108, [1910.01108]","venue":null,"work_id":null,"year":1910},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.479214Z"},"links":{"cited_paper":"/paper/1910.01108","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:ac4fa7424bc5354b8bb6e3b2a75f9f816377cd52f72ab765bbf07c6ad89e2794","observation_id":"8859d303-f2dd-4b94-b432-bda9f83b81ad","resolution":{"observed_at":"2026-08-06T19:40:10.479214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1410.2020","last_updated":"2014-10-08T08:37:47Z","snapshot_observed_at":"2026-08-09T15:49:40.615064Z","submitted_at":"2014-10-08T08:37:47Z","title":"Spectral analysis of the Dirac system with a singularity in an interior point","version":1},"cited_work":{"arxiv_id":"1410.2020","doi":null,"metadata_source":"pith","pith_arxiv_id":"1410.2020","snapshot_observed_at":"2026-08-06T19:40:20.027030Z","title":"Spectral analysis of the Dirac system with a singularity in an interior point","venue":"math.SP","work_id":"3b789832-9add-4a8e-8b17-22dcde1b846f","year":2014},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.626495Z"},"links":{"cited_paper":"/paper/1410.2020","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:cb6d62e000d908109c94698e23a03096669a3ef405325c28b6530e2083303636","observation_id":"14e99441-17e5-46a8-b37f-c9e2dd8e5d91","resolution":{"observed_at":"2026-08-06T19:40:20.119046Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6122.36692","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:19.862511Z","title":"Evaluating the robustness of interpretability methods through explanation invariance and equivariance","venue":null,"work_id":"4c5c784f-3114-40f9-88de-1df07ab1af58","year":2023},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.746488Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:2ea31712831598741623ffc6c83bfe6c8499e2486f8dee97c5b0c317984f2fed","observation_id":"bc053bb2-8aa4-4188-81c9-5390df6c6009","resolution":{"observed_at":"2026-08-06T19:40:19.926381Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:10.832645Z","title":"Fooling LIME and SHAP: Adversarial Attacks on Post hoc Explanation Methods","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.832645Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:75b6a1488398ad6d84d72439e488e31bb09b101e5c882a22a74e06ac637ff1b0","observation_id":"255847a8-fce4-4eaf-b4ee-634a2dc9775a","resolution":{"observed_at":"2026-08-06T19:40:10.832645Z","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-06T19:40:10.934025Z","title":"Towards Complex Ontology Alignment Using Large Language Models","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:10.934025Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:a44232072f5c77cdcab570344b7cf5266d8a9d8541afcafdfe7d8fe41d9e9e5d","observation_id":"276c675c-4a4e-47f7-9b4d-cd3897376db5","resolution":{"observed_at":"2026-08-06T19:40:10.934025Z","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/s00778-018-0523-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:16.561018Z","title":"Logical scalability and efficiency of relational learning algorithms","venue":null,"work_id":"d967d783-b358-42bf-bbb1-bd7b3612161b","year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.014017Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:50e74a3e267642188c2c0a88564d161334ca3bc9e399499f2c12eff4de8012c7","observation_id":"832c5735-8ec8-4c9f-8797-25bf0afcabe1","resolution":{"observed_at":"2026-08-06T19:40:16.630136Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:11.103798Z","title":"Learning Over Dirty Data Without Cleaning","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.103798Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:d0806c674f8948bae074571b4a4f4343f17e2fe4bb23fe054abd0d9e416e58c8","observation_id":"806476b1-a811-47c9-9e57-c91e2f19fa95","resolution":{"observed_at":"2026-08-06T19:40:11.103798Z","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-06T19:40:11.195702Z","title":"https://doi.org/10.4135/9781412985130","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.195702Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:71e1e6ef54188ff906e4bee586ffd356930c2c78c2d1300e14dc91543c320680","observation_id":"0833ccb7-5fae-4372-a69b-aed8a4876372","resolution":{"observed_at":"2026-08-06T19:40:11.195702Z","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-06T19:40:11.264672Z","title":"Review of the Development of Multidimensional Scaling Methods.Journal of the Royal Statistical Society","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.264672Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:ffd4d0027eb717c841b5a769ecec4baff51189eb3e60f8f4349b3d95d2318029","observation_id":"2abed36c-4d62-485b-9b9b-b3ac97d7781a","resolution":{"observed_at":"2026-08-06T19:40:11.264672Z","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-06T19:40:11.368795Z","title":"Generalized Non-metric Multidimensional Scaling","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.368795Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:6f893da37b0673fe386af6c549391e78157131eefe512687831f61b3db98f098","observation_id":"bc816210-5dd0-4970-b3c3-72dd44713352","resolution":{"observed_at":"2026-08-06T19:40:11.368795Z","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-06T19:40:11.440108Z","title":"Distributional Scaling: An Algorithm for Structure-Preserving Embedding of Metric and Nonmetric Spaces.J","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.440108Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:5fb683b0b3865986bb580abd688ddb581a2ae882a0fe22e9bc51e8351f02c0c8","observation_id":"ee770427-e8d2-4a28-994f-61c5e3f9ead2","resolution":{"observed_at":"2026-08-06T19:40:11.440108Z","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/s10707-018-0332-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:16.362971Z","title":"Diverse nearest neighbors queries using linear skylines","venue":null,"work_id":"d1706622-8acc-4f8a-af2d-a92cd09ed808","year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.528718Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:650c4bf65cbb5d4e86f93efd4e7c3363266d80aab9cc149e3c1b6d90768eefb8","observation_id":"f5bdbd78-6ee7-48b1-81c2-b1014a57f984","resolution":{"observed_at":"2026-08-06T19:40:16.439285Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:11.620555Z","title":"PIST: An Efficient and Practical Indexing Technique for Historical Spatio-Temporal Point Data.GeoInformatica2008,12, 143–168","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.620555Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:2b35c2d82b0c15304f86a251b78ab4e715ce6ecb1741eeb1335182e96ac6b231","observation_id":"ba6f5b2b-d24d-4927-8a9f-c0b4a50304d1","resolution":{"observed_at":"2026-08-06T19:40:11.620555Z","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-06T19:40:11.704816Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.704816Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:76cc69f582822164fbac78d86afeba6e1b056073b31a55f34de404362601e471","observation_id":"78f2e374-f125-42c1-bfa6-2bc0490fd8c7","resolution":{"observed_at":"2026-08-06T19:40:11.704816Z","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-06T19:40:11.847844Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.847844Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:0e39fca7a915c92df5401bab9d96af3630ad6c802aab89683f352ddba8059e73","observation_id":"215c18ef-1eef-4576-a0da-2780100032a7","resolution":{"observed_at":"2026-08-06T19:40:11.847844Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06742","last_updated":"2017-08-11T00:16:49Z","snapshot_observed_at":"2026-08-07T05:29:43.769273Z","submitted_at":"2017-07-21T02:37:04Z","title":"Machine Teaching: A New Paradigm for Building Machine Learning Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06742","snapshot_observed_at":"2026-08-06T19:40:11.993570Z","title":"Machine Teaching: A New Paradigm for Building Machine Learning Systems.CoRR 2017,abs/1707.06742, [1707.06742]","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:11.993570Z"},"links":{"cited_paper":"/paper/1707.06742","citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:ef46ab20d0c97da46fe9f859619a1f5acf143cd5b232d155b8eb9ab78e836ed6","observation_id":"426a02a2-9bdd-4121-8f94-e702c29bb778","resolution":{"observed_at":"2026-08-06T19:40:11.993570Z","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":"0024.2020","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:19.502592Z","title":"Interactive machine teaching: a human-centered approach to building machine-learned models.Human–Computer Interaction2020,35, 413–451","venue":null,"work_id":"af1ba1ba-55b9-4c2b-8d2d-9811e0e4f82c","year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.063076Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:75f757296b625dc47fabed0fdb71dc667a493f780acbbb4df98e997849f5ba3a","observation_id":"4c012676-229c-44e1-b873-f6ef94d85ac5","resolution":{"observed_at":"2026-08-06T19:40:19.568014Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:12.123827Z","title":"Human- in-the-loop machine learning: a state of the art.Artificial Intelligence Review2023,56, 3005–3054","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.123827Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:337b7511a662788e57bb438730c34611bdbc10c266a1cbc03ffc3047cc364ded","observation_id":"6f11ebdd-9b9d-4aba-a9e3-0bc686ef69ce","resolution":{"observed_at":"2026-08-06T19:40:12.123827Z","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.6092/unibo/amsdottorato/8348","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:16.031244Z","title":"A new Nested Graph Model for Data Integration","venue":null,"work_id":"52fe9c85-ca12-4e17-8920-4c5fa041d01b","year":2018},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.188550Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:9f471fb6a039c334a98cec4d5d82b82aff334666cc37ab10227fbfadf0e8874d","observation_id":"8f95c192-1705-4cba-aa1f-f6d42cce76e7","resolution":{"observed_at":"2026-08-06T19:40:16.104686Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.6092/issn.1972-5787/4651","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:15.877510Z","title":"Matita Tutorial.Journal of Formalized Reasoning2014,7, 91–199","venue":null,"work_id":"b30f3604-2d3d-4cdb-88ed-22de203bc166","year":1972},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.236187Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:6a33ec2ec8817d04f44bd85a947b9d60ab23a4660e15ffd028598ceeb80ff417","observation_id":"e8970f50-5a15-4b7d-b9c0-bc82c96111c6","resolution":{"observed_at":"2026-08-06T19:40:15.961389Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/170035.170","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:15.725199Z","title":"The LRU-K Page Replacement Algorithm For Database Disk Buffering","venue":null,"work_id":"0df4f441-949b-4eec-96c3-4f4f3726e20e","year":1993},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.306163Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:5c9a74f116a95e9ef6848c3856d08df6ea833f0553560f76d3a39897a1dcc98a","observation_id":"4363b385-5bf5-4352-801f-0b1e89c0cb56","resolution":{"observed_at":"2026-08-06T19:40:15.803470Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:12.370502Z","title":"2Q: A Low Overhead High Performance Buffer Management Replacement Algorithm","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.370502Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:0665afa0bf8c2b30910d8a683410a7e41de27d2820839c7ec52d906329f5d032","observation_id":"db6abdd6-58cd-4067-a2c0-2f6517a62e5c","resolution":{"observed_at":"2026-08-06T19:40:12.370502Z","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":"7263.30072","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:19.251337Z","title":"ArchimedesOne: query processing over probabilistic knowledge bases.Proc","venue":null,"work_id":"6777438e-852f-4991-98e4-a1c8fca3d1f3","year":2016},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.428962Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:36f6603c479fa7dcaed5af1f59da299540b854980aa0877e14c2403d94e438e6","observation_id":"ed8ddcaf-8bd6-4e55-a7e8-d8dfdae3d76a","resolution":{"observed_at":"2026-08-06T19:40:19.367568Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T19:40:12.493497Z","title":"https://dataminingbook.info/book_html/, Accessed on 21 May 2025","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.493497Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:c5f57d731132f3f385bdb47bd19b261c1545e44e3240310e867c9b61d410b514","observation_id":"43b5cd44-0335-4634-a7c9-37ba81350b07","resolution":{"observed_at":"2026-08-06T19:40:12.493497Z","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-06T19:40:12.545987Z","title":"k-means++: the advantages of careful seeding","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.545987Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:262fcaf541d595be50f4abb5df145162e5d73f8b50d62ab51fd916afb7a15cad","observation_id":"98e46c47-176a-4290-98e2-e10dc0fddece","resolution":{"observed_at":"2026-08-06T19:40:12.545987Z","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-06T19:40:12.591147Z","title":"https://doi.org/10.1007/978-3-540-68856-3","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.591147Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:361d0a4847676b40d1e73744375e8c26b349c765c24fb2cac9cbb6892d2f7b5a","observation_id":"0b5ce6c1-abdf-4cfa-a4f3-0fc4ecc06b89","resolution":{"observed_at":"2026-08-06T19:40:12.591147Z","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-06T19:40:12.661323Z","title":"https://archive.org/details/BubliothecaMathematicaStephenColeKleeneIntroductionToMetamathematicsWoltersNoordhoffPublishing1 971/page/n3/mode/2up, Accessed on 21 May 2025","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.661323Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:cb6574e0fdc9aad3454edaa46bb87e5cac8b31a782d74174bd872bf2a61437b7","observation_id":"facdbbff-7bd6-44e7-bf2e-9bfe635a08ff","resolution":{"observed_at":"2026-08-06T19:40:12.661323Z","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-06T19:40:12.755412Z","title":"Silhouettes: A graphical aid to the interpretation and validation of cluster analysis.Journal of Computational and Applied Mathematics1987,20, 53–65","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.755412Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:c59d6e4f20b8b7d3e794fb0d578554abbd943691a840d19525e65d8bfbc6e0d6","observation_id":"838e4a95-b7ae-4d53-82da-1d63a694f9d5","resolution":{"observed_at":"2026-08-06T19:40:12.755412Z","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-06T19:40:12.811801Z","title":"Information Theoretic Measures for Clusterings Comparison: Variants, Properties, Normalization and Correction for Chance.J","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.811801Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:93c2072b8936f58fb73b4264502a553899ce8701161742de07b5f6a691832025","observation_id":"a2257cb7-60ac-40cd-a6f9-9d3680f12b38","resolution":{"observed_at":"2026-08-06T19:40:12.811801Z","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-06T19:40:12.882555Z","title":"Structure Regularization for Structured Prediction","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.882555Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:53954998ef071d4984792beb542bdd5b402f01a2c2c88ff97d594470984c52f7","observation_id":"4869920f-7bc2-4784-863b-cdc6ee8024c1","resolution":{"observed_at":"2026-08-06T19:40:12.882555Z","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-06T19:40:12.926693Z","title":"The Stanford CoreNLP Natural Language Processing Toolkit","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.926693Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:1cc444f513ab5e44b9d1db0b8a331f3056e38fd68aeb7cbdc7636bc3fe239c88","observation_id":"de3e52cb-0573-448f-aecb-4313ae804dc2","resolution":{"observed_at":"2026-08-06T19:40:12.926693Z","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-06T19:40:12.988960Z","title":"Online manuscript released January 12, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:12.988960Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:e58126527979fc59602c84b7cbbb45cdf94523b06c037158aa12c66ff9ebba50","observation_id":"6560d2a4-de10-4b55-b656-a12e0e3cd12c","resolution":{"observed_at":"2026-08-06T19:40:12.988960Z","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-06T19:40:13.053787Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:13.053787Z"},"links":{"citing_paper":"/paper/2507.05017"},"observation_digest":"sha256:225e6bbadeed206aa3a0bb6a017716e4618191544b83db6b9726fbdf01462856","observation_id":"dfa69946-5ebd-4fa0-bcc2-b6a49a90e605","resolution":{"observed_at":"2026-08-06T19:40:13.053787Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.05017","last_updated":"2025-07-07T14:00:05Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-09T13:58:03.305176Z","submitted_at":"2025-07-07T14:00:05Z","title":"Verified Language Processing with Hybrid Explainability: A Technical Report"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":7,"metadata_mismatch":5,"parse_uncertain":0,"unresolved":67,"verified_exact":21,"verified_fuzzy":0},"total_outbound_references":129},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 100 of 129 outbound references and 0 inbound Pith citation observations for arXiv:2507.05017."}