{"as_of":"2026-08-22T22:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a59e26e15670cc9c63bff1daad80baa08f4b32cca596b8c88650cdac0fc748b5","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":2,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":2,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T05:24:21.018605Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-10T15:46:48.060884Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.10650","last_updated":"2023-10-05T11:17:08Z","snapshot_observed_at":"2026-08-19T05:50:05.120016Z","submitted_at":"2023-03-19T13:03:51Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.10650","snapshot_observed_at":"2026-08-11T05:24:21.018605Z","title":"L., Stew- art, R., and Stark, K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.17696","last_updated":"2025-03-27T17:30:56Z","snapshot_observed_at":"2026-08-17T14:09:40.264967Z","submitted_at":"2024-12-23T16:23:13Z","title":"Understanding the Logic of Direct Preference Alignment through Logic","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T05:24:21.018605Z"},"links":{"cited_paper":"/paper/2303.10650","citing_paper":"/paper/2412.17696"},"observation_digest":"sha256:357b68b2bbe1ed2c653b07fc44bbb5ac97a6891490f4c10c9213b1ed5537b05c","observation_id":"4f5e94b0-964b-422b-95cc-a1d42b3718ab","resolution":{"observed_at":"2026-08-11T05:24:21.018605Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.10650","last_updated":"2023-10-05T11:17:08Z","snapshot_observed_at":"2026-08-19T05:50:05.120016Z","submitted_at":"2023-03-19T13:03:51Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","version":4},"cited_work":{"arxiv_id":"2303.10650","doi":null,"metadata_source":"pith","pith_arxiv_id":"2303.10650","snapshot_observed_at":"2026-08-10T15:46:48.060884Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","venue":"cs.LO","work_id":"b27621fb-2ee3-4d8b-afa6-55c7b4ae625f","year":2023},"citing_paper":{"arxiv_id":"2501.13712","last_updated":"2025-01-23T14:43:12Z","snapshot_observed_at":"2026-08-16T16:53:59.597494Z","submitted_at":"2025-01-23T14:43:12Z","title":"Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T15:46:47.999409Z"},"links":{"cited_paper":"/paper/2303.10650","citing_paper":"/paper/2501.13712"},"observation_digest":"sha256:56b3883aa04085d065ee8d90ce68c56a26a49b3bd1bd7bda7079ed84ad8b8233","observation_id":"775b1133-0a9f-4059-b06a-0e89997df754","resolution":{"observed_at":"2026-08-10T15:46:48.067574Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2303.10650/citation-record","integrity":"/paper/2303.10650/integrity","json":"/paper/2303.10650/citation-record.json","paper":"/paper/2303.10650"},"outbound":[],"paper":{"arxiv_id":"2303.10650","last_updated":"2023-10-05T11:17:08Z","latest_version":4,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-19T05:50:05.120016Z","submitted_at":"2023-03-19T13:03:51Z","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 2 inbound Pith citation observations for arXiv:2303.10650."}