Login / Signup

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.

Víctor A. BrabermanFlavia Bonomo-BrabermanYiannis CharalambousJuan Gabriel ColonnaLucas C. CordeiroRosiane de Freitas
Published in: CoRR (2024)
Keyphrases
  • real world
  • computer vision
  • face recognition
  • application scenarios
  • neural network
  • information retrieval
  • multiscale
  • digital libraries
  • preprocessing
  • robotic systems