Paper Citation Record · LEDGER

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2412.20114 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T23:46:56.508455Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

50 of 50 outbound references displayed

verified exact9
verified fuzzy10
unresolved29
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ea4f01f3-8f89-4f29-ac2e-73c712de8d50 · outbound

This paper cites an unresolved cited work.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:55.841542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74edb1a3-b9e0-466f-b92e-6c86332ef358 · outbound

This paper cites Low-Depth Arithmetic Circuit Lower Bounds: Bypassing Set-Multilinearization.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Low-Depth Arithmetic Circuit Lower Bounds: Bypassing Set-Multilinearization

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:55.859202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d323baca-1ba2-4e8d-929d-ea0ab0c1d505 · outbound

This paper cites The complexity of the pigeonhole principle.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers The complexity of the pigeonhole principle

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.923698Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a64d0fac-6ecf-4e51-a150-3fe263e4c840 · outbound

This paper cites A Lower Bound for Polynomial Calculus with Extension Rule.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers A Lower Bound for Polynomial Calculus with Extension Rule

Reference 5

Resolution: verified exact; doi, observed 2026-08-10T23:46:57.480087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f2fc603b-f8fd-4b0f-b37c-96930d1b4b7d · outbound

This paper cites Lower bounds on H ilbert's N ullstellensatz and propositional proofs.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Lower bounds on H ilbert's N ullstellensatz and propositional proofs

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:55.896689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4929b561-b9d1-4485-a33a-e615a50a898a · outbound

This paper cites Buss, Russell Impagliazzo, Jan Kraj \' c ek, Pavel Pudl \' a k, Alexander A.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Buss, Russell Impagliazzo, Jan Kraj \' c ek, Pavel Pudl \' a k, Alexander A

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:55.908878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b29464bb-9975-4b8d-a1f3-3c1c98055fe8 · outbound

This paper cites Lower bounds for cutting planes proofs with small coefficients.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Lower bounds for cutting planes proofs with small coefficients

Reference 8

Resolution: verified exact; doi, observed 2026-08-10T23:46:57.396324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b522cf37-8d6d-4207-b192-dae1d61fe4ff · outbound

This paper cites Campbell and I.P.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Campbell and I.P

Reference 9

Resolution: verified exact; raw_fallback, observed 2026-08-10T23:46:59.076816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3f8f2c1e-816a-4e02-9b4f-8f63c7863713 · outbound

This paper cites Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:55.938422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dda18bc0-f0e6-4ba5-bd42-0622d4a61788 · outbound

This paper cites Computational Invariant Theory , volume 130 of Encyclopaedia of Mathematical Sciences.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Computational Invariant Theory , volume 130 of Encyclopaedia of Mathematical Sciences

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:55.962604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bb6e91e-133e-4e13-ae45-a9184afe6866 · outbound

This paper cites New lower bounds for polynomial calculus over non-boolean bases.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers New lower bounds for polynomial calculus over non-boolean bases

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.877736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5488ebf2-3a71-4d79-82b3-e5d5c735d099 · outbound

This paper cites de Rezende, Mika G \" o \" o s, and Robert Robere.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers de Rezende, Mika G \" o \" o s, and Robert Robere

Reference 13

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T23:46:58.912865Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 29cb15f9-812d-48d9-a174-ca4b5c934e34 · outbound

This paper cites Forbes, Mrinal Kumar, and Ramprasad Saptharishi.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Forbes, Mrinal Kumar, and Ramprasad Saptharishi

Reference 14

Resolution: verified exact; doi, observed 2026-08-10T23:46:57.276580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 32ac67f2-6edb-4e8b-8608-c1b225980151 · outbound

This paper cites an unresolved cited work.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-10T23:46:59.843478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 041765a2-9ff8-441e-bce8-df8f14cb1c57 · outbound

This paper cites Forbes and Amir Shpilka.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Forbes and Amir Shpilka

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.037366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19b49770-529f-4cc0-9faf-92fd977fbfac · outbound

This paper cites Forbes, Amir Shpilka, Iddo Tzameret, and Avi Wigderson.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Forbes, Amir Shpilka, Iddo Tzameret, and Avi Wigderson

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.783819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ca2d3e18-4fe2-47b5-a806-50c131a9a15d · outbound

This paper cites an unresolved cited work.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.073585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6e4ab05-a74b-4cf1-982c-98eef99b64f9 · outbound

This paper cites Simple hard instances for low-depth algebraic proofs.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Simple hard instances for low-depth algebraic proofs

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.090173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3adca9f8-3bde-47a6-940e-d231503a9eb3 · outbound

This paper cites Learning sums of powers of low-degree polynomials in the non-degenerate case.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Learning sums of powers of low-degree polynomials in the non-degenerate case

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.102095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ef5f815-21f3-4585-902a-ac55911fc8a1 · outbound

This paper cites Grochow and Toniann Pitassi.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Grochow and Toniann Pitassi

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.112833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 759aa04a-3392-4fef-a145-bf9e01cfd56d · outbound

This paper cites T seitin's tautologies and lower bounds for N ullstellensatz proofs.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers T seitin's tautologies and lower bounds for N ullstellensatz proofs

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.124812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 555dec88-47e2-40c9-bfed-e2b687941e6d · outbound

This paper cites 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.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers 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

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:46:57.132983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 54bcc7a6-afaf-4d61-876e-3af4b3ed4618 · outbound

This paper cites Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields

Reference 24

Resolution: verified exact; doi, observed 2026-08-10T23:46:57.066913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c5f0795b-435e-46b2-816e-f2af2b100982 · outbound

This paper cites Lower bounds for the polynomial calculus and the G r \" o bner basis algorithm.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Lower bounds for the polynomial calculus and the G r \" o bner basis algorithm

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.167695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef097369-4182-4d36-90de-cf952a1de5b6 · outbound

This paper cites IPS -like proof systems based on binary decision diagrams.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers IPS -like proof systems based on binary decision diagrams

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.746460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3bd9c53e-59a2-455c-84cc-446a8c341893 · outbound

This paper cites An exponential lower bound to the size of bounded depth F rege proofs of the pigeonhole principle.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers An exponential lower bound to the size of bounded depth F rege proofs of the pigeonhole principle

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.191763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b324e27d-c934-4563-be36-a057413ccb4c · outbound

This paper cites Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.201186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92ffd9ac-56ee-4bc2-87a7-618740dbff0c · outbound

This paper cites Superpolynomial lower bounds against low-depth algebraic circuits.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Superpolynomial lower bounds against low-depth algebraic circuits

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.223888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d7f41c9-b975-4524-8323-f710e1f8913f · outbound

This paper cites Characterizing Propositional Proofs as Non-Commutative Formulas.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Characterizing Propositional Proofs as Non-Commutative Formulas

Reference 30

Resolution: verified exact; local_arxiv, observed 2026-08-10T23:46:58.239169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation aca84814-36d3-430f-abed-135130b52b2b · outbound

This paper cites Lower bounds for non-commutative computation.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Lower bounds for non-commutative computation

Reference 31

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T23:46:58.153872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bee496ff-b39c-4e73-a09c-cb3454461988 · outbound

This paper cites Exponential lower bounds for the pigeonhole principle.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Exponential lower bounds for the pigeonhole principle

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.265224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 868b93ad-663d-47fa-8a6e-964cc08747be · outbound

This paper cites Algebraic propositional proof systems.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Algebraic propositional proof systems

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.275969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f382d5c0-e563-40d2-bdf8-9bcde66d20b0 · outbound

This paper cites Unsolvable systems of equations and proof complexity.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Unsolvable systems of equations and proof complexity

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.285881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 769393a7-65f9-4528-addf-1051d9f7a4c6 · outbound

This paper cites Algebraic proof complexity: Progress, frontiers and challenges.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Algebraic proof complexity: Progress, frontiers and challenges

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.709621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2bf44e71-0537-423d-8b8d-08b72938cd50 · outbound

This paper cites Razborov.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Razborov

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.651614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d90d67e1-7286-4331-bc37-f92bf8e1e8c4 · outbound

This paper cites Separation of multilinear circuit and formula size.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Separation of multilinear circuit and formula size

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.325811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47e09466-756b-48ad-b3f1-f3c46a1dd738 · outbound

This paper cites Multi-linear formulas for permanent and determinant are of super-polynomial size.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Multi-linear formulas for permanent and determinant are of super-polynomial size

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.339460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98c99dae-4b86-4e5b-8303-f7d1d4a406b0 · outbound

This paper cites On vector invariants over finite fields.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers On vector invariants over finite fields

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.355432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9d8d451-d8b5-41dd-ba30-936b6e894440 · outbound

This paper cites Resolution over linear equations and multilinear proofs.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Resolution over linear equations and multilinear proofs

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.367894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c6863fc-606f-4eeb-841b-af46b02e2a4e · outbound

This paper cites The strength of multilinear proofs.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers The strength of multilinear proofs

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.377393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation affb362e-7719-4e20-8e8e-4ed55920bafe · outbound

This paper cites Balancing syntactically multilinear arithmetic circuits.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Balancing syntactically multilinear arithmetic circuits

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.390738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 642f7a0a-8760-410f-909b-2b7a51673ee1 · outbound

This paper cites Lower bounds and separations for constant depth multilinear circuits.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Lower bounds and separations for constant depth multilinear circuits

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.407233Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92fb0924-535e-4181-a699-74b268aceff8 · outbound

This paper cites Personal communication to Forbes-Shpilka ForbesShpilka13b.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Personal communication to Forbes-Shpilka ForbesShpilka13b

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.598054Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7633de80-32f6-45ea-b7c1-f739316df965 · outbound

This paper cites A survey of lower bounds in arithmetic circuit complexity, 2016-2022.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers A survey of lower bounds in arithmetic circuit complexity, 2016-2022

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.533536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2f5e5fbc-4097-4718-9562-c87e15e302d9 · outbound

This paper cites Diagonal circuit identity testing and lower bounds.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Diagonal circuit identity testing and lower bounds

Reference 46

Resolution: verified exact; doi, observed 2026-08-10T23:46:56.655666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation afc292b6-762f-47b6-9d9b-e7309c30115b · outbound

This paper cites (semi)algebraic proofs over \( \) 1 variables.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers (semi)algebraic proofs over \( \) 1 variables

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.464437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53dfb2a3-2459-4175-970c-69ffa305afb9 · outbound

This paper cites Iterated lower bound formulas: a diagonalization-based approach to proof complexity.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Iterated lower bound formulas: a diagonalization-based approach to proof complexity

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:56.473543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62ca6a2a-4319-4b03-ad21-b3696ba5ceb4 · outbound

This paper cites Depth-3 arithmetic circuits over fields of characteristic zero.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Depth-3 arithmetic circuits over fields of characteristic zero

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.474904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d395dcde-e926-4aef-b947-669dd2bf4dca · outbound

This paper cites Arithmetic circuits: A survey of recent results and open questions.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Arithmetic circuits: A survey of recent results and open questions

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T23:46:59.427557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 831b45a0-6b55-42a9-8d35-d0994bc24c77 · outbound

This paper cites Algebraic proofs over noncommutative formulas.

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers Algebraic proofs over noncommutative formulas

Reference 51

Resolution: verified exact; doi, observed 2026-08-10T23:46:56.595252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.