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

Reasoning About Vectors using an SMT Theory of Sequences.

Ying ShengAndres NötzliAndrew ReynoldsYoni ZoharDavid L. DillWolfgang GrieskampJunkil ParkShaz QadeerClark W. BarrettCesare Tinelli
Published in: CoRR (2022)
Keyphrases
  • formal theory
  • theoretical framework
  • neural network
  • vector space
  • feature vectors
  • hidden markov models
  • theoretical foundation
  • general theory
  • artificial intelligence
  • data structure
  • input data
  • computational model