{"as_of":"2026-08-14T14:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:45901e6940816e1c9e6a35344fae97f705a03eebc40484231442943825ce9f4e","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":4,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":4,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:36:45.445440Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2407.02514","last_updated":"2024-08-06T06:39:02Z","snapshot_observed_at":"2026-08-12T23:37:00.767793Z","submitted_at":"2024-06-22T12:50:41Z","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02514","snapshot_observed_at":"2026-08-12T16:36:45.445440Z","title":"Logic-lm++: Multi-step refinement for symbolic formulations, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13627","last_updated":"2024-11-20T14:16:55Z","snapshot_observed_at":"2026-08-13T20:24:17.386850Z","submitted_at":"2024-11-20T14:16:55Z","title":"CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:36:45.445440Z"},"links":{"cited_paper":"/paper/2407.02514","citing_paper":"/paper/2411.13627"},"observation_digest":"sha256:9bb1b906c687dfbf197a6f7af5a230135f3169628b455869b0d3fbbb046ed510","observation_id":"3b5a72c7-3892-42c2-bd82-2ac73201cb2c","resolution":{"observed_at":"2026-08-12T16:36:45.445440Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02514","last_updated":"2024-08-06T06:39:02Z","snapshot_observed_at":"2026-08-12T23:37:00.767793Z","submitted_at":"2024-06-22T12:50:41Z","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02514","snapshot_observed_at":"2026-08-05T10:50:28.239036Z","title":"Logic-lm++: Multi-step refinement for symbolic formulations, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.03644","last_updated":"2025-09-03T18:50:18Z","snapshot_observed_at":"2026-08-11T18:38:43.104230Z","submitted_at":"2025-09-03T18:50:18Z","title":"Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T10:50:28.239036Z"},"links":{"cited_paper":"/paper/2407.02514","citing_paper":"/paper/2509.03644"},"observation_digest":"sha256:2f404a4da3540313851af87fa25eac23da1df66e804d15cd60b2cfb9d1e7a158","observation_id":"79e5d8af-93bf-4910-a726-2cab5ff51a45","resolution":{"observed_at":"2026-08-05T10:50:28.239036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02514","last_updated":"2024-08-06T06:39:02Z","snapshot_observed_at":"2026-08-12T23:37:00.767793Z","submitted_at":"2024-06-22T12:50:41Z","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","version":3},"cited_work":{"arxiv_id":"2407.02514","doi":"10.48550/arxiv.2407.02514","metadata_source":"arxiv_reference","pith_arxiv_id":"2407.02514","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , timestamp =","venue":"arXiv (Cornell University)","work_id":"a8e90fbe-d1ac-4548-ae67-4c6ae6707a19","year":2024},"citing_paper":{"arxiv_id":"2605.04941","last_updated":"2026-05-06T14:10:06Z","snapshot_observed_at":"2026-08-11T12:52:59.996734Z","submitted_at":"2026-05-06T14:10:06Z","title":"UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-08T16:29:41.527699Z"},"links":{"cited_paper":"/paper/2407.02514","citing_paper":"/paper/2605.04941"},"observation_digest":"sha256:4e830c64ac9f1c90346a97ba04af25aca2943633acdd2dccda05219c7a4ebe07","observation_id":"67412cb3-7336-49d6-9f9d-47bfcabb6dc5","resolution":{"observed_at":"2026-05-08T20:14:08.845268Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02514","last_updated":"2024-08-06T06:39:02Z","snapshot_observed_at":"2026-08-12T23:37:00.767793Z","submitted_at":"2024-06-22T12:50:41Z","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","version":3},"cited_work":{"arxiv_id":"2407.02514","doi":"10.48550/arxiv.2407.02514","metadata_source":"arxiv_reference","pith_arxiv_id":"2407.02514","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , timestamp =","venue":"arXiv (Cornell University)","work_id":"a8e90fbe-d1ac-4548-ae67-4c6ae6707a19","year":2024},"citing_paper":{"arxiv_id":"2606.02837","last_updated":"2026-06-01T20:00:35Z","snapshot_observed_at":"2026-08-14T07:19:16.591559Z","submitted_at":"2026-06-01T20:00:35Z","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-06-28T14:29:43.379840Z"},"links":{"cited_paper":"/paper/2407.02514","citing_paper":"/paper/2606.02837"},"observation_digest":"sha256:8095655a21f5b9f6d3a665132b48c2cba424b11f40264cf787f0cc3a97b3b33e","observation_id":"e01349e2-d32a-419e-a56d-293025bf8f1f","resolution":{"observed_at":"2026-06-28T14:32:17.796722Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2407.02514/citation-record","integrity":"/paper/2407.02514/integrity","json":"/paper/2407.02514/citation-record.json","paper":"/paper/2407.02514"},"outbound":[],"paper":{"arxiv_id":"2407.02514","last_updated":"2024-08-06T06:39:02Z","latest_version":3,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T23:37:00.767793Z","submitted_at":"2024-06-22T12:50:41Z","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations"},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2407.02514."}