{"as_of":"2026-08-01T11:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:747559086e68f42df2abeca3919637b7e2793c058c178a61c3f01e8eddc8b8e3","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":1,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":1,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-01T06:32:01.292127+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-12T03:59:35.169356Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-12T06:46:39.534390Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2007.01493","last_updated":"2020-07-03T04:21:47Z","snapshot_observed_at":"2026-07-06T09:35:01.699406Z","submitted_at":"2020-07-03T04:21:47Z","title":"On Symbolically Encoding the Behavior of Random Forests","version":1},"cited_work":{"arxiv_id":"2007.01493","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2007.01493","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On symbolically encoding the behavior of random forests","venue":null,"work_id":"6a7c6ae9-7bc3-446d-8305-3b25f883a78d","year":2007},"citing_paper":{"arxiv_id":"2605.09347","last_updated":"2026-05-10T05:57:40Z","snapshot_observed_at":"2026-07-06T23:21:26.017420Z","submitted_at":"2026-05-10T05:57:40Z","title":"Dsat: A Native SAT Solver for Discrete Logic","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-12T03:59:35.169356Z"},"links":{"cited_paper":"/paper/2007.01493","citing_paper":"/paper/2605.09347"},"observation_digest":"sha256:581087523d9c376c5249017cde67e6b012e16f67fcdfa426657e10672d0183f5","observation_id":"8c596a47-f151-4b40-a39f-7c5744871a47","resolution":{"observed_at":"2026-05-12T06:46:39.543351Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2007.01493/citation-record","integrity":"/paper/2007.01493/integrity","json":"/paper/2007.01493/citation-record.json","paper":"/paper/2007.01493"},"outbound":[],"paper":{"arxiv_id":"2007.01493","last_updated":"2020-07-03T04:21:47Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T09:35:01.699406Z","submitted_at":"2020-07-03T04:21:47Z","title":"On Symbolically Encoding the Behavior of Random Forests"},"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-01T06:32:01.292127+00:00","source":"crossref"},{"observed_at":"2026-08-01T06:31:58.492377+00:00","source":"retraction_watch"}],"thesis":"As of 1 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 1 inbound Pith citation observation for arXiv:2007.01493."}