{"as_of":"2026-08-07T23:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9b9914e72512edf62226e012c9b2ef968cd91c3d7b8ba8422948da7648f5076a","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-07T06:34:17.273281+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-06T19:31:29.035686Z","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:af0c37b350c6ecdadfe9756a2742b70885560b86304fd86a882e8e96117eb506","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-06T19:31:29.035686Z","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:f4c6c139a10b4a568d6d560b2ae7381c19bae72ce3e5f76d442e74a607b1fa88","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-06T19:31:29.035686Z","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:e126c10f79ee9b7b70770aaeeec09c00a72f8c0949dbc0d966d8d46ea8237089","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-06T19:31:29.035686Z","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:bb062d87d58f0e08fdeed2dfc8cdd38f3885a30b80a4ed5fd40f7e77b1f6c075","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-06T19:31:29.035686Z","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:fb99d6f9add64be2e85de249625ac3e155519fda9c11a748f1b225863e610c30","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-07-06T08:47:25.743947Z","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-06T19:31:29.035686Z","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:9a35e3acc6a84b51a600ab5827209bc9bc13dd4267c1fc9b0e6039911fb3e19a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:bd4770aa6991a272a799bb0fe56eebabe20fbcc3330d41be19bc043ff605d3c0","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-06T19:31:29.035686Z","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:f6e223b38353d238f7f64a9e1d2354fc00cc2bc3e2f95d556ba9258a8539ba48","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-06T19:31:29.035686Z","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:c748866ed53380f065a6c3f8570cd61e9fb6450da442e1751b5fc36fcd51dd67","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:18.418835Z","title":"An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)","venue":null,"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-06T19:31:29.035686Z","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:67ea94daac67883e22df7fc3aacfe00dbc3753ebb5dbb9cfd5a370db0311935e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:551fef846112f531074fc5cf327743f7f3955f8221156899ee6f2c4ae2ce9d66","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-06T19:31:29.035686Z","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:e977e3c1a1caf79fba6428ab9329a7a82aac1cbb73572608d93dbd37edd3d716","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-06T19:31:29.035686Z","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:369a7b9ba0044db7694e80b3fb35bd8690ea01fbca1b6085847ab6cb41a3b348","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:1e11977f2bbf10ffaaf9fc2961e4eb8b3933d944eed2ff4e05bf3cccd5dfa2f6","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-06T19:31:29.035686Z","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:844e1460fe2c85b22c9513135b0ee4a5744695b8759178fa5290a773290d4b4e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:97e609930c5eb4018e8fabef0e9e1a1030ac824ff73747d664868495145dbefd","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:18.059863Z","title":"https://doi.org/10.1007/978-3-319-33205-5","venue":null,"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-06T19:31:29.035686Z","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:1c53ad2281cf28f3a59519ba9cce00f2158bf401aadaa5942ec9ae1e4919cb66","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-83472-1_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:17.906825Z","title":"LaSSI: Logical, Structural, and Semantic text Interpretation","venue":null,"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-06T19:31:29.035686Z","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:21f38d7d91135674d099df58ab2308b2dc546aea3b61f9a87ba31e856a08edd1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:af39ee4c92f127c7801d408f77da2ae465ab300a55719ecc03f36ce305420ae0","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-06T19:31:29.035686Z","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:3e809d232eb2930ac889f42599c4379fbbba9c6f8e6d3bdc5592d6dcae0b915e","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-06T19:31:29.035686Z","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:ecf9bfbd5155cb5b7ae4810e8d93bf960ddce478dcf1848c8ceb2a898a6d644c","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-06T19:31:29.035686Z","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:9d0b6686a833415a5aa877cf6256654e4dab6097a0bfa6ecada1dc3b07e62983","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-06T19:31:29.035686Z","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:96c5c54777cc29e8f9e14d13845a62b9f58b5ca88b5e8300ab37d01885312590","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-06T19:31:29.035686Z","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:52cec262b91bdddb961b138cb6e477f67f17b8bc06c38af725184301be782834","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-06T19:31:29.035686Z","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:2540546fc48efbac0c70e47c38ff2206a037756a3d6c5d198f8b9a5afd126340","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:63123d87d588109e0368d6389cabbcd0619af12a870fcf2fb12731780db66a7a","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-06T19:31:29.035686Z","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:97e14cdcde126ac8dd6e356847ccc9a211b394a94c01670f59d849dd2e65e190","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-06T19:31:29.035686Z","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:a030f7599331eb346e580be946d92fa6e636cbded473f2e148b5c201998e0042","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-06T19:31:29.035686Z","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:cf25c6a8c2e5b90dd8240ef091ad811e53d235ddda4ddc3b480233c7cc4d1440","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:9528ff27599e60a4d2942f7d358e52973fa281901c027cd815a4b07229f92845","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-06T19:31:29.035686Z","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:04557911b71ff381f963a64a5681ee28e2da26fa8768233e21e9ec3202d6331c","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-06T19:31:29.035686Z","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:8322afdcd992695a715e3baa7309ec07347f07e0a4742d921c38001a99b18c35","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-06T19:31:29.035686Z","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:1134f843e40e99f56c54ec384dff520aa9e490026b89610d5dbdb2e843811813","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-06T19:31:29.035686Z","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:bfe9e61ab8477a06037b08e89f507248dff067bf25598efa1529d2995314de5b","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-06T19:31:29.035686Z","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:9f831b915d10f6c91e3ed5d628ec1ea1defbeb19ff9800c1fdd2414dd63af588","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-06T19:31:29.035686Z","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:2a9194d9155cdaa7e415c9b206a02efeaba295fa677a440014239fd974fd1d48","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-06T19:31:29.035686Z","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:4cc9e725ef98a7a90563bce522e0e890cbda7a85530612f8d45097865f3bf5a5","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-06T19:31:29.035686Z","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:42fc29947a18160eeaabcdea45e95014bec0f42ed29969244e77e6d25e15d9be","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-06T19:31:29.035686Z","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:38f74f384b2a5f5ed1eb053353b790e5122892e07a07c4632a597164fe51d08d","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-06T19:31:29.035686Z","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:e825c696d86108ea0a5c4756cab3782b99400fedda45e28000cbdd586a33b183","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-06T19:31:29.035686Z","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:66cfaf42c4a6dc9f5b939a14dc0f5c947e3ac5e8f07b8175802122ced02f6f15","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-06T19:31:29.035686Z","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:8d8e7a032c17c3fc6faed8d4bcadc0cdfa675e80cfd674bc560b4aa133eb33c9","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-07T01:07:05.571663Z","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-06T19:31:29.035686Z","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:31165be0b12a9ee3775e7a38c55a6504f0b8eca963200a5b7dadbf28d22231b4","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-06T19:31:29.035686Z","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:149b912dd169a34d7583d50dc9dc3e0b66139379a7a104181633adc6d9155f00","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-06T19:31:29.035686Z","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:8443c339c935e06ff7afed3817755019adff1a1840aa4f82e7a60de821f71ac0","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-06T19:31:29.035686Z","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:84b56cebf80360ffdc2b411a3b2bdf7fc8272471fffb667ea6457c48a33d3e87","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-06T19:31:29.035686Z","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:2976916d2e31dd8cf3d7438dcc158b79fbc147f61b14a7f1ab524d1b71e4e34e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-06T19:31:29.035686Z","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:3ea02bcd17c19763b88fa24f7006bb453b3ddb8bf2c6c31856840a439f7c0352","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-06T19:31:29.035686Z","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:eb17d20d3234dc812cdc71c9dfccaf300b385b1d9931ac95040b5fb9eb17c7bb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:05a6e014f35c46282421d240090bb475dad9c8feef9d602044072e438be5c6bf","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-06T19:31:29.035686Z","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:3ba77a72e0ed4b8102f461797ddb67b2f0aa8bd9f23800a885f2f0bf17f23707","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-06T19:31:29.035686Z","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:ebcea1607e8146d0dbf416433a21be35e02735521d160b7e70914ac4030e3c67","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:5b07a544779d786eba88d08896d785be5d1f768c2ae2bbb2fc5a75cbdeaa19b9","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-06T19:31:29.035686Z","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:5e588edb651614d5639628a9872a570d859826ea5507612336ad9f1e6b08374c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:befba049ec57ee9603289ea760a772cca2b0890968b1fa6a76a6d0951610aca2","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-06T19:31:29.035686Z","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:d185a8e1e6e9f53eab30d81ecc4926f4b6ba8b9178b9ecaf10845e98acabf875","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-06T19:31:29.035686Z","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:52f6dd3fa4200d3dae0d2211b4ad884458e02443f630d30c38583bd3ec5cdd23","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:9bcb218a58236f523b3994591c2d0cfee6d9bb76b6212b7aa8558c5006dfb1b7","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-06T19:31:29.035686Z","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:30d5a3836fbdfb67904896a76e193fcf8db81d446a7c1a719f2763bbdafbd1e8","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T19:40:16.951209Z","title":"Shapley Additive Explanations for Text Classification and Sentiment Analysis of Internet Movie Database","venue":null,"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-06T19:31:29.035686Z","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:6220f6dc0817b028d7a0d65ed96d95c9aa0dc47d722f9b65ae724cb498656239","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-06T19:31:29.035686Z","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:6d902c3890abb1d127f16fa5f348ba9eb81f13840d5bf27436652d984a3e6723","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-06T19:31:29.035686Z","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:5b214d8af5200c4ee6290ad6ab6852a221d6c3a7dc2246b14bbebea1a73cf722","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-06T19:31:29.035686Z","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:7a604d0502e850fc90ff6c0f7ffc7586d92ddf552382c2b376c43b859049427a","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-06T19:31:29.035686Z","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:a48dd926601c50c0786a2254395a72f8af736142b1dca2d373a8c78a7044042d","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-06T19:31:29.035686Z","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:0191ee33d3b880a698aaa094c81cf40a5a7d5603b31fda1a21b42c142984ec94","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-06T19:31:29.035686Z","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:08327913292a0c514261c8f38c5238ce862b67fba6ace78b3e58cf78f23eb191","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-06T19:31:29.035686Z","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:7d2596f4c511a7a37d0709a957be6925a34032b2a3d0a3e88f231e69390ae7ec","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-06T19:31:29.035686Z","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:c719f7500128f64cba880a7cf7da010ef96f6d7b71a140b8fb0231a64a360761","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-07-06T03:56:46.046013Z","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-06T19:31:29.035686Z","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:900f71bf75a866e2aace95ffdc22def9029a94dfd4bbc1494d304040f047e69b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-06T19:31:29.035686Z","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:02b7622b07a159179afac27f0cd004721fec465291a863caa0a101522348d141","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:963f5a8ed2ddf7df3a9b3bdb481aa425aee5f2e4c8cca2787a5659a3dd379dbe","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-06T19:31:29.035686Z","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:b3c13bf5d1804ed2149363a28748dc0482efbaf92c684b47e11f743a11146b9d","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-06T19:31:29.035686Z","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:aeed707d4a400b997b5a242c952d8a55e90282bb34e5edd7bf9d9bd25d462216","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:5860366d16bd0796d2db7fa0c4507e14e0d9aa51dfa3c9ac19060f8023e1a54a","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-06T19:31:29.035686Z","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:b192c1898a54552a67d13b9c3a30708f5e37c08c690b4a02d6d34a9281bb19f7","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-06T19:31:29.035686Z","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:3625f2d960c8dc08a6dd54773cb54b68a21fd0a90aaa9c8ca0150151d38dda21","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-06T19:31:29.035686Z","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:c20663e597b4c245962f21ec5a8de8a4ae33dc5a197e156d3bc35eb7269ba3ec","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-06T19:31:29.035686Z","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:121c101b32b76dfea76d086e88587006ba5c27e03f7182dfbb3000ec4b79dcb5","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-06T19:31:29.035686Z","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:ae49e9d32562227f9c01da7620d44ea43545a8d71733853c149765ba2c65effb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:6a4579067cfe87e3b90e8fd0a3866929be8b55ef80e1a6f2917ac4070229d167","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-06T19:31:29.035686Z","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:4146c89cfc6ace63ff52d45aecc02d3e9f99d520dfc324334812c7ac8a6f915b","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-06T19:31:29.035686Z","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:a0c221d6d9f778e506a2ddc65e69685b7e08579583e7774c2cb70bab581e2ce2","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-06T19:31:29.035686Z","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:35f25809947c5a6db1be902dbaf95480abbd61d32e55da7982dd4ebd6300661e","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-06T19:31:29.035686Z","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:e1f715c4d32b82ec0524ed820b167431c6b848fcc3c8fad743aee0b065993a65","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:f51bc33364409dd3e6d4a258eeba441952002aa73a7650a08b7c2826ec1a2a45","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-06T19:31:29.035686Z","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:6c4e822edafe5765c8f57af230ab54f9b4fd5e9e5f139bcfbca183c887904d5f","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"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-06T19:31:29.035686Z","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:04e252beb231e66b686be1fb530b1acaac48f4fe2801dcc9ffe7f7861af20333","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"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-06T19:31:29.035686Z","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:775f48c3053247051a28e88c42b042d77841c087d71b5f2da34080407da9758d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:d26a7429a944e7e6b327359c139caf7fbe0f8436039caaedc2b76a4e4c2a04c9","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-06T19:31:29.035686Z","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:6a20105f1a9fc26de18b8642981ecd3897f64c0a53b24c512a0453580a2b9b4c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T19:31:29.035686Z","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:24c6132aaa83323bdb831fda8e9939930bae4505522f316d409155f20019a2a6","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-06T19:31:29.035686Z","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:6c3d3284428b8a4cf2628a251b8b0e089add9e29ce458f225420f5b750d67d52","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-06T19:31:29.035686Z","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:eb31a5a9646bbde44f607f4fdc732049a669424475c568018276dfd365139aed","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-06T19:31:29.035686Z","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:39b25c170f730b88df4ca1a9613e069b4c289e5187ab1fbb919af6766b8fd52c","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-06T19:31:29.035686Z","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:77c59a2b0a10ed408e90d4c81b3bc538c9834cc94d2415d3ce1b8f6defa7e7a4","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-06T19:31:29.035686Z","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:f8de1b8786ee1d810f162cbb4a857ae2ea5175f7bf059599bdb679dd471dc79c","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-06T19:31:29.035686Z","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:d4c35472102fd3574dda233ee246880204e82032e801c1f5783829e34e3b4da8","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-06T19:31:29.035686Z","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:97d8eebf39ffb5c595c71fa207dcf6eae538c6650bc6ce128feafb2593ded3ed","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-06T19:31:29.035686Z","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:81d034deea8c7d1f485029bad4a9b65072daf80ce57a764a76040870a5e2aa91","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-06T19:31:29.035686Z","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:2ea7f52e004314283d1afce5272d45e459f09a4c444e934419e4f748184b4f09","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-06T19:31:29.035686Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 100 of 129 outbound references and 0 inbound Pith citation observations for arXiv:2507.05017."}