bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

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 Joshua A. Grochow [github]
Unifying Known Lower Bounds via Geometric Complexity Theory Joshua A. Grochow [github]
Wildness for tensors Vyacheslav Futorny Joshua A. Grochow Vladimir V. Sergeichuk [github]
Circuit Complexity, Proof Complexity, and Polynomial Identity Testing Joshua A. Grochow Toniann Pitassi [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]