{"as_of":"2026-08-17T15:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ba579abd75704db4111ad4add611b1e3e3690128b0e649b69d28ec61e5502040","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:11:33.815741Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.02608/citation-record","integrity":"/paper/2501.02608/integrity","json":"/paper/2501.02608/citation-record.json","paper":"/paper/2501.02608"},"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-10T22:11:34.813595Z","title":"In: Boutilier, C","venue":null,"work_id":"6775bd73-b444-42a6-99ce-d686fabd5aeb","year":2009},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.522084Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:b32432fc4edaef3313a520e4f1958ad5e9f2cbd9d08647f40edb4e02abc4c752","observation_id":"bfe55a84-51ee-451f-b158-e3b7f22f8733","resolution":{"observed_at":"2026-08-10T22:11:34.818642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1107.0044","last_updated":"2011-06-30T20:39:28Z","snapshot_observed_at":"2026-08-15T04:42:20.801420Z","submitted_at":"2011-06-30T20:39:28Z","title":"Towards Understanding and Harnessing the Potential of Clause Learning","version":1},"cited_work":{"arxiv_id":"1107.0044","doi":null,"metadata_source":"pith","pith_arxiv_id":"1107.0044","snapshot_observed_at":"2026-08-10T22:11:34.689221Z","title":"Towards Understanding and Harnessing the Potential of Clause Learning","venue":"cs.AI","work_id":"62a161e2-878b-46ad-a23d-91da05961f8d","year":2011},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.529370Z"},"links":{"cited_paper":"/paper/1107.0044","citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:9fd622e747190c4b1d20614952ce81f11296eae943cb40d9f09a8085cf27ff45","observation_id":"874fca6d-9c48-4cf4-9a71-5d4886a2fab3","resolution":{"observed_at":"2026-08-10T22:11:34.700575Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.535973Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.535973Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:45d595f28c5728dfeff1fa16448ade0443e209348a2625b1ffddea78dc21dfac","observation_id":"0b83dc5c-6f61-4e00-8c61-1478aa92a15b","resolution":{"observed_at":"2026-08-10T22:11:33.535973Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.801121Z","title":"In: Gurfinkel, A., Ganesh, V","venue":null,"work_id":"cb3700a0-9b4f-4793-853d-467e5b3f172d","year":2024},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.558291Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:dd7279d4110418193f75623e604dd257713485d751e487f51152389bd797ea96","observation_id":"890138fd-56a9-4f1e-a31a-5e5620f11c40","resolution":{"observed_at":"2026-08-10T22:11:34.806107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.568756Z","title":"In: Jhala, R., Schmidt, D.A","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.568756Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:27cb7c20b4e113a4e4552d64096be263446d31fd8de6a9a9ea1478ef647c9cbb","observation_id":"0f5120a9-de57-4b41-89f8-101605ca45b6","resolution":{"observed_at":"2026-08-10T22:11:33.568756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39611-3_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Biere, A., Nahir, A., Vos, T.E.J","venue":"Lecture notes in computer science","work_id":"72d46d7c-5748-4290-a5a8-37e96423b511","year":2012},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.579192Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:0ec5eaa3805745bf5eee9335da0d5f2ee615f1a1b7b191c0f99e63bbeb102c6b","observation_id":"b76fe6f9-6e84-43ab-988d-8c1cba07342d","resolution":{"observed_at":"2026-08-10T22:11:34.099923Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6638.87664","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.666131Z","title":null,"venue":null,"work_id":"da51e289-6202-4629-a168-f4cbca5c0876","year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.587536Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:1ef53a95078ce6b857bc210dd45e32b05d2ef4607ad738fc934442ab5e727892","observation_id":"5eb9e34d-7f1a-4701-be7b-019d4c3d6340","resolution":{"observed_at":"2026-08-10T22:11:34.674647Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.592107Z","title":"In: de Moura, L","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.592107Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:db7d17f3cd5552304eb967743c4c58a210c2071792d7da6de5771b888d7ed076","observation_id":"04bb935e-e0ca-468b-86da-31ee0e15ba13","resolution":{"observed_at":"2026-08-10T22:11:33.592107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.598998Z","title":"In: Barthe, G., Hermenegildo, M.V","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.598998Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:6a21418121e8b7ddc59f58b98e9154bdbcd6ee7313870c54b2e792b1b58369cb","observation_id":"cb14c555-d79d-4cc8-988a-cb3c654e217f","resolution":{"observed_at":"2026-08-10T22:11:33.598998Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.787572Z","title":"In: Bjesse, P., Slobodov´ a, A","venue":null,"work_id":"9b0fa8bd-f41a-4124-a108-3c88f91596f0","year":2011},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.604360Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:34e5f14c5097aa59cd3ee5795c9b1a54c44a8077122b87786b2b78bb8e0e0208","observation_id":"7e89429a-ef31-47f7-9352-41f836507a1c","resolution":{"observed_at":"2026-08-10T22:11:34.792765Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.612617Z","title":"In: Giunchiglia, E., Tacchella, A","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.612617Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:45189595515eadec900ad9d42ad386afce89f4bec26da00f3799a54af8d81cb9","observation_id":"ec1d63a4-8f60-4612-814a-082c9526ff84","resolution":{"observed_at":"2026-08-10T22:11:33.612617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12537","last_updated":"2021-01-05T18:09:22Z","snapshot_observed_at":"2026-08-14T06:48:41.157786Z","submitted_at":"2020-03-27T17:05:03Z","title":"Unpacking Information Bottlenecks: Unifying Information-Theoretic Objectives in Deep Learning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12537","snapshot_observed_at":"2026-08-10T22:11:33.621413Z","title":"In: 2003 Design, Automation and Test in Europe Conference and Exhibition","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.621413Z"},"links":{"cited_paper":"/paper/2003.12537","citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:bad66bf1724914180c07eae8a286a47268bb2e518e02d893cbd8716ba011cd64","observation_id":"c17a0b4c-3aa6-4a01-86c9-f1566166e77c","resolution":{"observed_at":"2026-08-10T22:11:33.621413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.69876","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.566567Z","title":"In: Formal Methods in Computer- Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014","venue":null,"work_id":"f9e7fa9e-02d8-42d5-9513-42f7b3f5a34d","year":2014},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.636398Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:291856d847e5c49c01b25931f0ea55148faf168c3157e92b4075f62f283a776d","observation_id":"45ccf646-caad-4e8a-b3ad-87b51f80182e","resolution":{"observed_at":"2026-08-10T22:11:34.579083Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/6679408","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.463352Z","title":"In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013","venue":null,"work_id":"66ab57d0-e388-4f70-a13e-78d2da6a2efc","year":2013},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.640671Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:f15e5b2a4f5b642345590369c82594f1215668b4063e2e7152c41817c9da157d","observation_id":"68444493-57fe-4386-9b31-4c52469b367e","resolution":{"observed_at":"2026-08-10T22:11:34.472130Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1610.06229","last_updated":"2016-10-19T21:29:08Z","snapshot_observed_at":"2026-08-14T21:34:25.764489Z","submitted_at":"2016-10-19T21:29:08Z","title":"The DRAT format and DRAT-trim checker","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1610.06229","snapshot_observed_at":"2026-08-10T22:11:33.645758Z","title":"CoRR abs/1610.06229 (2016), http://arxiv.org/abs/1610.06229","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.645758Z"},"links":{"cited_paper":"/paper/1610.06229","citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:52dcdd59cf1e9cf4be11d83c29812dad48c81b7b6290f01abb80276ffb2fb307","observation_id":"def6d43b-a9bb-49a9-90af-ad768f7e673f","resolution":{"observed_at":"2026-08-10T22:11:33.645758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.667906Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.667906Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:6574450116225a7b8141c7390812e54a81166262a6bfe59423c9c737282fa1ff","observation_id":"a6492fc2-fea9-4557-8075-ecb2031b2118","resolution":{"observed_at":"2026-08-10T22:11:33.667906Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.772517Z","title":"In: Dillig, I., Tasiran, S","venue":null,"work_id":"6275d226-418b-44f1-b5d4-886ba7d35375","year":2019},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.681791Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:2eab54a4c840018f31f53b9eb7d6929c2b2da1a898b98f094f557f6006a11b65","observation_id":"8775e132-fb0a-4650-b6a6-24b308ffb8cd","resolution":{"observed_at":"2026-08-10T22:11:34.777427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-10T22:11:34.760236Z","title":"In: Biere, A., Heule, M., van Maaren, H., Walsh, T","venue":null,"work_id":"202015a9-a6f7-4c9c-a487-a6d14e60a1e3","year":2009},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.709753Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:af417f48b55b5c899e3149595bc7296bf5d974959b2958047c0ef2b8421df5f8","observation_id":"99aaac29-f76b-4306-9ca9-080784fd824b","resolution":{"observed_at":"2026-08-10T22:11:34.763937Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.714590Z","title":"In: Jr., W.A.H., Somenzi, F","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.714590Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:3ac942c14ae56bc13f1043d44dd2432059d654292f8c369f7acaac087b51c713","observation_id":"dc0e2aa7-08bb-4c42-bce2-f933e56756e4","resolution":{"observed_at":"2026-08-10T22:11:33.714590Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.748819Z","title":"In: Proceedings of the 15th International Conference on Computer Aided Verification (CA V)","venue":null,"work_id":"dbaa05e6-6f61-4dd8-b930-cdf886e54681","year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.730892Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:6b745ae0fb9a96fe08913cb5b977ecbe161ea0a3fe2f908f330481853816c13a","observation_id":"53e14794-d96a-40e8-adce-7025f12b8f9a","resolution":{"observed_at":"2026-08-10T22:11:34.752640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-36577-x_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Garavel, H., Hatcliff, J","venue":"Lecture notes in computer science","work_id":"8ebfe7b9-4122-4913-8052-9d4a15d9b776","year":2003},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.747747Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:6e7b51f5ca0ec4f893d355bbb78b23d66cef197140734b4779b48ed9eff31bec","observation_id":"85051729-f79d-428b-9d05-1bb22c0b2d2f","resolution":{"observed_at":"2026-08-10T22:11:34.739399Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"stable/2275583","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:34.353218Z","title":"The Journal of Symbolic Logic 62(3), 981–998 (1997), http://www","venue":null,"work_id":"0b5c22cf-080d-4656-b078-f43fecee74f6","year":1997},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.764754Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:2aad6887a826d711a7d5b033da5c2a590009e54276aa74a8b04f28e5db5af58d","observation_id":"95858e76-8766-4dc3-8dca-5a410b698f9b","resolution":{"observed_at":"2026-08-10T22:11:34.363905Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.769163Z","title":"In: Pro- ceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.769163Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:e73248421a1785c00b09a2e1d23bdddf362523099a6d5b85de6baa48dda8d774","observation_id":"ddb3f9d6-6818-4b20-b347-95fae466d077","resolution":{"observed_at":"2026-08-10T22:11:33.769163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-08867-9_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.922022Z","title":"In: Biere, A., Bloem, R","venue":null,"work_id":"b9d5406f-6922-47c8-90cc-8678e3b56a81","year":2014},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.773100Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:0c190c8908a2fff90b3036930b9cd06ea257a8fba89fe1499a36df12af41a65f","observation_id":"75d892f6-f0d2-46b1-86b7-30f1d1a95b72","resolution":{"observed_at":"2026-08-10T22:11:33.929472Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-21690-4_43","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Kroening, D., Pasareanu, C.S","venue":"Lecture notes in computer science","work_id":"cfbc0f5d-8438-4bd5-8485-b9051489a423","year":2015},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.776507Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:de03f3dc10bcd33539c12dfeb907c6b129c7fd3a03542cd13567ac2623f8caf9","observation_id":"80ec8a3f-1d2d-4813-9f02-d8263bd31692","resolution":{"observed_at":"2026-08-10T22:11:33.908682Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39799-8_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Sharygina, N., Veith, H","venue":"Lecture notes in computer science","work_id":"bae812c6-0c6a-473a-91c5-2882bfbd79b8","year":2013},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.801303Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:3b05223a39cbb49a7dde2bd688601884fd839417364af2b0c0324522a904ccf8","observation_id":"9dec8e25-fa6c-4772-a5e0-039205db8ec5","resolution":{"observed_at":"2026-08-10T22:11:33.887247Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-10T22:11:34.716407Z","title":"In: Sinz, C., Egly, U","venue":null,"work_id":"11e0a192-28ee-435c-b07d-913edcf882dd","year":2014},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.807662Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:0b81a5702e0a1c49069e3224dfcd47b4a5b229683cf2e9e064e4457427bd5b21","observation_id":"9bd71d70-c9eb-48c4-be59-2e43687a5f63","resolution":{"observed_at":"2026-08-10T22:11:34.720326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.563768Z","title":"https://doi.org/10.1007/978-3-031-65627-9_7 , https: //doi.org/10.1007/978-3-031-65627-9_7","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":152,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.563768Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:564d3ea94fce3b9845a41fcc16084e076685526319ad4822b006339743a5e42f","observation_id":"25d263f2-8216-4baf-8256-866857b58deb","resolution":{"observed_at":"2026-08-10T22:11:33.563768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-25543-5_21","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"https://doi.org/10.1007/978-3-030-25543-5_21 , https: //doi.org/10.1007/978-3-030-25543-5_21","venue":"Lecture notes in computer science","work_id":"2d41ad45-bfa6-42f8-87d0-2af2ee4f717a","year":2019},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":385,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.692974Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:4e7e61ce6e922cbc02f2f13a527c6777eeaef81b75267701ad7dd85ea8afbc12","observation_id":"f59d339f-781d-4899-b7a9-0f97c2f902a6","resolution":{"observed_at":"2026-08-10T22:11:34.028244Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:11:33.815741Z","title":"https://doi.org/10.1007/978-3-319-09284-3_31 , https: //doi.org/10.1007/978-3-319-09284-3_31","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0","version":2},"reference_index":429,"source":"pdf_text","source_observed_at":"2026-08-10T22:11:33.815741Z"},"links":{"citing_paper":"/paper/2501.02608"},"observation_digest":"sha256:a9e03f09e7ed324406fb34dfa0c33e20f02e33989423b8df22dd08fda0fc8422","observation_id":"b87ea359-21eb-43d0-bc00-fcdf27fcda9d","resolution":{"observed_at":"2026-08-10T22:11:33.815741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.02608","last_updated":"2025-02-02T15:24:20Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T15:10:36.041112Z","submitted_at":"2025-01-05T17:33:39Z","title":"Revisiting DRUP-based Interpolants with CaDiCaL 2.0"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":12,"verified_exact":8,"verified_fuzzy":6},"total_outbound_references":30},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2501.02608."}