{"as_of":"2026-08-15T07:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1e3c1622d39aecfe170ce35e7c0315b919625cf03ba5780df0aacba5f5506aed","coverage":[{"denominator":44,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":44,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:33:03.881826Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:18:58.406537Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.14268","snapshot_observed_at":"2026-08-14T04:18:58.406537Z","title":"Mika Göös, Gilbert Maystre, Kilian Risse, Dmitry Sokolov.https://arxiv.org/abs/2411.14268","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.09538","last_updated":"2026-08-13T16:11:12Z","snapshot_observed_at":"2026-08-15T07:14:35.594203Z","submitted_at":"2026-08-10T12:36:16Z","title":"TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:58.406537Z"},"links":{"cited_paper":"/paper/2411.14268","citing_paper":"/paper/2608.09538"},"observation_digest":"sha256:8147e5cb656e04f3bec44dddfd11f46832aec8197ae302fc35771e49c5219f20","observation_id":"980fe6c1-837d-4b80-9db7-53d2003c8b48","resolution":{"observed_at":"2026-08-14T04:18:58.406537Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2411.14268/citation-record","integrity":"/paper/2411.14268/integrity","json":"/paper/2411.14268/citation-record.json","paper":"/paper/2411.14268"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.730108Z","title":"A combinatorial characterization of resolution width","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.730108Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:55f48f072d3a79586161598a3891c0f8e08bfdb0378a9a7729ba8f260340d200","observation_id":"287342d2-85e4-4c5f-ac1d-9b58140dc021","resolution":{"observed_at":"2026-08-12T15:33:03.730108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2016.24","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.144195Z","title":"The complexity of hex and the J ordan curve theorem","venue":null,"work_id":"4f0b7d05-b9e8-424e-84f5-c2360ae7894f","year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.734700Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:692328af8f42311b8d8c0585b2e0a74777cdd551dd789e2914611773a3f8564a","observation_id":"8dce5a1b-ced6-4226-bdd9-7d68079b45b9","resolution":{"observed_at":"2026-08-12T15:33:04.147955Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/130914085","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.132819Z","title":"Time-space trade-offs in resolution: Superpolynomial lower bounds for superlinear space","venue":null,"work_id":"4ffca27c-8cb8-4da8-9f06-27f95893de9e","year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.738733Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:38633b3092d048b71fb718989b57bec25cee432ec79aa2ed0929154cfcede41e","observation_id":"af63d78c-e336-4519-bf5d-ed095e61f9c2","resolution":{"observed_at":"2026-08-12T15:33:04.136809Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/focs.2012.48","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.122306Z","title":"On the complexity of finding narrow proofs","venue":null,"work_id":"3c973276-1caa-411b-87a1-c57e3d76eae5","year":2012},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.742657Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:3c44c859de8b3b83d4e4d47baf002d1f7c816d39aeedcce7de77e038145e2c0d","observation_id":"6fa6edd6-6712-416f-a664-1aa9ecb12b95","resolution":{"observed_at":"2026-08-12T15:33:04.125830Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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":"2407.17947","doi":"10.48550/arxiv.2407.17947","metadata_source":"pith","pith_arxiv_id":"2407.17947","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism","venue":"cs.LO","work_id":"e4b1e730-2b3e-4af2-83c5-43b98f233baf","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.746425Z"},"links":{"cited_paper":"/paper/2407.17947","citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:2a3df30ff3b6335f7ae2b8d7fe5a6185f975f4e44103dcc4a34a912b1d7d4563","observation_id":"ada46bd1-fa69-4755-9e88-c49986bc4d18","resolution":{"observed_at":"2026-08-12T15:33:04.115472Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/16m1109072","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.097716Z","title":"Supercritical space-width trade-offs for resolution","venue":null,"work_id":"ad061a75-2123-4f96-ad20-f1612652c0fd","year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.751219Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:698cad4f4e29c29dc6cc5459c03e0c4195571187aaee229c2a28326d450716a6","observation_id":"829038c2-cff0-4c5d-b1e1-7cd904dd2012","resolution":{"observed_at":"2026-08-12T15:33:04.101315Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3195257","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.087278Z","title":"Near-optimal lower bounds on quantifier depth and W eisfeiler-- L eman refinement steps","venue":null,"work_id":"aa6c5904-a22f-47ed-8c16-45b90f1b29d0","year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.755157Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:4c998b4097f011158bb057841e9a3066a1653cafeb8baca97795042cde149d34","observation_id":"84b4dd1a-8201-4d80-a551-d48b37c949fc","resolution":{"observed_at":"2026-08-12T15:33:04.090931Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.758815Z","title":"Some trade-off results for polynomial calculus: extended abstract","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.758815Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:e669d45b280afb4d0ac735c9911765120fc694bbe1ba7794be958faf56e93206","observation_id":"71db5b47-3d98-4a59-8c99-c02a5a3823a5","resolution":{"observed_at":"2026-08-12T15:33:03.758815Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ccc.2006.26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.077185Z","title":"Making hard problems harder","venue":null,"work_id":"e99d135f-0971-4993-be79-cb0e38c8dd00","year":2006},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.762296Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:90ea89878ae1d25642bd6facb98db0b2a6599a63c55b0580edc42b033172f769","observation_id":"f770fc58-0470-4ffd-ae2d-1dddc0e027d2","resolution":{"observed_at":"2026-08-12T15:33:04.080673Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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:04.900706Z","title":"A simple supercritical tradeoff between size and height in resolution","venue":null,"work_id":"d5e45176-9942-4d19-8bc5-b066193c2a64","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.765693Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:b74f25d3f054b171a9bb1a94840c45cf7a4839f9131a83abdc236ec1b2e37654","observation_id":"144f4899-04d9-4507-a468-a5e0065a4a78","resolution":{"observed_at":"2026-08-12T15:33:04.904402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5827.37583","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.786466Z","title":"Short proofs are narrow---resolution made simple","venue":null,"work_id":"a94520ad-a981-4e12-a89f-9a4d2925163b","year":2001},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.769747Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:48205a3f7f2d0163c031a80cc5b11c3c7e430a89ba5dc59b63e5e8ee45bf858d","observation_id":"28f2c807-a8f2-4639-8a85-4c988306eefe","resolution":{"observed_at":"2026-08-12T15:33:04.791808Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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:04.890039Z","title":"Super-critical trade-offs in resolution over parities via lifting","venue":null,"work_id":"78d30bdf-18a4-4105-89e3-e2479b9b9ccb","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.773381Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:7edb480f7aa4132041911682b284c5b8f54cae52e1c412a2a190918ff84f7cde","observation_id":"651e54e6-dad8-4b0b-b91d-5bb87e07ab75","resolution":{"observed_at":"2026-08-12T15:33:04.893575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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:04.879678Z","title":"Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and W eisfeiler-- L eman","venue":null,"work_id":"7dc19bbd-5833-4bf2-9ad0-f99bdaac56a4","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.776895Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:740b9d05ac306e37cc50da344b0dde95d344ea37c2dbbeb602c8a3f73c7b21d7","observation_id":"4a779999-948b-4aa3-99ef-fca00c257f5a","resolution":{"observed_at":"2026-08-12T15:33:04.883771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.780230Z","title":"Lifting with simple gadgets and applications to circuit and proof complexity","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.780230Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:667ab047aab9069a710dd687a1f6aa6fb2767a909189dbb0cb1b0e4f6cfd848a","observation_id":"bab3fcd3-321f-4fc1-820c-70d05154bc80","resolution":{"observed_at":"2026-08-12T15:33:03.780230Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.784104Z","title":"How limited interaction hinders real communication (and what it means for proof and circuit complexity)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.784104Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:79069036036363df88c47e5ed90b2347a4bcf9115e046de2efad5326140f872a","observation_id":"1e70781c-b4fe-4290-b2ac-5e8ed8128e45","resolution":{"observed_at":"2026-08-12T15:33:03.784104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ccc.2021.6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.061100Z","title":"On the power and limitations of branch and cut","venue":null,"work_id":"ea1cd265-7808-4cb5-90f8-9b1ab9d9361a","year":2021},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.787415Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:81021350f153c587eac2fe1abe842ed0fee086a9c5b67ddde9f05cb078dfe2de","observation_id":"b39743d2-849b-42d4-b90c-93e66daa18df","resolution":{"observed_at":"2026-08-12T15:33:04.065133Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jcss.2020.05.007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.051148Z","title":"Unique end of potential line","venue":null,"work_id":"ff04cf63-9ac6-4c1f-989b-2d455581ba20","year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.790714Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:2879145be811a296ecc5ce9a022e74d0ff259a686e6ff2a06ff08304c540fcab","observation_id":"a120f1c0-e0d9-4a3f-9b23-b35e9ab2571a","resolution":{"observed_at":"2026-08-12T15:33:04.054453Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.itcs.2022.70","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.041587Z","title":"Extremely deep proofs","venue":null,"work_id":"ef2eede0-3d51-46da-99cf-ab234f6d64ab","year":2022},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.794187Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:dc27f5421603aaf7420b259f17d69491efbcad914c94a5c7e459d7e67304d0f6","observation_id":"01a0073b-2c3c-4c3f-a6cb-da8ba31f03ca","resolution":{"observed_at":"2026-08-12T15:33:04.045013Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6698.27685","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.669498Z","title":"A characterization of span program size and improved lower bounds for monotone span programs","venue":null,"work_id":"a2410be3-c57c-46eb-9f0b-39c3ed48e3c6","year":1998},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.797544Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:da5ed7127fdc18d112b7ba27dab81fc6b8204ba8a04654f69f7ff303e25e0561","observation_id":"60257c04-a5b5-44c2-847d-1189ebcf04e9","resolution":{"observed_at":"2026-08-12T15:33:04.674854Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.801012Z","title":"Monotone circuit lower bounds from resolution","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.801012Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:b5276887041b21a2455ad8f39ad543a549add42d5b9406fdc8fd67f97b7ee7b3","observation_id":"418b672e-6906-40d0-a458-ec137383be9a","resolution":{"observed_at":"2026-08-12T15:33:03.801012Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1137/22m1498346","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.025398Z","title":"Further collapses in TFNP","venue":null,"work_id":"521c5e73-ca27-4dac-b709-1c78de5a8582","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.804284Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:871a291ccabac036b63f6c704ea7c034d5b1e6d69ea9ded4bc9fd5968102ed4b","observation_id":"87772dba-3d75-4f5f-a1ef-e4747546b49e","resolution":{"observed_at":"2026-08-12T15:33:04.028947Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.807630Z","title":"Separations in proof complexity and TFNP","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.807630Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:5bef177b35556135f331d6a556344dd49b2bf9205d6e6b9ee34582d9e4e7afcc","observation_id":"a1ce7ec3-65d5-4197-a4d1-e78719b4e816","resolution":{"observed_at":"2026-08-12T15:33:03.807630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.810887Z","title":"The iteration number of the W eisfeiler-- L eman algorithm","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.810887Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:ced916789430e6e16bbf265dbcb5e3e78370581de6b5d829196f2c4126cd6c9c","observation_id":"55fd56f4-c9c5-4e6d-bd53-5da1b9b70fc2","resolution":{"observed_at":"2026-08-12T15:33:03.810887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.814082Z","title":"Compressing CFI graphs and lower bounds for the W eisfeiler-- L eman refinements","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.814082Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:f1561a076ee9a952b1e9c526385b106c640d45ef45dfa647c239e5aef1eed5da","observation_id":"56b92ba0-f3c5-4001-8801-664715d23590","resolution":{"observed_at":"2026-08-12T15:33:03.814082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.817423Z","title":"Hardness condensation by restriction","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.817423Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:7eae421bc423b4e1687ac456cd22092e90385ecc57e371e77ecc36a3965de504","observation_id":"f7f1ea91-f83e-4526-a56a-63cb32e5a5b7","resolution":{"observed_at":"2026-08-12T15:33:03.817423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.820551Z","title":"Communication lower bounds via critical block sensitivity","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.820551Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:5a07ea2bdf11e136bd3721846a317779bd4c6f89fc0e2eab9b36aa5dec04098f","observation_id":"3cb029bf-81a4-465c-94bf-67951a0478f1","resolution":{"observed_at":"2026-08-12T15:33:03.820551Z","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:04.869918Z","title":"Unpublished manuscript, 2024","venue":null,"work_id":"f991c535-1467-4e2a-b063-8dd59e146d8b","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.823944Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:c5dc68cbffcf901c3714bbd93952add79e41b07a2c8ac5812c214cb1b69539ea","observation_id":"66d2d0ea-c42f-471d-b9d1-c4af6eb63964","resolution":{"observed_at":"2026-08-12T15:33:04.873240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.827560Z","title":"Random formulas, monotone circuits, and interpolation","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.827560Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:e68c23a4827f75b340f5179a982375ea905d3390770e748791a3850e3cb9a100","observation_id":"cac6f373-db3d-4140-9621-1b38040b18f6","resolution":{"observed_at":"2026-08-12T15:33:03.827560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ccc.2024.13","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.997138Z","title":"Hard submatrices for non-negative rank and communication complexity","venue":null,"work_id":"f404bee7-82d8-43d3-bddc-047e1b271ac7","year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.830964Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:75ffa9fd83b9ad1243de9812c54f76d1a581001d74188a1fc269e4c2e71bf22e","observation_id":"b7dd79ee-2e2c-4679-b2cc-642084d12f7a","resolution":{"observed_at":"2026-08-12T15:33:04.000904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.834199Z","title":"Boolean Function Complexity: Advances and Frontiers , volume 27 of Algorithms and Combinatorics","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.834199Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:e5fc1e10628965e98be7d819dee1e9c39ad5166a90717f9972b01f218162362d","observation_id":"08b4376b-0231-4d28-a57f-91a2cf654baa","resolution":{"observed_at":"2026-08-12T15:33:03.834199Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.837864Z","title":"On monotone formulae with restricted depth","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.837864Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:19a25d9fea71b26a5036f668cb8ad5ad7e5b30c0ac6ef91c0d00b59997b9e67b","observation_id":"f7d066f0-15d2-4864-a605-968597c8e341","resolution":{"observed_at":"2026-08-12T15:33:03.837864Z","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":"2212.62265","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.358662Z","title":"Monotone circuits for connectivity require super-logarithmic depth","venue":null,"work_id":"b356455b-83aa-4e62-ada0-fa2d9faf2185","year":1988},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.841213Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:3eaaa5b4fe58227e8a27d4cbe12daf08dc53cf7e2a2915e3b8e08eb65a696374","observation_id":"21e57994-c14d-4688-b20c-ae3efb079588","resolution":{"observed_at":"2026-08-12T15:33:04.366733Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.845046Z","title":"Lifting with sunflowers","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.845046Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:b6eecbd1d4514592b0b96bb1b4445a0b8d9a6234c164e8cec81323276d621977","observation_id":"c7cb35cd-1552-4445-9a5c-d0540ba1f84a","resolution":{"observed_at":"2026-08-12T15:33:03.845046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jcss.2023.04.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.973121Z","title":"Space characterizations of complexity measures and size-space trade-offs in propositional proof systems","venue":null,"work_id":"15e3bf27-3030-4628-99c6-50127fb1f989","year":2023},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.848274Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:b23a3a7fe9c7106154cb5096344e51631e6506e4dabcfaee0509c3513567c9d8","observation_id":"8d877988-e20c-4cb3-b9c2-3c008a75abec","resolution":{"observed_at":"2026-08-12T15:33:03.977073Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2589349","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.962020Z","title":"Proofs as games","venue":null,"work_id":"09475550-572d-4336-bef8-2d0ec1178d71","year":2000},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.851703Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:95315701411349886ed49fb649ccc906c23ae17a29a79a15d91cdf1c81a3503c","observation_id":"db1bfc2d-8bee-4463-bcc6-d607e3a88462","resolution":{"observed_at":"2026-08-12T15:33:03.965850Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.855334Z","title":"Applications of matrix methods to the theory of lower bounds in computational complexity","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.855334Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:dccc192170fd7b88167b09be832633cc2ee53d2d51590963f2fdc9bce870c9f5","observation_id":"778befd1-b280-4da8-af97-722236feb10c","resolution":{"observed_at":"2026-08-12T15:33:03.855334Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2858790","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.945388Z","title":"A new kind of tradeoffs in propositional proof complexity","venue":null,"work_id":"efb43846-a0a6-42e4-9055-eb73ce7b96b8","year":2016},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.858742Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:2bbf67462e28f85e0d9ceb2195d48cbe066a9f59ef46f59cd5cc5d2225cca81e","observation_id":"e0283f96-25c4-416f-b2a3-1cf66d3a49df","resolution":{"observed_at":"2026-08-12T15:33:03.948961Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00037-017-0163-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.935124Z","title":"On space and depth in resolution","venue":null,"work_id":"a4b9e9a0-7cec-4791-a9b9-80183f133ca0","year":2017},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.861963Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:99b1fe140c880a64f30bead415117737c095f08bea318700ed7aa8c437dafee0","observation_id":"b2321f59-4844-471d-afca-5288cb801fee","resolution":{"observed_at":"2026-08-12T15:33:03.938731Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2016.0840","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:04.294308Z","title":"On the width of semialgebraic proofs and algorithms","venue":null,"work_id":"2306689d-9f53-4829-867c-ed4d1f8de55d","year":2017},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.865306Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:08f844a136d6b83621526a44c8fe8731635543e49ab6bd10e47f4451b9480139","observation_id":"b3ecc054-1342-4af1-868c-2a59261bb41c","resolution":{"observed_at":"2026-08-12T15:33:04.299498Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.868429Z","title":"Separation of the monotone NC hierarchy","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.868429Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:1041f493b3e8f4571b368bb1ec9b3fadd08f17dd91944753b222dea2b3558cac","observation_id":"fea28b2e-ea41-4f3c-a9f5-a74a1a4cb437","resolution":{"observed_at":"2026-08-12T15:33:03.868429Z","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:04.859163Z","title":"Unified Lower Bounds for Monotone Computation","venue":null,"work_id":"0dc2e98f-1eb7-4cf5-a447-2c351aecfb4a","year":2018},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.871907Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:2ef642c03fd715b7224c33912aa0e5d6da8e08b7d85edb319cdb7cd5b494c57e","observation_id":"f34a078e-3d2d-4874-ab43-89c06b1aacbb","resolution":{"observed_at":"2026-08-12T15:33:04.863298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ccc.2015.392","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.916139Z","title":"Correlation bounds against monotone NC ^1","venue":null,"work_id":"dada58db-6662-4e91-a466-63461f71c8ac","year":2015},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.875007Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:f0177696208fb0d7953627cf549204ecfe59fb35e9f35e054d29c505553333b9","observation_id":"d38c7b05-8189-4f50-b97b-c05a71d65eea","resolution":{"observed_at":"2026-08-12T15:33:03.921411Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.878293Z","title":"Formula size-depth tradeoffs for iterated sub-permutation matrix multiplication","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.878293Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:6bdf638b26663f479c58636ce23ab72f78aa9b75a89abd130bb47d8847c59911","observation_id":"b7b4a639-3f89-49a1-8078-4f0f6f48c36a","resolution":{"observed_at":"2026-08-12T15:33:03.878293Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:03.881826Z","title":"A switching lemma for small restrictions and lower bounds for k - DNF resolution","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T15:33:03.881826Z"},"links":{"citing_paper":"/paper/2411.14268"},"observation_digest":"sha256:162ef71a4cea87bf32532e061ca165fd9a22545a199a8ed219965eb71a9e4eae","observation_id":"053e35c7-a15d-485a-b014-45e282a15ee2","resolution":{"observed_at":"2026-08-12T15:33:03.881826Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.14268","last_updated":"2024-11-21T16:25:10Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-12T15:19:11.560982Z","submitted_at":"2024-11-21T16:25:10Z","title":"Supercritical Tradeoffs for Monotone Circuits"},"reference_resolution":{"displayed":44,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":18,"verified_exact":19,"verified_fuzzy":5},"total_outbound_references":44},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 1 inbound Pith citation observation for arXiv:2411.14268."}