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

Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.

Masahiro MasudaYukiyoshi Kameyama
Published in: FLOPS (2022)
Keyphrases
  • small number
  • image sequences
  • databases
  • artificial intelligence
  • computer vision
  • decision making
  • case study
  • high level
  • artificial neural networks
  • model checking
  • maximum number