Compositional Synthesis of Piece-Wise Functions by Learning Classifiers

DOI10.1145/3173545zbMath1407.68411OpenAlexW2802858733MaRDI QIDQ4579957

P. Madhusudan, Daniel Neider, Shambwaditya Saha

Publication date: 10 August 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3173545

zbMATH Keywords

machine learningcounterexamplesprogram synthesisconstraint solvingpiece-wise functions

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Related Items

Scaling Enumerative Program Synthesis via Divide and Conquer