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

CycleQ: an efficient basis for cyclic equational reasoning.

Eddie JonesC.-H. Luke OngSteven J. Ramsay
Published in: PLDI (2022)
Keyphrases
  • starting point
  • viewpoint
  • databases
  • neural network
  • machine learning
  • artificial intelligence
  • three dimensional
  • wide range
  • feature space
  • multiresolution
  • special case
  • computationally efficient