Login / Signup

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