• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Existence of Algebraically Natural Proofs.

Prerona ChatterjeeMrinal KumarC. RamyaRamprasad SaptharishiAnamay Tengse
Published in: FOCS (2020)
Keyphrases
  • linear systems
  • artificial intelligence
  • image processing
  • wide range
  • artificial neural networks
  • theorem prover
  • formal proof