Deciding Boolean Separation Logic via Small Models (Technical Report).

Tomás Dacík Adam Rogalewicz Tomás Vojnar Florian Zuleger

Published in: CoRR (2024)

Keyphrases

technical report
probabilistic model
neural network
information retrieval
small number
statistical models
accurate models
data mining
machine learning
parameter estimation
computational models
boolean functions