6533b851fe1ef96bd12a8be1

RESEARCH PRODUCT

Towards efficient inductive synthesis: Rapid construction of local regularities

Janis BarzdinsGuntis Barzdins

subject

Transport engineeringInductive synthesisMathematical optimizationComplex geometryComputer scienceSimple (abstract algebra)Rapid constructionFunction (mathematics)State (computer science)Special case

description

Given several input/output examples of some function we can state the problem: what is the “simplest” function which complies with these examples. This problem is well studied and is known to be very hard in the general case. In this paper we address a special case of the problem, when the target function can be expressed as a simple composition of known functions. We propose a new inductive synthesis algorithm for this case and show that it is efficient enough to synthesize complex geometry formulas.

yearjournalcountryeditionlanguage
2006-01-25
https://doi.org/10.1007/bfb0030390