Login / Signup

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.

Neta EladOded PadonSharon Shoham
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • probabilistic model
  • virtual environment
  • finite sets
  • statistical model
  • statistical models
  • neural network
  • genetic algorithm
  • parameter estimation
  • regression model
  • computational models