Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.

Kaustubh Sridhar Souradeep Dutta James Weimer Insup Lee

Published in: L4DC (2023)

Keyphrases

statistical models
machine learning algorithms
parameter estimation
search algorithm
constrained optimization

constraint satisfaction
complex systems
regression model
lower bound
data sets

case study
feature selection
information systems
learning algorithm

genetic algorithm
information retrieval
real world
neural network