Abstract: Program synthesis, as an automated program construction method, has become a research focus in both software engineering and artificial intelligence. With the increasing size of the program ...
Abstract: Programming for quantum computers is complicated and time-consuming, because quantum operations are counterintuitive and their combined effects are difficult to understand. Existing tools ...