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
November 13, 2024
October 10, 2024
October 1, 2024
August 14, 2024
July 26, 2024
January 3, 2024
September 12, 2023
May 25, 2023
April 18, 2023
January 16, 2023
October 6, 2022
June 29, 2022
June 6, 2022
January 13, 2022