Automatic Synthesis

Automatic synthesis focuses on automatically generating various artifacts, ranging from software code and configurations to analog circuits and even quantum algorithms, based on specified requirements or input data. Current research employs diverse approaches, including variational autoencoders, Monte Carlo Tree Search enhanced with game theory, and neural networks for circuit and neuron design, alongside evolutionary algorithms and large language models for software specification synthesis. This field is significant because it promises to automate complex and time-consuming tasks, accelerating development in diverse areas like software engineering, hardware design, and AI, while also reducing the need for extensive human expertise.

Papers