{"as_of":"2026-08-16T09:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9933e7fe56b25cac22cefd63e94f961f121b0b047400d3ef6bc77d173097065a","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-16T06:30:59.297886+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-13T14:43:46.071670Z","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:79ed0ba5b992f4aa76b4069565f8231891e7a94e58cade4971867c445ee85720","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:b1a662fcec5ea71da434297d3a25fc79dc374a3445ca044337cd7b8f67aec874","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:7e2152982f0688b9b02b643a32bb68399efd6a399db6bd0ef6bd4723a384c3f4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:d2aed35ebafdfec71b45c3c7867ed2ce74f14ab00440aee0c09eff8ce8745864","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:557a2f7ff28121b3b034caa7c277f04e7f043c77c5699f99e3c40e5f13d002b0","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:78c78f8477322eb8d84fdba631c92e975f74711cc5cece2eb3f3c19c77506cb2","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:208341340809f48dddcf197ce6db1a3f4fdd18ff68e9eed95b180062e12d765d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-13T14:43:46.071670Z","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:b27631b1a6d1dc0161facdd49f4e64dcc3998d85fa9c8fa64367c28bb1134d19","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-13T14:43:46.071670Z","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:22ac583ab3b819a70f7f8ec31f24b542c1fe507eaf0f541a810044cb652def85","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:d45ff6265cb8749a256c19ad3be5d85ea65e3481ef63fafd6a47d826154c1961","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:f6126ae20f2d05dfac3fb681876b7954456dc7b71436d1e71647068a0607618c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:7059360d41a0e1dbcbe84f3a2b710a73cb0318a83dd42790459f60694a5096e7","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:1ff8b58d2999c49a6596b2eb80fda7e91a8a084b1bf4e141890b8abb77f0381d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:495cae5856f59ac2ab03185ac3d1e67c569c78ff4f07b7cb346796e6d7047928","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:55bd3bafb7c12d83782735f8f24c207582199b9d78e1d3cf768745a0bf2fa3cc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:ca43575337b984f7a916c002d9a883799c25d0c3cbb11a0153d94ed1db7d5b06","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:85170d8b32b213b4780b5bacf8ffed7ff82f2766230694fe6fdb8d68bf169cab","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:2d10f79ea989ee1abc3a6afc5f9168b63df933217e879ec376f37020e356a355","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:66a912d52d56cf60c80a7d6916bd995998808b7bcf92a4ff146a2eac9fbd7cd3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:8b1017a7bd72d37adfd9ae7d2d752009589b7bfc19145070daf4cb3f877a8b43","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:0f4079d1f4bbb41ac6ef4b84eab42534419e0ca6e91198d68a32403491d0067c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:e9d5d5e5d5a1f78fd9d2fbdce417f941340b82115c7d23b6f967bdb129f69f4d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:bf5fa701db9f62c7cfbf7f9bf2d932224a640882018f5bcdf0675f7e23171c23","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:8bbc9ac4a9c2fba0bc6cbde907893e2548f0a74af9f5334df1da337c96263f5c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:41eba5bfd96def15fd779c070b1a94a454c71ce9fd47a2eb3bc8c49b52de4e27","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:6b6ec7d1d2f04fa04b90698ccd4b3d825e6a8d4978567f25d569446feb745d00","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:cd28b324add37ad31cfa372d2066c91cc447a3d5eec11bc44288de1dd5c84f56","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:5406323d76d3af83388c92a4e2625ef49b05bdead5bc5f48797497a11d8da393","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:68f5ac24c947bb1302875dc4cad2706a9121467ff781b4b3fa6b6b4e82dab1b3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:b59296796829f5c6ab48bf352e8697c937de05beb99bbfa1c7adb8cba8211edc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:6b3a741d76b96df12d6e8c3e069ba9823a95e369d35020c5d01fdc2b334e239d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:2eba29fa319f918ba309d562cecd9057085327753ecb3e63db871fc1b5e838f4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:b2788d58040016e1d796d3d81f496c7ef955ad37f213633206436fee9d1cdf33","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:c0194d7de0742991da5bd00dd919668370bda4183c4d39698f70e3e2a0d3e5d8","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:a23924e395f4816efb1a130f763cd1162c82712f793f306834d80ffaa66960b7","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:f83e6d371e0910995e24b03ac145f2bba50631ac8e36dfd7208d9b8c9e4b1f49","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:2d968941b02341125e345340e67a5bd5981de0230aa8e2855e113b5443ef5e29","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:ea8964e579885eb14e7e13afbf957195d39acb1d074ece5ecaaf233141735b49","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:b60ea17f0ff278247fcadbe60a7516c5652a1530c0ddefba1818fb1f285b4c45","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:2866a36b601d3131828efea82e1094e95dc5ab5dec1b1f0d6f9a441cb6db7356","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:4c6d865803f3eb17d4002b523d93c1b0f809ac9c598e2d102f73407821dd357c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:762c9f7d4e5b6c00e65a3cfdfbac64d197a785aaafbb016861e3d026d5038f73","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:17a0099e73965419a9e42783a8d5314fc887dabc3068b5646d7a2c04764cecfe","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:56057f69c53927607bdcf96c780e88a9d3bbc8ac9b96082539aabd29febd445c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:88d0ff196967f494184d59ffd10779b9e859b2706e767c190ead834588803139","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:803c41f484902f543190476320271808f4bdb6846eafee6a3b3fcf934a1ff349","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:d5c609fe4e9845764c17c8cbb9198c695d50a5ce5baa2039d9fb9375ee5224e9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:59144fc9abaa460be03dbf3b2fc0ccb6ccbc9d66263988a870789d7f698d6b6d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:ae86b26db1c547b23dd1009e713a0d1569f6511857129dd4aa3e06249cfe1f5a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:f0b3e6393f0949ca9b9ac16fc12058600396d45b9273b8404254ee8f2e803e2e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:7ed2524391fce7f79c7b789177c8343194aef9b0c2489be9dfdaf17c7881ee65","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:b6c5aab61d7baaec802187a4021d9bee5ba124ed4553288fe9cdd12b8e4ab590","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:2693eb5f14d35502b1fad7d5abb124983c02829fdf2fff5297044fe079c7e6e1","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:708a638ea7eb8de03ae508c769e43995d431f2d7e851a3cfdbccc37fee615a27","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:e0942559e419262ce2aa7c352a2ccf66151f1ddab0e5f39b129d0dc4d2fb7a62","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:26ce03122a0fdad00299e0d1269969c86cb3263411a91359074d710b5e90ef0a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:9ca0e41af25dd8b25cc43fcef17c7b0fe303947a9e2219bfcf56d19db87c4a44","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:18e5238ea3159341b1056064354fa718428a4d9fe068c351d7c8d33ecaa52d95","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:991b54f10ca63b96cd57a34e10f17005ae2fa7694300a74ff40f204156ffee3a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:5c6cd13aa0fba7b2098a852b2cd557da8be79af7644ba5cab65acd12267505b4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-13T14:43:46.071670Z","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:25727513051a5bc090dd8621365d22ec31985d5a9372a7b498e58cedb87e46a6","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14267","last_updated":"2024-11-21T16:25:10Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-13T14:43:46.071670Z","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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2411.14267."}