CONFERENCE PROCEEDINGS
Advanced Search
Home > Proceedings > Volume 12709 > Article
Paper
19 October 2023 Focusing on representative examples for inductive program synthesis
Congyi Yang, Quansheng Dou
Author Affiliations +
Proceedings Volume 12709, Fourth International Conference on Artificial Intelligence and Electromechanical Automation (AIEA 2023); 127091V (2023) https://doi.org/10.1117/12.2684635
Event: Fourth International Conference on Artificial Intelligence and Electromechanical Automation (AIEA 2023), 2023, Nanjing, China
Abstract
Inductive program synthesis is the process by which a computer automatically constructs a program that satisfies all the examples based on a given set of input and output examples. To address the problem of incomplete description of the program statute by examples, we proposes a two-stage program synthesis method and proposes an MA-FRENet model based on a multi-headed attention mechanism, which calculates an attention score based on the similarity of the example state to the state of the example executing a program that satisfies some of the examples by introducing a multi-headed attention mechanism, thus enhancing the discrimination of representative example features with complete and accurate constraint descriptions. Compared with the baseline synthesis accuracy, the experimental results show that the method is effective.
© (2023) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Citation Download Citation
Congyi Yang and Quansheng Dou "Focusing on representative examples for inductive program synthesis", Proc. SPIE 12709, Fourth International Conference on Artificial Intelligence and Electromechanical Automation (AIEA 2023), 127091V (19 October 2023); https://doi.org/10.1117/12.2684635
ACCESS THE FULL ARTICLE
ORGANIZATIONAL
Sign in with credentials provided by your organization.
INSTITUTIONAL
Select your institution to access the SPIE Digital Library.
SELECT YOUR INSTITUTION
PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.
PERSONAL SIGN IN
No SPIE Account? Create one
PURCHASE THIS CONTENT
SUBSCRIBE TO DIGITAL LIBRARY
50 downloads per 1-year subscription
Members: $195
Non-members: $335 ADD TO CART
25 downloads per 1 - year subscription
Members: $145
Non-members: $250 ADD TO CART
PURCHASE SINGLE ARTICLE
Includes PDF, HTML & Video, when available
Members: $17.00
Non-members: $21.00 ADD TO CART
PROCEEDINGS
 6 PAGES
DOWNLOAD PAPER SAVE TO MY LIBRARY
GET CITATION
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Artificial intelligence
Software engineering
RELATED CONTENT
Completeness set proof of precondition and post condition types of...
Proceedings of SPIE (December 24 2013)
Research on system dynamics combat decision based on StarCraft II
Proceedings of SPIE (December 16 2022)
Survey of intelligent program synthesis techniques
Proceedings of SPIE (December 07 2023)
Case-based reasoning support for engineering design
Proceedings of SPIE (October 13 2000)
Situation resolution with context-sensitive fuzzy relations
Proceedings of SPIE (May 19 2009)
Interfacing the human into information systems
Proceedings of SPIE (March 30 2000)
Testing And Validation In Artificial Intelligence Programming
Proceedings of SPIE (October 31 1987)
Subscribe to Digital Library
Receive Erratum Email Alert
Back to Top