{"as_of":"2026-08-16T07:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1a6a3b4c696d0c3053a9da64597a03da101f3d5dc79aafbd49107673aa68f5ea","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-16T06:30:59.297886+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:a7f3b6dc21dca79197e0ebdf1b36a57d1d8500c04580665ae11461270a7791fd","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:ad6f4b5141cc3234be66774bdce2b96a1680029dfe81fe8073f188de3fd93965","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:63285e244dc5f0fba919636c099365fa5f1366b10f5f57ebcc3f4a56e38205f9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8da4209c46bea0030810cbd33bf1bbbf84a5cde787446289c4c3576d6c6a7a2d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:a474be6525d754f0b4008e453c30e45ac6e76302f53fac802a1378f30b6d9cba","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:205dc4a7da8aac1be8cca1f8eb705d51e4c05e42c7e939f07b1a05b18f764c63","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8f0035f92f0d2fab31b061148b2caba10dee2155e721a2ccb515e1e7d376af8b","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8bb6b2e985cf9a93b32720efa73c0ca5750b1ede3946ca30e30179f2d9f9af7b","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:b86b3efe25be10c3f9f1140ca95ea11b8f7c08f9871e7dd1389eaf3d93a1dcc6","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:04f60eda4b4debe75891f18930202acb6d8520bcd9c2ceb9ceb5fa519e13c22e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:0a730b115750430ba4c4e1d275d99f8dae5d2a3a69033ab11b774871d7a75406","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:ca3d8d56a45c9a45a9581935c2499cf0d822fca8ea3e93b50ff29d8c0e47cfb8","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:cb1b261b9396dab9d98974a6d8068d3b410928e218de98a5595c2d1905d108f9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:d18b40f021a45cc55e59cddf21fa1d698c55e9b56dacb90d97cdbcd87caec5ff","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8dd28ad9efb59bb56ccd776d4fa635e0d485c1d3cbbef8c47ad5353661be5418","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:0ea25bc32790f9bfff84b9bfa62405619ea279c4bdce4b60d3a0af19bc81a457","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:cd7115aafdfe02f7982dc887bba94ba0a1a4fa0e2bd46c9a90f9f087dead8aa5","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8b0686b91e11fc6ff67c696b5c9e36b90904b38864170051ff56e1545c566ae3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:72e29d41074186aa0753f171ee73db8ddcd79107ae9fbc5f8f0fe4079e10cf3c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:307033863f943e15cfd9f8700d10f853dfae8d47306f9a86a789f0e74e1c512c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:c075cf336baeae46bc66d6d7cb7efd10a3d53f6dead7af2cdddb20b8faf05f36","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:42b5777af3afd223a63789b7197d62d1f0a168f4ac3b116206d573cc0bdfc198","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:4d3b84e64bb903700406258d5d01d18bc8352dda8f065f1bf97537e489285044","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:9236695e76b780c81eb0dd19eee490e3bad74a2435b0108e7b379cf07a59ce11","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:a380a3054f8ba480d24cd415b125cef57ea162cce16c568fec43a148885b7370","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:55deafc3d2e1a52a31523f5875f4346af130c684315dbb5f19b036769bda38d9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:d3b5a86ae8cf8f11a0195667e9911312398299243d18652995a0b15b61015f44","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:2c965150a06b2258eb89213eef0fe8699422b97e8664033ce9e9a0b8ec791f64","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:71ffdb05748ce13842051666f0b3b0c5b6d19c3ff453ec6fbdbc58e248ea4e94","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:daad51122cfddf56d77e6d72963bc99d81e2997e62f83bfb9417afda6e74c92f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:4350fbfb64fbabe8b01678035f31b87a69b8193df5a54a0532d4cb013284e1fd","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:7a8e1bbf952132b87aa538951c327b46da647c7531a0e5191a8bd6cf0a28647d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:4e237a1ea7308398211d029dc34dc8f171e3cf31a97b204a694ab24d472c5541","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:856052f722baf8d99f957ebe4e9f4257d760c04e01b5214468145085e5d86615","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:1942d825947fdcfc7165244a8c4c5e39286a3fedb93056e062c089af9e35b074","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:79a897537adbe9219939fbbadf5969a41e1d71fa6f1f0b6744ddf6d369a378f6","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:d747dc51a19c460874a844fddb8e5334ab14069fce20a721c1cc8c7301fba8ad","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:e8b436f0d45bce88ff95f302021cace8550afe4a690c412bbbb548e3c0cccc2e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:fd0a9a1fac02f82aee12da8391d9edf666bb3b6ab6858dbea7d88babc0175552","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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."}