{"as_of":"2026-08-13T04:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8fe49217fef131a9dfa2cd6b806c18a52fab0665361346697f7e4eb1c74b19e3","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:33:12.634024Z","state":"measured"},{"denominator":61,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":61,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.14267/citation-record","integrity":"/paper/2411.14267/integrity","json":"/paper/2411.14267/citation-record.json","paper":"/paper/2411.14267"},"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-12T15:33:13.479779Z","title":null,"venue":null,"work_id":"41d9909a-6d64-4c7b-9e07-b11d5c3e3167","year":1987},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.378521Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:21a503a2c7cff233d95cde413473f63546169f65085e7b6fa6ca0743d13aa648","observation_id":"e9fe1bf0-b888-41e2-a915-57f42624007a","resolution":{"observed_at":"2026-08-12T15:33:13.483897Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.466901Z","title":null,"venue":null,"work_id":"6d99dc86-66fc-417d-bf8e-4bfbaaa3c809","year":1985},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.383334Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:93807c369a6cad8d5cb8d2045f1833337e7766b7a28eeece10311d0011dc95f1","observation_id":"46cd11ea-7b50-45eb-bc6c-599e29103da8","resolution":{"observed_at":"2026-08-12T15:33:13.471101Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.453492Z","title":"Graph isomorphism in quasipolynomial time [extended abstract]","venue":null,"work_id":"6bc54517-15c6-4534-907b-f772af131276","year":2016},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.387700Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:bdc48a45fb41946cafa175dc9fcf7928e8b9c7589da80aebe6e6550751a0eebf","observation_id":"976d5846-1393-45b3-9832-d5a8d99799c9","resolution":{"observed_at":"2026-08-12T15:33:13.457768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.440291Z","title":"Time-space tradeoffs in resolution: Superpolynomial lower bounds for superlinear space","venue":null,"work_id":"84c2d4c2-8c09-4097-a226-47f7bf757534","year":2016},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.392605Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:7421de9a529d3e881400a9a85063f24fa9fd0d8310c9506446596c09ae05748e","observation_id":"2c44e14f-2e2d-4688-9bec-fe32b37c8c9b","resolution":{"observed_at":"2026-08-12T15:33:13.444698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.427102Z","title":"On the complexity of finding narrow proofs","venue":null,"work_id":"867f0fa4-21f5-4f40-83d0-3f8b53e0cd6d","year":2012},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.397172Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:47a3f8b5db8a8f7ad95e3c6831ea1b18f2c47ed61bd1ed528588cda7c1899627","observation_id":"15cd9ab3-22ad-4766-b49f-ff3640f93fff","resolution":{"observed_at":"2026-08-12T15:33:13.431571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.413348Z","title":"Stabbing planes","venue":null,"work_id":"5fe5baad-fb62-445e-b3dd-9cbd8bc035fc","year":2018},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.401637Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:82e8a98dc2cc6c80b8bc68fba7824833aa77c2fc52e7c9dcb81abe01deb75f05","observation_id":"b677ef91-6850-4bff-90e6-e3dbe079c84f","resolution":{"observed_at":"2026-08-12T15:33:13.417507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.399992Z","title":"Rank bounds and integrality gaps for cutting planes procedures","venue":null,"work_id":"0c74aae1-7960-4d02-bae5-90910ef686d1","year":2006},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.406472Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:14617fdcc21f15e6e0d3df03782d333dd4372f0340590688fca86040d7ff9923","observation_id":"524ebc7b-0998-4f38-8d85-d0130e624b44","resolution":{"observed_at":"2026-08-12T15:33:13.404431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17947","last_updated":"2025-07-10T10:11:05Z","snapshot_observed_at":"2026-08-12T23:14:58.304700Z","submitted_at":"2024-07-25T11:07:28Z","title":"Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.17947","snapshot_observed_at":"2026-08-12T15:33:12.410695Z","title":"Supercritical size-width tree-like resolution trade-offs for graph isomorphism","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.410695Z"},"links":{"cited_paper":"/paper/2407.17947","citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:cb98bfa117965e79980f9aa865fedf08e993e30173add4505c972587688c2f9b","observation_id":"e86e99ea-3868-4866-8cbd-d5d0e0e32f3a","resolution":{"observed_at":"2026-08-12T15:33:12.410695Z","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-12T15:33:13.386585Z","title":"Supercritical space-width trade-offs for resolution","venue":null,"work_id":"f3fe3e4b-f644-4114-a152-3e8b9c08de6b","year":2020},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.415111Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:09c10da46f1a283dcab5f1b0576d8bf4fe381a96947294722f7bf022b216d7f1","observation_id":"c82a2611-08b8-4590-86e0-cc02b0026990","resolution":{"observed_at":"2026-08-12T15:33:13.391248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.373296Z","title":"Buss and Jakob Nordström","venue":null,"work_id":"32ea6562-a426-4be0-9666-0ce69f2e2ab9","year":2021},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.419501Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:06fd3dc2b62f5ddc4da495fc3f8ae7d3f739b8ce8b6b5a6e463fd84358e0edd9","observation_id":"15dba599-2088-4434-9003-c27822be31d2","resolution":{"observed_at":"2026-08-12T15:33:13.377758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.359881Z","title":"Near-optimal lower bounds on quantifier depth and W eisfeiler- L eman refinement steps","venue":null,"work_id":"cbfbe731-819c-4aae-abbb-97fb245ba1b8","year":2023},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.423782Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f5839246a18a110ea3fd796a07ff33fc7f31d89574d9a1aea6d110e17599181b","observation_id":"8c005e24-40cd-4e39-bbf4-1f7edd7caa99","resolution":{"observed_at":"2026-08-12T15:33:13.364280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.346423Z","title":"Some trade-off results for polynomial calculus","venue":null,"work_id":"ace4058e-89cd-4f35-806e-b307ac15d6b9","year":2013},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.429063Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:739d977bb68e99904920a9d68d39a6f2d26c3cbbd18a7cdaf3918b68587d2ae2","observation_id":"673fc5d3-cad4-46e0-8f71-e2afc0eb4fb1","resolution":{"observed_at":"2026-08-12T15:33:13.350758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.332998Z","title":"Propositional proof complexity: Past, present, and future","venue":null,"work_id":"3cd99d40-1c67-4c05-830e-d9a2d4551b93","year":1998},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.433212Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:6003db00ff697287e8c712f26f210377dcaaa833e1df6c3a598f707278638a50","observation_id":"c4a70115-9d5a-4507-9749-50a3c02b7301","resolution":{"observed_at":"2026-08-12T15:33:13.337413Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.319456Z","title":"Lower bounds for cutting planes proofs with small coefficients","venue":null,"work_id":"3310c9ff-2ab4-4f11-8f8b-e4f74e403787","year":1995},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.437403Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:12c2d2056bdb87bf38e4cfd44d274d83b5228c6e85ee977fae57d50bfe031f12","observation_id":"b2b75d69-074c-43cc-b4f4-6e7b932808d2","resolution":{"observed_at":"2026-08-12T15:33:13.323845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.305999Z","title":"A simple supercritical tradeoff between size and height in resolution","venue":null,"work_id":"cbd62457-eca3-484c-bcea-6990125e85c4","year":2024},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.441462Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:e91112124172485860a07007c200bff1baf994f4475deffa7ddc59f8f8894c63","observation_id":"2f325ba8-89bf-4377-b18a-d15f52dcc410","resolution":{"observed_at":"2026-08-12T15:33:13.310510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.292697Z","title":"Super-critical trade-offs in resolution over parities via lifting","venue":null,"work_id":"3ae5682c-40f9-405c-8a8b-6b6a29e0f3d8","year":2024},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.445520Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:e166936acfbfdb98e0ad9c882dfcfa093a5b6c664cdaa6576f9e652fc7dacce0","observation_id":"d26e2a77-b6f9-49f8-af1a-157790c684cc","resolution":{"observed_at":"2026-08-12T15:33:13.297024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.278421Z","title":"An optimal lower bound on the number of variables for graph identifications","venue":null,"work_id":"ee1b7be0-2a77-4e70-8f0d-2272a5f33126","year":1992},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.449667Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f78174005412836d25b9ae04a271cf6b1f5f10fa2a82c17bb9a202042120e83e","observation_id":"f396c7be-3fce-4396-a4d9-cde21a4697c7","resolution":{"observed_at":"2026-08-12T15:33:13.283356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.264995Z","title":"Edmonds polytopes and a hierarchy of combinatorial problems","venue":null,"work_id":"a58daf34-c2bb-48d4-ae5c-fd18027b494b","year":1973},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.453771Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:8144cfe7361080ac88659319ce8ef2d56cf341163f8af4fe29e1cd4b8b91f166","observation_id":"50b5e76d-1a1f-4f39-acde-40bca091a3c6","resolution":{"observed_at":"2026-08-12T15:33:13.269353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.251714Z","title":"On the complexity of branching proofs","venue":null,"work_id":"85279d84-fd8f-4abf-918a-4e360f3fc2d3","year":2020},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.457839Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:081e10a9b48099dc381242082079c68f4782ab0101370104f32d5f036eacb036","observation_id":"8fbd40c3-647f-4f0e-a835-6cb0b796fb7f","resolution":{"observed_at":"2026-08-12T15:33:13.256089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.237966Z","title":"Paths, trees, and flowers","venue":null,"work_id":"ad7c3784-0178-434c-9ae6-19fe1e699069","year":1965},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.462068Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:2cbd6b51786b05264245ed973ceac335ae871a9979601ae6e88c950768e8f09d","observation_id":"396abb20-c5e3-4858-953d-4a65b5395426","resolution":{"observed_at":"2026-08-12T15:33:13.242201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.224596Z","title":"On the power and limitations of branch and cut","venue":null,"work_id":"32c53b82-728a-4411-a828-850e35259b02","year":2021},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.466291Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:ca89713e68232eb6bd546a6eeadffa1eab9a0be9549ea6aa90a99d94259b7e8e","observation_id":"1ffab0f6-c71a-46ac-902f-395d331e89d9","resolution":{"observed_at":"2026-08-12T15:33:13.228751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.211025Z","title":"Thresholds versus fractional expectation-thresholds","venue":null,"work_id":"b8f5a929-72d3-405a-b66b-e304c5d8972d","year":2021},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.470566Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:696b92c5ab73a75c12d1c1db5d04fbfeaf09f954ec45b2c9e3208d1430c91f2a","observation_id":"087a4862-0410-4493-a5e2-340d116a0499","resolution":{"observed_at":"2026-08-12T15:33:13.215327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.197185Z","title":"Reflections on proof complexity and counting principles","venue":null,"work_id":"08db6117-b00a-4b28-a046-8e8f614db4f3","year":2022},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.474647Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:bf20bc97f91879230d9679a75c4f6448cc6628626482b8079be9adde4ddb9073","observation_id":"dafc2f22-cc7f-4206-90dd-8979f3068380","resolution":{"observed_at":"2026-08-12T15:33:13.201673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.183490Z","title":"Random ( n) - CNFs are hard for cutting planes","venue":null,"work_id":"434bf1bf-6e07-4f0c-82fa-3ef4a291845c","year":2022},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.478658Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:9ac527501680b82a2a5c8d367504dcad68b464ae98b5d13a53e722e997b1b110","observation_id":"83230490-a792-4deb-9974-52180f26bad6","resolution":{"observed_at":"2026-08-12T15:33:13.187853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.170115Z","title":"Extremely deep proofs","venue":null,"work_id":"fc66ef74-724f-4f0b-936b-d1e87fe597ec","year":2022},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.482693Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f691cf54eadf5114454a96673c59f32985f954ce7e71cb9003ca3900918f3e68","observation_id":"d3ffa1a1-0e25-47b3-af83-0f6d2d8e6434","resolution":{"observed_at":"2026-08-12T15:33:13.174556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.156588Z","title":"W eisfeiler- L ehman refinement requires at least a linear number of iterations","venue":null,"work_id":"715b353d-8a9d-4bf5-ac0d-bceb456d44b7","year":2001},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.486463Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:035368ad0f3c2543bb352f905a728924a3e13ac1bb8b2bf045ec8b98d1056394","observation_id":"6b01229d-3f27-412b-9ef4-9d52eca89118","resolution":{"observed_at":"2026-08-12T15:33:13.160901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.143118Z","title":"A characterization of span program size and improved lower bounds for monotone span programs","venue":null,"work_id":"cac96611-b9e1-4334-a1aa-f24b3358a5ce","year":2001},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.490586Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f75f05dc37c769fb61628cd07fe0af07613fb803137f553f5e900daf8cf30285","observation_id":"70eb7313-1ff6-41e8-a339-9cf220168829","resolution":{"observed_at":"2026-08-12T15:33:13.147390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.129878Z","title":"Monotone circuit lower bounds from resolution","venue":null,"work_id":"5b84286c-3c46-4bb7-b287-edbcead3b96e","year":2020},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.494800Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:8b73f76d4d97f1c0278c8cad12f5b376b373497f317a4bc43d90297f33ccc8c1","observation_id":"97c2f01e-9637-458c-8ed7-15994d15033a","resolution":{"observed_at":"2026-08-12T15:33:13.134172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.116614Z","title":"Rectangles are nonnegative juntas","venue":null,"work_id":"c4eafc03-1934-4daf-ae34-8faa78a84f46","year":2016},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.498970Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:4e293ec3e0b1c657cb194ee5368a1b929f89dfe5ea5adf5968ab9c90af1627ad","observation_id":"f8874281-1ca6-4cfa-bc14-b20ea195609e","resolution":{"observed_at":"2026-08-12T15:33:13.121012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.103241Z","title":"The iteration number of the W eisfeiler- L eman algorithm","venue":null,"work_id":"38059bce-a990-49de-b1cd-d8eac1568d6d","year":2023},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.503280Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:5fadcd2cebcf35b941a807e337ba95ce2dc5adb20d904343daafc08e7def7d2b","observation_id":"7abcc219-574f-4746-8929-71857fb6e30f","resolution":{"observed_at":"2026-08-12T15:33:13.107636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.089471Z","title":"Compressing CFI graphs and lower bounds for the W eisfeiler- L eman refinements","venue":null,"work_id":"fdeea403-bc61-4431-92d9-a5132f4f236c","year":2023},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.507480Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:de2f7d37f5c6eac84ebcb2c02fe71e9f031e70be41b7ded6ed8da9e1f5281899","observation_id":"1bef351d-85c8-4e47-b64a-1aeba4ade1ef","resolution":{"observed_at":"2026-08-12T15:33:13.093952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.076564Z","title":"Supercritical tradeoffs for monotone circuits","venue":null,"work_id":"0502c27f-e8ac-4651-8e5a-9133e82fbf4f","year":2024},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.511663Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:49022a8cd42f2c42032ad10de0f770109863585c637e815333d9a95f99449829","observation_id":"71928759-57a6-4cf4-872b-902bb3e4f29a","resolution":{"observed_at":"2026-08-12T15:33:13.080958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.063126Z","title":"Rank logic is dead, long live rank logic! The Journal of Symbolic Logic , 84(1):54--87, March 2019","venue":null,"work_id":"aea56bcc-62cb-40cb-a19a-086cce97ad62","year":2019},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.515845Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:2cbd82b07046dbaa8075ddc1e1a28b477eb543fefe760c240eb4938d714e4d0d","observation_id":"399f85f3-6fd9-446b-8dbc-eca19cac3bc1","resolution":{"observed_at":"2026-08-12T15:33:13.067912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.050297Z","title":"The logic of graph neural networks","venue":null,"work_id":"dc84fe66-e3ef-4c93-8568-bc86d673d973","year":2021},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.520116Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:15e437b9830c05b8ddfb58ab58159ec83c684cbd6bda02f8112c2fb9758cba2b","observation_id":"e62174f2-f09c-411a-a302-963521dc327a","resolution":{"observed_at":"2026-08-12T15:33:13.054532Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.037458Z","title":"Cops-robber games and the resolution of T seitin formulas","venue":null,"work_id":"e31d21a3-3768-40b8-9d31-df1733ae7be6","year":2020},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.524169Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:40122228558ae13366e640ee3f518d77856eb0b5afb4ab8f0b87faf10f9f3422","observation_id":"3f2e40f8-9cb6-4a1d-8440-863586b2da57","resolution":{"observed_at":"2026-08-12T15:33:13.041710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.024168Z","title":"Random formulas, monotone circuits, and interpolation","venue":null,"work_id":"b8e10f61-96b1-4d79-8c99-b58873e431f8","year":2017},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.528546Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:a59a8e497846bdda096e81e38ef7b52605e9b66523151e9e1e6dc20a7b78d05c","observation_id":"a37b1163-2fdc-4b43-9d3d-6be7c4a48f6d","resolution":{"observed_at":"2026-08-12T15:33:13.028523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:13.011008Z","title":"Describing graphs: A first-order approach to graph canonization","venue":null,"work_id":"6c536d2a-6db2-4b95-8d02-02b372fe4fd9","year":1988},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.532712Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f633dcef97b1f547dee783f40ecaefece02526db8d5d5fb13f207015f2bdad6c","observation_id":"bef643de-93fa-4eb9-8441-bcb3693f4c13","resolution":{"observed_at":"2026-08-12T15:33:13.015379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.997646Z","title":"Boolean Function Complexity - Advances and Frontiers , volume 27 of Algorithms and combinatorics","venue":null,"work_id":"90373e86-d433-48b4-81aa-f2e64436b801","year":2012},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.536985Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:9db3befe0cbbe9c08a0c29582b3693d892eedb260b2e6546c0b965d296d233bc","observation_id":"0be34d8f-aef5-4d79-a833-a5dde13d5a9d","resolution":{"observed_at":"2026-08-12T15:33:13.001976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.983994Z","title":"The W eisfeiler- L eman algorithm: an exploration of its power","venue":null,"work_id":"c32539c1-8c99-4fcf-a886-bee5bd1f6d5e","year":2020},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.541055Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:7414e78782661e13820f3328cd7ed4093387e604a1c2198f22c7a23a32b8a1e2","observation_id":"498e1317-9545-42e3-984d-65131f5d617d","resolution":{"observed_at":"2026-08-12T15:33:12.988415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.970823Z","title":"Proof Complexity , volume 170 of Encyclopedia of Mathematics and Its Applications","venue":null,"work_id":"0bb80d9f-32bf-4bfa-9440-48a4955327c4","year":2019},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.545224Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:7cc053b4cbaf4ca9defe37d0f662a5030889ec4997a755fd2d44793ebbed0be0","observation_id":"480aaa0e-84ff-476e-82d0-451394fa45dc","resolution":{"observed_at":"2026-08-12T15:33:12.975171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.957340Z","title":"Upper bounds on the quantifier depth for graph differentiation in first order logic","venue":null,"work_id":"f9af2ef2-e378-48e4-8a81-977392a179e6","year":2019},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.549486Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:1dce5a638d70bb74090b8e26ae164ab2ef4d2577aeb48d136177870db0f92ef4","observation_id":"70608a92-9bcd-4b18-bf29-71b119339aec","resolution":{"observed_at":"2026-08-12T15:33:12.961934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.944397Z","title":"Monotone circuits for connectivity require super-logarithmic depth","venue":null,"work_id":"f7d5a534-b847-4284-8cc3-4c5b926dc6dd","year":1990},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.553498Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:eaaa96e0596655046c586a4e9de1a46934c262fd249e878d9b6ddfea449fb7fc","observation_id":"4f315c30-e26f-43fe-89d7-ca0b37c2cb01","resolution":{"observed_at":"2026-08-12T15:33:12.948751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.931415Z","title":"Lifting with Sunflowers","venue":null,"work_id":"22afcd12-bc66-48bb-be7a-5562082ab8ee","year":2022},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.557562Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:b1a8141c4f187bf4f8d4ad2a0b2a860955132e9af96897b579a21e7d1dca8fc3","observation_id":"05fca9a5-f8fe-44ae-8f2b-a77ba8cb8f95","resolution":{"observed_at":"2026-08-12T15:33:12.935718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.917264Z","title":"Walk refinement, walk logic, and the iteration number of the W eisfeiler- L eman algorithm","venue":null,"work_id":"0eca291f-74a9-463d-be94-cc1d5bfe6eb3","year":2019},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.561859Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f3214a535044594c78b6e49db5cdff58eaa0301db0d654d6087adce25230ff22","observation_id":"f135f296-e6b8-4ec7-9e69-513d961d7578","resolution":{"observed_at":"2026-08-12T15:33:12.921520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.903909Z","title":"Kriege, Martin Grohe, Matthias Fey, and Karsten Borgwardt","venue":null,"work_id":"1779982a-64a3-43ec-93df-8e2d7d8d8d3e","year":2023},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.566370Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:93f332c001f4fe28d80e52c5bb664c1b987f12fed21d4d4b9aac6f3f00d1d02e","observation_id":"1d2f1d5a-abfc-44ff-bd62-73702967acda","resolution":{"observed_at":"2026-08-12T15:33:12.908271Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.890399Z","title":"Hamilton, Jan Eric Lenssen, Gaurav Rattan, and Martin Grohe","venue":null,"work_id":"f2b50c93-5b10-43c6-9336-b0bc0f4a8e2f","year":2019},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.570493Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:85a8becbe728118e049219938a11e55bcd83262ba8c500c31f5129d5f23cd153","observation_id":"653c4b75-e4a3-4b97-9484-04d2a976a00b","resolution":{"observed_at":"2026-08-12T15:33:12.894721Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.876685Z","title":"Lower bounds for resolution and cutting plane proofs and monotone computations","venue":null,"work_id":"a439b114-9a32-4823-9e5f-80d29dd7e90f","year":1997},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.574586Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:8d9c954eaf16929582b57e441542784db00f665b4a0aeee8f6991c98a070633d","observation_id":"a248c1d9-baea-4d34-90c9-29d40fc2c42f","resolution":{"observed_at":"2026-08-12T15:33:12.881259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.863216Z","title":"On extracting computations from propositional proofs (a survey)","venue":null,"work_id":"a2ef49ad-9b07-4fee-b2f5-e5f1c161dc81","year":2010},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.578684Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:d9cf16906dcb79047f148b9a4dbad07af0e2c31edb9c5b5edcc54752a9972b50","observation_id":"1c747653-2cbe-4c00-99b9-3ca7de5f664d","resolution":{"observed_at":"2026-08-12T15:33:12.867621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.849766Z","title":"Coding for sunflowers","venue":null,"work_id":"52c9b60c-73e7-43e7-808a-2eec7cb54dfd","year":2020},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.582961Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f2184ec35461b7613dd933fa08b95d5613523e4bfca3b517bb0e263512e3c3c8","observation_id":"c6e446cd-9a80-4465-bde1-7413e6928fb3","resolution":{"observed_at":"2026-08-12T15:33:12.854142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.836644Z","title":"Razborov","venue":null,"work_id":"c5be7a4e-05b7-4a58-b545-db062a078b89","year":1985},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.587105Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:a8a0e825ff98e1c33063d7a051efdcbdec148ecbe5bdcdbf419795d99884c043","observation_id":"d2453f53-111e-4112-9bd1-21cd873208d0","resolution":{"observed_at":"2026-08-12T15:33:12.840857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.823285Z","title":"Razborov","venue":null,"work_id":"feefcdc9-2bf4-458d-853a-cb89f5906d25","year":1990},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.591328Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:690bb315f5f157792a609f42d6909403cc1c7c0664977c6022661dd1bd1024d9","observation_id":"70800fc0-6c69-4a27-9fe8-b377fde76df0","resolution":{"observed_at":"2026-08-12T15:33:12.827581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.809109Z","title":"Razborov","venue":null,"work_id":"1710c4ae-9dd4-45e8-82ca-c7c6515ffc4c","year":1995},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.595652Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:65936868949dcda4b2cfe999fbe9902397e4ad61cc8d3c30b12fc7dc03d58152","observation_id":"89c11aea-542a-4e09-96c7-aad7c89cd405","resolution":{"observed_at":"2026-08-12T15:33:12.813308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.795823Z","title":"Razborov","venue":null,"work_id":"34b5e689-1d46-4cca-8d2b-563527b9da27","year":2016},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.599942Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:e2039c54614666bbd56781a6f3f07a42ebe4599a0f630255cfa5b132eebbd929","observation_id":"afe41069-e665-42e7-8f19-6ff2925aed5e","resolution":{"observed_at":"2026-08-12T15:33:12.800064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.782429Z","title":"Razborov","venue":null,"work_id":"967ad77b-4fec-4342-b110-6ba8cc82b1ba","year":2017},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.604397Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:00fce2859f881cc801155776b16bbc869e8335dce074f8dcb4a1bb66e67f259c","observation_id":"daad54bf-151e-4aa1-98e4-c90323acd4ce","resolution":{"observed_at":"2026-08-12T15:33:12.786736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.768504Z","title":"Razborov","venue":null,"work_id":"9b5ec9c2-5806-4641-a3af-e8aec5c3e348","year":2018},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.608532Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:3a482adcd9c474570ed5262d5268d78037e4fa03274978b2e904adf0c14f31c0","observation_id":"360bcb6d-3b41-4760-bdd3-12c9a384d9bb","resolution":{"observed_at":"2026-08-12T15:33:12.773004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.753565Z","title":"Monotone circuits for matching require linear depth","venue":null,"work_id":"40670f00-669f-4a7a-8e6e-d73ff45f1c34","year":1992},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.612711Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:b65820f3e67be9e265f56dfa37c963feeb7f9f22c77baddec7ed1719e406fff4","observation_id":"f060d8ef-a085-45f8-a101-985130d90827","resolution":{"observed_at":"2026-08-12T15:33:12.758771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.738607Z","title":"Dag-like communication and its applications","venue":null,"work_id":"97bc75e3-c6be-4c24-8e08-2b71512382eb","year":2017},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.617032Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:22d5432c17c072e2ba72964f6ff852d1fb287c97fe7b3e022de9d1434aefa4c4","observation_id":"00120cd8-3e4c-4505-9ed2-5e17a6baca36","resolution":{"observed_at":"2026-08-12T15:33:12.743023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.724552Z","title":"Random ( n) - CNF are hard for cutting planes (again)","venue":null,"work_id":"0506b73e-384c-4cd3-81f9-b36fa63c7c1c","year":2008},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.621400Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:f3eeb80a71dadf66eb2e0a6a869320a504452ab4d4e8f945a18c70133b136551","observation_id":"1347332e-51d6-4384-ab2d-361ea1db4ec5","resolution":{"observed_at":"2026-08-12T15:33:12.729276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.710594Z","title":"Graph searching and a min-max theorem for tree-width","venue":null,"work_id":"15f3e448-4458-4924-a22c-422ebff80268","year":1993},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.625581Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:918a57f4a741c107bee5e612ee2f70ab8f77f3365eaa99f4d14a48ece5c66cbb","observation_id":"1eba0bfe-96a7-4b6a-9c2c-ef1f91758a16","resolution":{"observed_at":"2026-08-12T15:33:12.715075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.696003Z","title":"On the complexity of derivation in propositional calculus","venue":null,"work_id":"a3fc2ce4-25a8-4cd4-bc03-c602037041eb","year":1968},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.629990Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:420c2e7b5132e79ee3a803dff3a9b2d833893dca9d2bd294716c897eb6694979","observation_id":"dad1696c-e195-4bd1-ba00-dfe1a76c56c8","resolution":{"observed_at":"2026-08-12T15:33:12.700693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:12.679988Z","title":"A reduction of a graph to a canonical form and an algebra arising during this reduction","venue":null,"work_id":"a835d563-bf1a-46bb-a5eb-02563577a598","year":1968},"citing_paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:12.634024Z"},"links":{"citing_paper":"/paper/2411.14267"},"observation_digest":"sha256:2df36b0fdb9e00d0e566cbdb453a1e262bb533e84b3b77b8c2b996ade30abaa6","observation_id":"26b37016-f6dc-46d6-b101-36f9c10852c6","resolution":{"observed_at":"2026-08-12T15:33:12.686244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-12T15:19:08.181581Z","submitted_at":"2024-11-21T16:25:10Z","title":"Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":58},"total_outbound_references":61},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2411.14267."}