{"as_of":"2026-08-11T21:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d328f7af557bf8960dad7e809f93943b95bc77afea51f1b66997621ad76f56e6","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T11:49:42.072477Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2412.14933/citation-record","integrity":"/paper/2412.14933/integrity","json":"/paper/2412.14933/citation-record.json","paper":"/paper/2412.14933"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T11:49:41.972486Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:41.972486Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:42f57f3c0b9c7ac105f4c584cdacf593a0c99dd39eef560adf27d147396c1b4a","observation_id":"e2a24ca3-2c04-4aef-b9be-336f673eb068","resolution":{"observed_at":"2026-08-11T11:49:41.972486Z","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-11T11:49:41.978524Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:41.978524Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:91d26659575b90e185e112b877e37a823e6ae698d9cd64c9906c135528641357","observation_id":"72f46bd3-b625-4773-8e03-f10b4fe73b77","resolution":{"observed_at":"2026-08-11T11:49:41.978524Z","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-11T11:49:42.372825Z","title":null,"venue":null,"work_id":"37faa050-1408-418d-8a8e-2fcf6a94b57e","year":2011},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:41.983185Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:d24f194cf7f63cb67c64c59055279637e30a574f52da0ae9b551cfb16305bf43","observation_id":"bddc0b3d-d77b-42db-bddf-b358544c1c5d","resolution":{"observed_at":"2026-08-11T11:49:42.377916Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.356812Z","title":null,"venue":null,"work_id":"3d6f15f3-02c0-4491-a278-4a79ea3e240a","year":2021},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:41.987410Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:87815e732b5e59013b170963ed83fa1fec3e84fbd0ad012c3ad25266f65d3eff","observation_id":"88ac6e9e-920a-422e-904f-e0c7f44d3585","resolution":{"observed_at":"2026-08-11T11:49:42.361855Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.337716Z","title":"K.; and Mishchenko, A","venue":null,"work_id":"6d0cb886-6d07-4134-925e-4b0173a363dc","year":2010},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:41.992816Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:66a743eea051c17ecfd2bce7ff079b7b2561cfc1fb68e3e863127c9fbb91ace5","observation_id":"399e7932-d09f-47d2-ab0c-71591929a74c","resolution":{"observed_at":"2026-08-11T11:49:42.346942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.323013Z","title":"S.; and Yaroslavtsev, G","venue":null,"work_id":"60650253-e132-40dc-b108-b2609d5bf14e","year":2010},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:41.997309Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:603da3bc1668ec81ae5312be3ac9ff8909ae7dc6782a8237c21cf63bbf062911","observation_id":"94da916b-b75a-447e-9506-a4011ff83b3c","resolution":{"observed_at":"2026-08-11T11:49:42.328056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.308630Z","title":"G.; Golovnev, A.; Hirsch, E","venue":null,"work_id":"1f0f63f4-82a7-4476-b44a-94ab3cdd7c11","year":2016},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.001638Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:ccabafa94dfb1783d1a2584b30cd5cca244a399a5c92254e071dde5de127b877","observation_id":"c4eca1bc-b99a-489c-956a-f432c87a03b6","resolution":{"observed_at":"2026-08-11T11:49:42.313979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.293886Z","title":"G.; Golovnev, A.; Hirsch, E","venue":null,"work_id":"5e60e8b1-9785-46f0-a313-403f9ec53e75","year":2023},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.005638Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:5706924b1d1314f520e0ea67acb4c8dd4e40d54fb104cf879955dd00119acacb","observation_id":"ad185887-f2a6-4896-a4fa-089ec8a64da7","resolution":{"observed_at":"2026-08-11T11:49:42.298380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.280129Z","title":null,"venue":null,"work_id":"e45dfcca-d01c-497f-a7f3-3955e55588ea","year":2017},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.011043Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:674888cac3ace9076db363489a844e942f9b0b98157f4df439fdd6a0fcf3d379","observation_id":"1094299d-bcf9-45de-8fc9-10c2ddf3615d","resolution":{"observed_at":"2026-08-11T11:49:42.284496Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.263181Z","title":null,"venue":null,"work_id":"914b3884-a525-4eef-9454-096d1de46e3c","year":2018},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.015976Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:0a4927485c7356956818fc4b0c116df4eda5de33b452f683dc8dd75325f95c27","observation_id":"15c17131-8e9f-4fca-9d99-5f812ce22bbb","resolution":{"observed_at":"2026-08-11T11:49:42.269371Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.249802Z","title":"A.; and Ofman, Y","venue":null,"work_id":"89b1af6e-88c0-4942-aef5-68bef70ae376","year":1963},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.020238Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:029ec109d53a2d401a9ef7c29e5f78015725a76a88795a83d36be9b052927f6c","observation_id":"1479c192-e550-440c-802d-87da974578eb","resolution":{"observed_at":"2026-08-11T11:49:42.254065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.233826Z","title":"S.; and Yaroslavtsev, G","venue":null,"work_id":"4d561f08-5722-4164-925f-7754665b01aa","year":2009},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.025302Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:06e343651f90d7cfce5728a31e7fa759ebe9399faa4cfae65e53fb4510e0405a","observation_id":"badc0280-ac60-46dd-a4ad-3f9a21116d95","resolution":{"observed_at":"2026-08-11T11:49:42.239515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.219044Z","title":"S.; Pechenev, D.; and Slezkin, N","venue":null,"work_id":"fa783d89-ddaa-4290-bc41-133a43b8ec8a","year":2022},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.029577Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:fc26fd1d3d2198abd32575fcc60e5cccfe8cea81d16ae1815fa123976df5b713","observation_id":"4ea19bed-9cd3-41b4-98ab-d9e15b359fb6","resolution":{"observed_at":"2026-08-11T11:49:42.223631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.204242Z","title":null,"venue":null,"work_id":"c5c93860-1045-4bf9-aff1-372a3e7aee25","year":2022},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.033802Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:4c7f01dcd715d3f874b2342108e3e2b200328ea043621cd5601018c607b78f9f","observation_id":"ad427f0d-ad5c-4fa9-9c3c-bbb83c334895","resolution":{"observed_at":"2026-08-11T11:49:42.209723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.186756Z","title":null,"venue":null,"work_id":"a37e4672-e196-4994-8d5c-99b00162ad01","year":2023},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.038642Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:bc337bb429376c72235c17c28d4ba9533f72a23eb0fc4474a6a9843f60a4703e","observation_id":"43aa9964-a114-415e-84b7-323ee34c78ee","resolution":{"observed_at":"2026-08-11T11:49:42.192061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.172050Z","title":null,"venue":null,"work_id":"8775ee28-05d2-4cd7-8371-ac7d7886328a","year":2022},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.051109Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:998dde9d25b9b2d14b669ecedf7e4666d1ba5b5c029b59cca8911e5beed52649","observation_id":"fea8a6a5-0de1-464c-9841-8ade6a86cd2c","resolution":{"observed_at":"2026-08-11T11:49:42.176687Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.158140Z","title":null,"venue":null,"work_id":"0d5ac46e-268c-48d0-85b3-7c8397cc897e","year":1971},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.056309Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:6254876d896d1c354baf4b8648572869c1f639e6dc9412c3d11ea2e580cd3f5e","observation_id":"aa4fde77-7dae-45c5-abd2-509846fbee46","resolution":{"observed_at":"2026-08-11T11:49:42.162816Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.05121","last_updated":"2022-06-03T09:33:52Z","snapshot_observed_at":"2026-08-06T23:04:31.677224Z","submitted_at":"2018-05-14T11:34:47Z","title":"The EPFL Logic Synthesis Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.05121","snapshot_observed_at":"2026-08-11T11:49:42.061774Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.061774Z"},"links":{"cited_paper":"/paper/1805.05121","citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:df82119c2e0d8870ec49c23b8b18a1923d73925b8c1fddb967d3bb14576d22e0","observation_id":"1dcfad23-857f-4ea6-b1d1-7021c85c5ae4","resolution":{"observed_at":"2026-08-11T11:49:42.061774Z","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-11T11:49:42.142879Z","title":null,"venue":null,"work_id":"c8e56757-e507-4c6e-8c20-4cbd4c008624","year":1968},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.068022Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:d3d585c19fb90cb41d4de23d2f6a5821b4d02b616d7b624800d8e01b5363dfbd","observation_id":"93bdb49f-e394-4a2a-9a6d-58717227539f","resolution":{"observed_at":"2026-08-11T11:49:42.148764Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T11:49:42.126551Z","title":"J.; and Blott, M","venue":null,"work_id":"d8b7c92f-f6ea-48e2-bb2a-112c82f398e3","year":2020},"citing_paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-11T11:49:42.072477Z"},"links":{"citing_paper":"/paper/2412.14933"},"observation_digest":"sha256:c2a25cc356a9d8e5f34b8cb89ec39b20f2aaf71705f2659ee0873fed3a79f6d1","observation_id":"8776d092-43be-4c24-8ec2-6afc4f55d358","resolution":{"observed_at":"2026-08-11T11:49:42.132816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.14933","last_updated":"2024-12-19T15:10:31Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T21:13:11.523297Z","submitted_at":"2024-12-19T15:10:31Z","title":"Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":0,"verified_fuzzy":8},"total_outbound_references":20},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2412.14933."}