{"as_of":"2026-08-16T11:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2baad003b4ea71b76f6325740e93e4cde600de016b347eb277ea427482672c81","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T23:46:56.508455Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"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/2412.20114/citation-record","integrity":"/paper/2412.20114/integrity","json":"/paper/2412.20114/citation-record.json","paper":"/paper/2412.20114"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:55.841542Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.841542Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:ef29335c5c276082bd3624999b2b420c8f189be6b2b8d6232a04ac4f73aec045","observation_id":"ea4f01f3-8f89-4f29-ac2e-73c712de8d50","resolution":{"observed_at":"2026-08-10T23:46:55.841542Z","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-10T23:46:55.859202Z","title":"Low-Depth Arithmetic Circuit Lower Bounds: Bypassing Set-Multilinearization","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.859202Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:bb880f04b9fd2258cc3147cc79f6fddcc324d7ba5011a30a51bc6ca6f8e59ad4","observation_id":"74edb1a3-b9e0-466f-b92e-6c86332ef358","resolution":{"observed_at":"2026-08-10T23:46:55.859202Z","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-10T23:46:59.909337Z","title":"The complexity of the pigeonhole principle","venue":null,"work_id":"90b98485-2e7e-4660-a005-4aa86646d7a6","year":1988},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.875255Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:5eb2ab8c98058363d3c9c59430f98e4c7a82f8f899e330ac33fe212b873cdf6b","observation_id":"d323baca-1ba2-4e8d-929d-ea0ab0c1d505","resolution":{"observed_at":"2026-08-10T23:46:59.923698Z","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":"10.4230/lipics.ccc.2021","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:57.472816Z","title":"A Lower Bound for Polynomial Calculus with Extension Rule","venue":null,"work_id":"a7bcba08-8de2-4a1b-a3df-9ba7ea49ecba","year":2021},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.884511Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:172fd881722cbd3e6bd56fc999d2c681aeff0e341b1d59d699ac1041e8c909cc","observation_id":"a64d0fac-6ecf-4e51-a150-3fe263e4c840","resolution":{"observed_at":"2026-08-10T23:46:57.480087Z","resolver_source":"doi","status":"verified_exact"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:55.896689Z","title":"Lower bounds on H ilbert's N ullstellensatz and propositional proofs","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.896689Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:30bdcb62c19eae58f280285c105c93b57ad8cdbe13077b7e0e4965317834b918","observation_id":"f2fc603b-f8fd-4b0f-b37c-96930d1b4b7d","resolution":{"observed_at":"2026-08-10T23:46:55.896689Z","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-10T23:46:55.908878Z","title":"Buss, Russell Impagliazzo, Jan Kraj \\' c ek, Pavel Pudl \\' a k, Alexander A","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.908878Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:b4756db41bd0ec632e3c6f1e993336f02cb5ce50f3d732cb4fe1902b67dc1a46","observation_id":"4929b561-b9d1-4485-a33a-e615a50a898a","resolution":{"observed_at":"2026-08-10T23:46:55.908878Z","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.2307/2275569","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:57.385413Z","title":"Lower bounds for cutting planes proofs with small coefficients","venue":null,"work_id":"519eb87f-d28c-4e8d-be47-09bb76e3af2d","year":1997},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.922696Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:086a1a44b521a3c157de2337277342680fa095bcd38425c54dbc7ee1702222f6","observation_id":"b29464bb-9975-4b8d-a1f3-3c1c98055fe8","resolution":{"observed_at":"2026-08-10T23:46:57.396324Z","resolver_source":"doi","status":"verified_exact"},"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":"1996.1590","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:59.055465Z","title":"Campbell and I.P","venue":null,"work_id":"69a1e90a-2e9f-4fa5-b4e8-12846a22b045","year":1997},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.930526Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:6652d434fb4ce2e23af082e2a8d670f7f12c3a6edc0bb6aa668ca01109fc4bbd","observation_id":"b522cf37-8d6d-4207-b192-dae1d61fe4ff","resolution":{"observed_at":"2026-08-10T23:46:59.076816Z","resolver_source":"raw_fallback","status":"verified_exact"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:55.938422Z","title":"Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.938422Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:f620582e7be8e13aefd8671dec244233aa05cc5c71058540e017a34e216aa70d","observation_id":"3f8f2c1e-816a-4e02-9b4f-8f63c7863713","resolution":{"observed_at":"2026-08-10T23:46:55.938422Z","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-10T23:46:55.962604Z","title":"Computational Invariant Theory , volume 130 of Encyclopaedia of Mathematical Sciences","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.962604Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:f46e577353a981f63406b0ed5f7ae6e0369c2b2834e1ba0100484a67e8a124bb","observation_id":"dda18bc0-f0e6-4ba5-bd42-0622d4a61788","resolution":{"observed_at":"2026-08-10T23:46:55.962604Z","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-10T23:46:59.868051Z","title":"New lower bounds for polynomial calculus over non-boolean bases","venue":null,"work_id":"e9395e68-aabc-4d13-b5b4-75629074e8cd","year":2023},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:55.991168Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:d472e9a3e692fc4d1acf58194b3b52688c442dc533d3a4a80c3cc39cc8606c6f","observation_id":"4bb6e91e-133e-4e13-ae45-a9184afe6866","resolution":{"observed_at":"2026-08-10T23:46:59.877736Z","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":"2737.35327","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:58.887093Z","title":"de Rezende, Mika G \\\" o \\\" o s, and Robert Robere","venue":null,"work_id":"2c5f0130-8bdf-40c6-b8b0-89cd853f1677","year":2022},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.002739Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:79e556305f33d43652635e73c696810d35dd0d0c6e2f32c72af4e777d8ddd92f","observation_id":"5488ebf2-3a71-4d79-82b3-e5d5c735d099","resolution":{"observed_at":"2026-08-10T23:46:58.912865Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":"10.4230/lipics.ccc.2016","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:57.267653Z","title":"Forbes, Mrinal Kumar, and Ramprasad Saptharishi","venue":null,"work_id":"df4389c1-cc68-43f9-9d46-30b960d1923b","year":2016},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.014559Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:6d3ba2e27370cae0c25e79fde637c82cd76a570ed85db6071b61d8a5ce3b7487","observation_id":"29cb15f9-812d-48d9-a174-ca4b5c934e34","resolution":{"observed_at":"2026-08-10T23:46:57.276580Z","resolver_source":"doi","status":"verified_exact"},"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-10T23:46:59.823216Z","title":null,"venue":null,"work_id":"3bb0f9e3-867a-4354-82fe-4b1f6059c122","year":2014},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.026349Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:d10942db6ce4d66a7bd39c07034e007a3dbb66f7b04fe73c06253b79e981ee33","observation_id":"32ac67f2-6edb-4e8b-8608-c1b225980151","resolution":{"observed_at":"2026-08-10T23:46:59.843478Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.037366Z","title":"Forbes and Amir Shpilka","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.037366Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:4b81373ac8f7a820d2b8e5010a4ac534769bf213a83283b7e54e9aa276b5df27","observation_id":"041765a2-9ff8-441e-bce8-df8f14cb1c57","resolution":{"observed_at":"2026-08-10T23:46:56.037366Z","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-10T23:46:59.775227Z","title":"Forbes, Amir Shpilka, Iddo Tzameret, and Avi Wigderson","venue":null,"work_id":"ccfd0c44-206f-4a4b-a86e-70b1b8ff2ece","year":2021},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.063089Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:197cea5638ee2b22711043d949e8eda69975ad489c0cdff4696f95acb60362f2","observation_id":"19b49770-529f-4cc0-9faf-92fd977fbfac","resolution":{"observed_at":"2026-08-10T23:46:59.783819Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.073585Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.073585Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:c784668274e49664b478ce4003389b89161773c14b8ee23912c478b1894971c1","observation_id":"ca2d3e18-4fe2-47b5-a806-50c131a9a15d","resolution":{"observed_at":"2026-08-10T23:46:56.073585Z","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-10T23:46:56.090173Z","title":"Simple hard instances for low-depth algebraic proofs","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.090173Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:bc0aef4587a6fe3f0fd43b6afbb6c317b8ecdcd64e08f379e1f6fedab114a258","observation_id":"f6e4ab05-a74b-4cf1-982c-98eef99b64f9","resolution":{"observed_at":"2026-08-10T23:46:56.090173Z","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-10T23:46:56.102095Z","title":"Learning sums of powers of low-degree polynomials in the non-degenerate case","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.102095Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:b96e4aa9a2fc758955c024933edd72546851cf0bbb4d459c491605d98d726bbc","observation_id":"3adca9f8-3bde-47a6-940e-d231503a9eb3","resolution":{"observed_at":"2026-08-10T23:46:56.102095Z","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-10T23:46:56.112833Z","title":"Grochow and Toniann Pitassi","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.112833Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:6757f7e517f779d7d7fe269d0f349e5799585fbf774bbbfe7d9720325e01a6d3","observation_id":"4ef5f815-21f3-4585-902a-ac55911fc8a1","resolution":{"observed_at":"2026-08-10T23:46:56.112833Z","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-10T23:46:56.124812Z","title":"T seitin's tautologies and lower bounds for N ullstellensatz proofs","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.124812Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:9d54adde139577f6287c7a90ccf947a6cfd3d3b00d4d7273d39468e94bda5e49","observation_id":"759aa04a-3392-4fef-a145-bf9e01cfd56d","resolution":{"observed_at":"2026-08-10T23:46:56.124812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.02184","last_updated":"2023-06-03T19:42:33Z","snapshot_observed_at":"2026-08-13T11:25:05.714211Z","submitted_at":"2023-06-03T19:42:33Z","title":"Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system","version":1},"cited_work":{"arxiv_id":"2306.02184","doi":"10.48550/arxiv.2306.02184","metadata_source":"pith","pith_arxiv_id":"2306.02184","snapshot_observed_at":"2026-08-11T00:16:15.729268Z","title":"Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system","venue":"cs.CC","work_id":"376fb36f-a3dd-4b02-80d0-21e83d34f6b8","year":2023},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.141194Z"},"links":{"cited_paper":"/paper/2306.02184","citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:95693f496d8ac9af04614293135ec6c5751bf21557839bb5d281253cd68544c4","observation_id":"555dec88-47e2-40c9-bfed-e2b687941e6d","resolution":{"observed_at":"2026-08-10T23:46:57.132983Z","resolver_source":"local_arxiv","status":"verified_exact"},"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":"10.4230/lipics.ccc.2023","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:57.047989Z","title":"Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields","venue":null,"work_id":"156b229c-3b1b-4309-ada9-74cb8e7e6819","year":2023},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.153865Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:8340d2106b4dcb8461a36cbfc94b93da63647e20f7ecdf70ef2f63ac39412f37","observation_id":"54bcc7a6-afaf-4d61-876e-3af4b3ed4618","resolution":{"observed_at":"2026-08-10T23:46:57.066913Z","resolver_source":"doi","status":"verified_exact"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.167695Z","title":"Lower bounds for the polynomial calculus and the G r \\\" o bner basis algorithm","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.167695Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:07177b0ea9abc0b21bd8a3f80b9af7bab1da4cb292686f5b4544059dfc93be3b","observation_id":"c5f0795b-435e-46b2-816e-f2af2b100982","resolution":{"observed_at":"2026-08-10T23:46:56.167695Z","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-10T23:46:59.737982Z","title":"IPS -like proof systems based on binary decision diagrams","venue":null,"work_id":"6efb490f-5c74-47be-beb9-bc5a95b1d8ff","year":2017},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.181049Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:6f0c3bc8a83fa947170ddfcbb4eb15107088f7ac652d4dba562da8930b2e5025","observation_id":"ef097369-4182-4d36-90de-cf952a1de5b6","resolution":{"observed_at":"2026-08-10T23:46:59.746460Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.191763Z","title":"An exponential lower bound to the size of bounded depth F rege proofs of the pigeonhole principle","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.191763Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:760a4db733ba52bb40fdb6a4816f6463ca2c1282040873ad138a6534956f93dc","observation_id":"3bd9c53e-59a2-455c-84cc-446a8c341893","resolution":{"observed_at":"2026-08-10T23:46:56.191763Z","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-10T23:46:56.201186Z","title":"Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.201186Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:37e2527a249a97dc5465f9bf6f783838ebd0eaca27ad69ea67d7528523384469","observation_id":"b324e27d-c934-4563-be36-a057413ccb4c","resolution":{"observed_at":"2026-08-10T23:46:56.201186Z","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-10T23:46:56.223888Z","title":"Superpolynomial lower bounds against low-depth algebraic circuits","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.223888Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:0b4d4f08da9a6b468c46b0d57f1a24debee6d91f84da23a649fdc56debb51de7","observation_id":"92ffd9ac-56ee-4bc2-87a7-618740dbff0c","resolution":{"observed_at":"2026-08-10T23:46:56.223888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.8746","last_updated":"2015-09-11T17:23:44Z","snapshot_observed_at":"2026-08-14T23:05:41.996686Z","submitted_at":"2014-12-30T19:48:55Z","title":"Characterizing Propositional Proofs as Non-Commutative Formulas","version":4},"cited_work":{"arxiv_id":"1412.8746","doi":null,"metadata_source":"pith","pith_arxiv_id":"1412.8746","snapshot_observed_at":"2026-08-10T23:46:58.224453Z","title":"Characterizing Propositional Proofs as Non-Commutative Formulas","venue":"cs.CC","work_id":"8dc7b896-a33b-4a39-9bb7-f0e6946ce9ed","year":2014},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.247256Z"},"links":{"cited_paper":"/paper/1412.8746","citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:9b12e6bbb0db85d51df3a550dc9bde222ca79ded8e2884299298be231c937bfd","observation_id":"0d7f41c9-b975-4524-8323-f710e1f8913f","resolution":{"observed_at":"2026-08-10T23:46:58.239169Z","resolver_source":"local_arxiv","status":"verified_exact"},"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":"3418.10346","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:58.135404Z","title":"Lower bounds for non-commutative computation","venue":null,"work_id":"eaf01828-2eb8-4a23-aea4-98a4e4886b6b","year":1991},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.253766Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:e3d28b2f1786d157ad6c9bf4c99f8fb1a199ce3470cc2a77bf4b896fc8fb5347","observation_id":"aca84814-36d3-430f-abed-135130b52b2b","resolution":{"observed_at":"2026-08-10T23:46:58.153872Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.265224Z","title":"Exponential lower bounds for the pigeonhole principle","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.265224Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:ec76ce73d3bb5d21978d64328846335864076d035c3eb23e31cd79d5f75a009b","observation_id":"bee496ff-b39c-4e73-a09c-cb3454461988","resolution":{"observed_at":"2026-08-10T23:46:56.265224Z","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-10T23:46:56.275969Z","title":"Algebraic propositional proof systems","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.275969Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:5758d942fd7e88846d4451aa4377838d0306d7dc8f41a19f8028ca1310cc1e56","observation_id":"868b93ad-663d-47fa-8a6e-964cc08747be","resolution":{"observed_at":"2026-08-10T23:46:56.275969Z","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-10T23:46:56.285881Z","title":"Unsolvable systems of equations and proof complexity","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.285881Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:7ea3d5a38ee37dc4a2bfc8d106ac660090e4d1d518b8e0b003a388e6ffe8c77d","observation_id":"f382d5c0-e563-40d2-bdf8-9bcde66d20b0","resolution":{"observed_at":"2026-08-10T23:46:56.285881Z","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-10T23:46:59.694189Z","title":"Algebraic proof complexity: Progress, frontiers and challenges","venue":null,"work_id":"e7fb1528-8238-404d-bc80-9a4b8368aaa8","year":2016},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.294015Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:ee2bbdcf30bbd0d5f2d92cb6ba42be3ca0e1f5481078a8c396cb7127bc3c29b6","observation_id":"769393a7-65f9-4528-addf-1051d9f7a4c6","resolution":{"observed_at":"2026-08-10T23:46:59.709621Z","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-10T23:46:59.636481Z","title":"Razborov","venue":null,"work_id":"0e9a56f2-e1b5-4fe8-9e20-dc1a557bc772","year":1998},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.310657Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:12bc0dbe9b545b02500f97d5ff838299270bb2f605b7a87cb206e1d90ac0c140","observation_id":"2bf44e71-0537-423d-8b8d-08b72938cd50","resolution":{"observed_at":"2026-08-10T23:46:59.651614Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.325811Z","title":"Separation of multilinear circuit and formula size","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.325811Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:3be860957c6d3011debb09c178b6b18b5486b62182a18cf7ad7d0df16f8f4aad","observation_id":"d90d67e1-7286-4331-bc37-f92bf8e1e8c4","resolution":{"observed_at":"2026-08-10T23:46:56.325811Z","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-10T23:46:56.339460Z","title":"Multi-linear formulas for permanent and determinant are of super-polynomial size","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.339460Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:a3e3fb6ab261f8ab4da76c5b02c005bc567b8047b089646e4589020a3bb0f5a5","observation_id":"47e09466-756b-48ad-b3f1-f3c46a1dd738","resolution":{"observed_at":"2026-08-10T23:46:56.339460Z","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-10T23:46:56.355432Z","title":"On vector invariants over finite fields","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.355432Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:ed2d88dc6384b397562cc9f4b8d0b6d8da713fd4f502950fd9d38f17bebc8f29","observation_id":"98c99dae-4b86-4e5b-8303-f7d1d4a406b0","resolution":{"observed_at":"2026-08-10T23:46:56.355432Z","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-10T23:46:56.367894Z","title":"Resolution over linear equations and multilinear proofs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.367894Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:e2e007ff4cc6686979e48d14c992bcd9d5e5a18a9ae4a8f99adaf2f88f5427e3","observation_id":"b9d8d451-d8b5-41dd-ba30-936b6e894440","resolution":{"observed_at":"2026-08-10T23:46:56.367894Z","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-10T23:46:56.377393Z","title":"The strength of multilinear proofs","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.377393Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:e4473828854fd11c05a196ed5959017af3c8a407dbe15f0a5d52c1e4b975113d","observation_id":"8c6863fc-606f-4eeb-841b-af46b02e2a4e","resolution":{"observed_at":"2026-08-10T23:46:56.377393Z","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-10T23:46:56.390738Z","title":"Balancing syntactically multilinear arithmetic circuits","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.390738Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:7aa9a9c972536257836d36fa4f96d7fa4220beaf0e1586fb7f825ee7ce1a0c52","observation_id":"affb362e-7719-4e20-8e8e-4ed55920bafe","resolution":{"observed_at":"2026-08-10T23:46:56.390738Z","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-10T23:46:56.407233Z","title":"Lower bounds and separations for constant depth multilinear circuits","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.407233Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:fe3b5a70cc7b66182ed6ff74ad5d607a0fa7ee231d1550ce716eaf6f138c56e9","observation_id":"642f7a0a-8760-410f-909b-2b7a51673ee1","resolution":{"observed_at":"2026-08-10T23:46:56.407233Z","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-10T23:46:59.577916Z","title":"Personal communication to Forbes-Shpilka ForbesShpilka13b","venue":null,"work_id":"a8c7156f-f1fd-4f38-aa5e-dd523a5d1022","year":2012},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.427570Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:1760f5b689f5525802a09d95dc060c6ae9a52cf78f868f3811b622959b2a81cd","observation_id":"92fb0924-535e-4181-a699-74b268aceff8","resolution":{"observed_at":"2026-08-10T23:46:59.598054Z","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-10T23:46:59.514491Z","title":"A survey of lower bounds in arithmetic circuit complexity, 2016-2022","venue":null,"work_id":"d64bc06f-00a2-4031-a56d-d09e449a1b7e","year":2016},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.445856Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:7b98f2410d9ca2645fbd42a8b22e8f507618df7f2d618c3e8c1be5584ffb9146","observation_id":"7633de80-32f6-45ea-b7c1-f739316df965","resolution":{"observed_at":"2026-08-10T23:46:59.533536Z","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":"10.1007/978-3-540-70575-8_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Diagonal circuit identity testing and lower bounds","venue":"Lecture notes in computer science","work_id":"3ea10691-500e-4b04-99be-a022af38fc52","year":2008},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.455695Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:f67d8110c2d6fa16f4c5fff68bd44dea56d944ff454db0783545bcc9d67e277e","observation_id":"2f5e5fbc-4097-4718-9562-c87e15e302d9","resolution":{"observed_at":"2026-08-10T23:46:56.655666Z","resolver_source":"doi","status":"verified_exact"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.464437Z","title":"(semi)algebraic proofs over \\( \\) 1 variables","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.464437Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:8e296da061fa1f3433c148fd6fa17c52e235497989e0b96e47ba620ddb86fa66","observation_id":"afc292b6-762f-47b6-9d9b-e7309c30115b","resolution":{"observed_at":"2026-08-10T23:46:56.464437Z","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-10T23:46:56.473543Z","title":"Iterated lower bound formulas: a diagonalization-based approach to proof complexity","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.473543Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:b60005bb407c5481ebedbe4a6aefa9df54e82d3e0c9b69a226f2f7f5c2807ee2","observation_id":"53dfb2a3-2459-4175-970c-69ffa305afb9","resolution":{"observed_at":"2026-08-10T23:46:56.473543Z","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-10T23:46:59.461279Z","title":"Depth-3 arithmetic circuits over fields of characteristic zero","venue":null,"work_id":"b9c64cee-153e-49cd-b345-28b2237f40dc","year":2001},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.484419Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:4a002eb597d092902d3cc05c3eab093d9b9a1c834419b408b998dd40b10c9f49","observation_id":"62ca6a2a-4319-4b03-ad21-b3696ba5ceb4","resolution":{"observed_at":"2026-08-10T23:46:59.474904Z","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-10T23:46:59.418392Z","title":"Arithmetic circuits: A survey of recent results and open questions","venue":null,"work_id":"748727e2-1f27-40d4-a336-daeb1609f5df","year":2010},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.500045Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:fdf580def30cc01750328071b45aba1ea4e6cf854b76eb0582ef911f2836ea96","observation_id":"d395dcde-e926-4aef-b947-669dd2bf4dca","resolution":{"observed_at":"2026-08-10T23:46:59.427557Z","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":"10.1016/j.ic.2011.07.004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T23:46:56.575822Z","title":"Algebraic proofs over noncommutative formulas","venue":null,"work_id":"38f9e0da-4708-473f-8819-fc974faf617e","year":2011},"citing_paper":{"arxiv_id":"2412.20114","last_updated":"2024-12-28T10:50:53Z","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-10T23:46:56.508455Z"},"links":{"citing_paper":"/paper/2412.20114"},"observation_digest":"sha256:13b71923a95b885ec539e0ad18d4d478adad4fd9a228cd47c36959ec55fc52d6","observation_id":"831b45a0-6b55-42a9-8d35-d0994bc24c77","resolution":{"observed_at":"2026-08-10T23:46:56.595252Z","resolver_source":"doi","status":"verified_exact"},"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":"2412.20114","last_updated":"2024-12-28T10:50:53Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-16T04:17:21.434266Z","submitted_at":"2024-12-28T10:50:53Z","title":"Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":29,"verified_exact":9,"verified_fuzzy":10},"total_outbound_references":50},"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 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2412.20114."}