{"as_of":"2026-08-16T01:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6ac6b3330fb2bc427c097ada0a32000ebc7539fafb97d5c2f038e55ab5687281","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T16:46:13.786347Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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-08-02T04:46:48.931761Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","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":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"cited_work":{"arxiv_id":"2501.12906","doi":"10.48550/arxiv.2501.12906","metadata_source":"pith","pith_arxiv_id":"2501.12906","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","venue":"cs.LO","work_id":"4cc051a0-2443-4d18-9421-a38a23d8371c","year":2025},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-09T17:52:18.959412Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.931761Z"},"links":{"cited_paper":"/paper/2501.12906","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:be0c48d3c9471334cee9efc84b3da2e9355929f489600c9aab109e11e1f407d9","observation_id":"cd9f6d36-4d73-48d7-b6cb-955c203c7d00","resolution":{"observed_at":"2026-08-02T04:48:26.530863Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.12906/citation-record","integrity":"/paper/2501.12906/integrity","json":"/paper/2501.12906/citation-record.json","paper":"/paper/2501.12906"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.121716Z","title":"Beame, J","venue":null,"work_id":"e5073e77-9dba-4992-8be5-fab4727f8404","year":2013},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.671069Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:85f20e542e6051ff644376d8c8a2b64706674b80bc398329945c1197bfca73ef","observation_id":"7466fbc3-1c3c-41ff-8b1d-fcab9ea01db4","resolution":{"observed_at":"2026-08-10T16:46:14.124575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.113881Z","title":null,"venue":null,"work_id":"ee4895a8-7e93-414b-9a24-a84e9c93e10d","year":1980},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.675316Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:56f20fa5eebde55481eaf2ee484cc2d9c55d009e96983f49ee0afe62388d4cf3","observation_id":"31f0dfd7-409f-4fae-a621-af85b2ecc589","resolution":{"observed_at":"2026-08-10T16:46:14.116643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.106022Z","title":null,"venue":null,"work_id":"e07e8142-49a6-4117-a492-44560d5211fd","year":2023},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.678568Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:7f1b72aaa5eeb28683d3ed05738b7a78b1716852946bcf123c4f816e97f237f0","observation_id":"9dae89f4-8247-448a-a035-7e86376dab2f","resolution":{"observed_at":"2026-08-10T16:46:14.108970Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.098994Z","title":null,"venue":null,"work_id":"94f39eb6-a5d6-42f0-b422-d264410a86ac","year":2019},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.681564Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:bd2ac0b93b70ecca10d6170dc701c72bd51a7d27886fd6e613e2e856dfbb5b91","observation_id":"b30c3abd-a528-46d1-934f-b1d9af04e86e","resolution":{"observed_at":"2026-08-10T16:46:14.101396Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.092287Z","title":"Capelli, J.-M","venue":null,"work_id":"bd672726-5fb3-41f0-bcf5-e349a2bb1e77","year":2021},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.684696Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:6234df9eaac944f1b94f89671633af9dd3b0bc7e97bd2529e7b45a314904a0d0","observation_id":"14a21858-779b-421b-ad56-aa66a9379330","resolution":{"observed_at":"2026-08-10T16:46:14.094565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.085321Z","title":"Cruz-Filipe, M","venue":null,"work_id":"41a792aa-a8f9-4eae-a879-cdd62010117b","year":2017},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.688078Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:134d023b91e5d90c812dd6a8959965274870cb357c014859f48da53ab1c4e841","observation_id":"fbdd79ee-b6a5-4319-adfd-5c1aac4a34b6","resolution":{"observed_at":"2026-08-10T16:46:14.087870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.078403Z","title":"Darwiche","venue":null,"work_id":"a4eaff61-7802-479b-a0bc-60d59141d03d","year":2001},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.691372Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:3d418bae7b7edacf37af3330e38610d0646a5338ac254147d41ca7b4204d283b","observation_id":"29ecf5ca-7f1f-4816-8d29-84681650daca","resolution":{"observed_at":"2026-08-10T16:46:14.081159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.070804Z","title":"Darwiche","venue":null,"work_id":"d9338cbf-e666-4c8b-b1b1-f0de7d6efc7c","year":2002},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.694100Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:8cb80050f57653840aab7884a0bc94edc1f107ec18c933a487fbb621374a1207","observation_id":"4a917904-1d72-4a7e-b6e2-334228aa4efc","resolution":{"observed_at":"2026-08-10T16:46:14.073551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.062831Z","title":"Darwiche","venue":null,"work_id":"d4af21d4-eeca-4212-956b-38cc6cfe5afd","year":2011},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.697137Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:5c6975a01bb7e229aa7463721eaced667b8995623b9278a3a8d1a9a209193c77","observation_id":"a5ccc120-47ff-48b8-9e97-15d62dd58e46","resolution":{"observed_at":"2026-08-10T16:46:14.065689Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.054963Z","title":"Darwiche and P","venue":null,"work_id":"fd282e1e-d1a3-44c3-9959-11f7d6a6f61f","year":2002},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.700033Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:417d9a2cadf4014f9861c79a6bc045a13089c7327baaf70772c9b8f550e2e478","observation_id":"7f068727-07c9-4b8e-a584-63ac04d83bcd","resolution":{"observed_at":"2026-08-10T16:46:14.057905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.047092Z","title":"de Moura and S","venue":null,"work_id":"1b35df64-0be4-4fcf-a49e-771053db8bf7","year":2021},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.702860Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:d4ea1a9aa5ca167008dce91fddf78e72e0dac81fec55a60cefaaa43361a909ab","observation_id":"45c9c404-8a8d-4811-8ace-4ff8d45556d0","resolution":{"observed_at":"2026-08-10T16:46:14.049940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.039035Z","title":null,"venue":null,"work_id":"553a7014-0afd-4d84-ab52-414b4ab03225","year":2022},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.705693Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:40234c2312fe96ba8436ab6d16204ed550c97897f8fbcf1abde33c4831e954da","observation_id":"a748aae2-d9da-40cc-91cc-e9152d5e112d","resolution":{"observed_at":"2026-08-10T16:46:14.041860Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.031185Z","title":null,"venue":null,"work_id":"db9e9216-e9f4-453b-80f8-1b366df15e5b","year":2003},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.708998Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:b75007dbe748dbcd3981dd93ca03ec8d29377669cc9df0d927c733b8b959914b","observation_id":"bd003187-2a88-4811-a059-4786ccaecf37","resolution":{"observed_at":"2026-08-10T16:46:14.034031Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.023080Z","title":null,"venue":null,"work_id":"ef12475d-7669-4bf6-9d4b-fadece941c13","year":2017},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.712499Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:b013370d7d439b990d49c08d6c1349f86e587171d71b69a11ae6a57fa3e404cf","observation_id":"300558ff-9e40-4865-a95c-85ad358951d0","resolution":{"observed_at":"2026-08-10T16:46:14.026193Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.015394Z","title":null,"venue":null,"work_id":"5b7d13e2-bcc9-43cf-ae44-da4e83f7f914","year":2013},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.715735Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:a7023f176558b7115ab6c67b211e92c329a72352e0c9273f2bccaf5fa2934ec2","observation_id":"0b42f41a-899d-4ca0-afbd-cbdd63cecc56","resolution":{"observed_at":"2026-08-10T16:46:14.018222Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:14.007429Z","title":null,"venue":null,"work_id":"53b2fa2c-9d92-455a-8160-ecdd5172569a","year":2013},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.718882Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:f798b1070d5ced233b8851bcf1986f79519e7ad2b607bb458bd4c6dfaafd8c51","observation_id":"8142453f-75fa-4a86-bbcd-aa2c3cd7f05d","resolution":{"observed_at":"2026-08-10T16:46:14.010370Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.999407Z","title":null,"venue":null,"work_id":"54ce748d-20d5-411c-a8fd-a6a1de683778","year":2014},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.722340Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:f2d55fe0451d3f55fc06a0d80416239e52888f71578995b973e2b55eafe59cc3","observation_id":"f2cf7c42-6bbb-404f-8f1a-dedb8d1d7c5f","resolution":{"observed_at":"2026-08-10T16:46:14.002252Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.991557Z","title":"Huang and A","venue":null,"work_id":"ac7fb6a6-438d-4826-9d75-5a277de08592","year":2007},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.725543Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:4279e2d4fcdd1a7b575184632e6a059981d2529ba59cb06fdf04388532e9348b","observation_id":"ae9589b8-8c17-4f3a-beae-05cc20c62fef","resolution":{"observed_at":"2026-08-10T16:46:13.994361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.983846Z","title":"J¨ arvisalo, M","venue":null,"work_id":"a2c819c1-b2a4-436c-b7a9-ba23d419a9d3","year":2012},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.728558Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:fb4bca508fc02a05633293c11c641f7305da40f091423c4108ab0ab9bec83f33","observation_id":"c9a73e42-6c6b-4d9a-a301-7c595ecd8467","resolution":{"observed_at":"2026-08-10T16:46:13.986699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.976813Z","title":"Kimmig, G","venue":null,"work_id":"96fbc559-eb25-42e8-87d6-904413c5a97d","year":2017},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.731577Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:9d203f1a73487a6098a6903158ed981e8ff1d405410c394b482b42dd12dc1da3","observation_id":"68385cdf-a65e-4afd-a012-c816cb752d87","resolution":{"observed_at":"2026-08-10T16:46:13.979280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.969521Z","title":"Lagniez and P","venue":null,"work_id":"f4e54f43-19a0-4f18-9e52-2ac097328b3c","year":2017},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.734581Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:8a8b5f5b4f82a5f2d81153bf744c3192c36211d90ff23d756da693a33301b7a1","observation_id":"99a0957a-df2b-43f9-9709-a425b7013410","resolution":{"observed_at":"2026-08-10T16:46:13.971982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.961491Z","title":"Lagniez and P","venue":null,"work_id":"533a14ab-fe77-443b-a473-8467d5834b86","year":2021},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.737880Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:190a31c64f99ddc79824cdb9b3cf25da7d7b9a032ebfcfa587bf56ae8983503d","observation_id":"93d8a5ee-6b84-4ed5-a09e-ee8330816cf0","resolution":{"observed_at":"2026-08-10T16:46:13.964368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.952868Z","title":null,"venue":null,"work_id":"53357ed9-ec3f-4d56-8dc0-278c3ff624e5","year":2020},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.740738Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:b712cdb2e8920be4a3f8ee02a6f8e2179cca1c308f939573e14259ff7ce00629","observation_id":"e8bc9e12-903e-4f1f-8d60-f772b679c290","resolution":{"observed_at":"2026-08-10T16:46:13.955886Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.944141Z","title":"Limperg and A","venue":null,"work_id":"a1ccd04b-ec4b-4e68-8d54-b228fc29e0f3","year":2023},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.743681Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:2453b7cef2280db294aac05a4c98f8bf30332a995dfad4ef6f631cffab53238c","observation_id":"3d847250-bda3-47fd-979f-c8d2cd6d6614","resolution":{"observed_at":"2026-08-10T16:46:13.947243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.935264Z","title":"Monet and D","venue":null,"work_id":"be582b3e-9cdd-48ab-87dc-252b33178891","year":2018},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.746645Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:9d0afe5e04d9ae5ff1e64d000c7d4c22876ba657694a655b06aca7bbf3623b60","observation_id":"a376efcd-ccde-431d-93d6-26b1eb85ddce","resolution":{"observed_at":"2026-08-10T16:46:13.938162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.927065Z","title":"Muise, S","venue":null,"work_id":"fefa8d42-e8cb-4f75-afb4-a10df144fc71","year":2012},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.749671Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:814b54586e61e009dacdc0965010046300e6ce1cfc98ba0d58e7576889fd1cb4","observation_id":"fe9e710c-fcd4-4494-9f11-ba525026a4db","resolution":{"observed_at":"2026-08-10T16:46:13.930119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.919098Z","title":"Nipkow, L","venue":null,"work_id":"1f5a433f-35e3-4eeb-a309-b071d710e7d7","year":2002},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.752770Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:3b7c69b81d4443ce536b21c424ee94465fe74f5ad7c8e35d59b2e03556e8b7ba","observation_id":"a0192821-89e3-4d29-afa3-68c6254cf129","resolution":{"observed_at":"2026-08-10T16:46:13.922051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.910817Z","title":"Pollitt, M","venue":null,"work_id":"617e34ad-26b4-4bc7-83be-3f6eea2f91d5","year":2023},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.755899Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:b9fee633aaa87264d2c646da74c9c5a5adc4152d86c850188bba3478167b5c4c","observation_id":"1bea2b6e-6487-4c37-9089-f1322850606e","resolution":{"observed_at":"2026-08-10T16:46:13.913805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.902022Z","title":null,"venue":null,"work_id":"92f7a0ff-861f-4928-81ef-d998025a22bf","year":1965},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.758876Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:3a428356eb19a3b1c57d41e355d45912df7205457da39905242cef134db8751e","observation_id":"c8848526-6e83-4543-bdd7-02a2df90a0a4","resolution":{"observed_at":"2026-08-10T16:46:13.905250Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.892577Z","title":null,"venue":null,"work_id":"d3ad7b72-a701-4051-887e-cce09bf65ec5","year":2019},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.762017Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:25f5c1d186cdae9d4a5e63b40012e399a4e9cf25fb9f44262d0c848adf71cec3","observation_id":"45d07d33-0b83-4852-87bc-90d42e0de337","resolution":{"observed_at":"2026-08-10T16:46:13.896321Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.883917Z","title":null,"venue":null,"work_id":"dd8aa359-3ecc-4395-b5ac-91e09d5f3c96","year":2021},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.764674Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:2c02065faf10a166f42e3d599611f55e785cfc37cd29146435755ac171c01978","observation_id":"25cb56ee-bbdc-4fec-80c3-5edcfa23ce60","resolution":{"observed_at":"2026-08-10T16:46:13.887025Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.875064Z","title":"The Coq proof assistant, 2024","venue":null,"work_id":"3a7e3b98-d56a-4f76-8f3e-8d65e668041c","year":2024},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.767666Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:940bd1a2d6ac688890856a93c75421323ce28193215c91a1229d9fd90ade5a0c","observation_id":"47f39842-c883-40c2-9dee-5fc6aa236dae","resolution":{"observed_at":"2026-08-10T16:46:13.878229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.864979Z","title":null,"venue":null,"work_id":"c3090be1-ba00-428a-a317-b7a120f6e448","year":1967},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.770692Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:29d9c2bb3d176b13d0a78b9f569fd5330c102f8f3708e9c9457659ec32f17dd0","observation_id":"8781961f-da5e-4830-bb8b-871ccf7fc4f8","resolution":{"observed_at":"2026-08-10T16:46:13.868217Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.854916Z","title":"Ullrich and L","venue":null,"work_id":"47f3b4a8-1d8b-4891-81c2-e2bb3c7a98ad","year":2019},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.773555Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:98a20875b48a6624cd1e9a3e63c5d97578209bee36c76eeb53a9bbd4791ac053","observation_id":"69a958fc-eebf-491a-be57-cfaeaf566618","resolution":{"observed_at":"2026-08-10T16:46:13.857590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.845394Z","title":null,"venue":null,"work_id":"e74dcefb-7fe7-4f95-8576-7408ed04513f","year":1979},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.776692Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:a103dbf10d4bf3bc12175e05867435ed28d2ae37788be4f13fb5ccdbcec9ff10","observation_id":"6796c52b-2436-464e-abd4-46950961400f","resolution":{"observed_at":"2026-08-10T16:46:13.848454Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.834497Z","title":"Van Gelder","venue":null,"work_id":"acdd1d0a-aba5-495d-bebd-efa84ffded6a","year":2008},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.779927Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:efafba41b4354571a14a860de3915d4e45e2db9c2ca28c2c711f45b3054f0e41","observation_id":"a1eaf860-3673-4f3c-bfba-4c00bcc65fd7","resolution":{"observed_at":"2026-08-10T16:46:13.837999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.823995Z","title":null,"venue":null,"work_id":"a0818b8d-f614-420e-a9db-cee2e9e37fde","year":2014},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.783056Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:a020e35f6d8198cc69c82a0a933480e93fe4b8381e0271833665758574326bc3","observation_id":"e0376f75-b38e-452d-b77d-23e02b1b6770","resolution":{"observed_at":"2026-08-10T16:46:13.827343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:46:13.812056Z","title":"Zhang and S","venue":null,"work_id":"76c18641-f9c9-4f0b-b0c2-dd69ca7a9f4f","year":2003},"citing_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T16:46:13.786347Z"},"links":{"citing_paper":"/paper/2501.12906"},"observation_digest":"sha256:232f642724099fb30bb498743b98d69cb3fcc54c02c1721312eca7dfeb638296","observation_id":"51a84e48-7736-4420-abce-11aac8c3072f","resolution":{"observed_at":"2026-08-10T16:46:13.816421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T06:57:42.189524Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":22},"total_outbound_references":38},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 1 inbound Pith citation observation for arXiv:2501.12906."}