1 paper · 1 filter
Tim Aebersold, Soheyl Massoudi, Mark Fuge
Precise constraint satisfaction is a prerequisite to deploying learned models in many areas, motivating methods that repair raw neural predictions with a repair procedure. Current…