Search Results - Algorithms Keywords program synthesis

Review and Mapping of Search-Based Approaches for Program Synthesis.

Authors: Saber, Takfarinas Tao, Ning

Source: Information; May2025, Vol. 16 Issue 5, p401, 28p

Subject Terms: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

Program Synthesis with Best-First Bottom-Up Search.

Authors: Ameen, Saqib Lelis, Levi H. S.

Source: Journal of Artificial Intelligence Research; 2023, Vol. 77, p1275-1310, 36p

Subject Terms: DOMAIN-specific programming languages, TASK performance, SEARCH algorithms, EMPIRICAL research, COST functions

The Role of Interactive Program Synthesis in the Future of Software Development.

Authors: Shaout, Adnan Ditty, Javid Carr, Kyle

Source: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p

Program synthesis algorithm based on context consistency heuristic.

Authors: Dou, Quansheng Pan, Hao Tang, Huanling et al.

Source: International Journal of Machine Learning & Cybernetics; Feb2024, Vol. 15 Issue 2, p559-571, 13p

Chemical classification program synthesis using generative artificial intelligence.

Authors: Mungall, Christopher J. Malik, Adnan Korn, Daniel R. et al.

Source: Journal of Cheminformatics; 10/1/2025, Vol. 17 Issue 1, p1-23, 23p

Subject Terms: GENERATIVE artificial intelligence, CHEMINFORMATICS, KNOWLEDGE transfer, CHEMOTAXONOMY, ARTIFICIAL intelligence, MOLECULAR structure, BIOINFORMATICS

Towards neural-network-guided program synthesis and verification.

Authors: Kobayashi, Naoki Sekiyama, Taro Sato, Issei et al.

Source: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p222-254, 33p

Subject Terms: ARTIFICIAL neural networks, COMPUTER software correctness, MODEL validation, CODE generators, PREDICATE calculus, CONSTRAINT satisfaction

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus.

Authors: Marinho Rocha, Filipe Dutra, Inês Santos Costa, Vítor et al.

Source: Intelligenza Artificiale; Aug2025, Vol. 19 Issue 2, p85-101, 17p

Subject Terms: LOGIC programming, GENERALIZATION, ARTIFICIAL intelligence, INDUCTION (Logic), DOMAIN-specific programming languages, COGNITIVE ability

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming.

Authors: Tao, Ning Ventresque, Anthony Nallur, Vivek et al.

Source: Algorithms; Jul2024, Vol. 17 Issue 7, p287, 20p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing.

Authors: Ramírez-Rueda, Rolando Benítez-Guerrero, Edgard Mezura-Godoy, Carmen et al.

Source: Programming & Computer Software; Dec2024, Vol. 50 Issue 8, p725-741, 17p

Subject Terms: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes

A Memetic and Reflective Evolution Framework for Automatic Heuristic Design Using Large Language Models.

Authors: Qi, Fubo Wang, Tianyu Zheng, Ruixiang et al.

Source: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8735, 26p

Subject Terms: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

Obtaining and Characterization of Nutraceuticals Based on Linoleic Acid Derivatives Obtained by Green Synthesis and Their Valorization in the Food Industry.

Authors: Dehelean, Cristina Adriana Boru, Casiana Macașoi, Ioana Gabriela et al.

Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2416. 72p.

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.

Authors: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Source: Software: Practice & Experience; May2022, Vol. 52 Issue 5, p1294-1304, 11p

Subject Terms: INTEGERS, GENETIC algorithms, EMPIRICAL research, ONE-way analysis of variance, GENETIC models, LOSSLESS data compression

Status of Common Water-Soluble Vitamins in Medical Students: A Cross-Sectional Analysis with Implications for Targeted Nutritional Screening Programs.

Authors: Agha, Adnan Yasin, Javed Sharma, Charu et al.

Source: Nutrients. Sep2025, Vol. 17 Issue 17, p2862. 16p.

Meta-Interpretive LEarning with Reuse.

Authors: Wang, Rong Sun, Jun Tian, Cong et al.

Source: Mathematics (2227-7390); Mar2024, Vol. 12 Issue 6, p916, 20p

Subject Terms: DESCRIPTION logics, INDUCTION (Logic), LOGIC programming, MACHINE learning, CONCEPT mapping, GRAPH algorithms

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Authors: Correia, Alexandre R. S. Iyoda, Juliano M. Mota, Alexandre C.

Source: Software: Practice & Experience; Mar2024, Vol. 54 Issue 3, p528-540, 13p

Subject Terms: EMPIRICAL research, RESEARCH personnel

APPLICATION OF DATABASE IN EDUCATION OF SYNTHESIS ALGORITHM OF ADAPTIVE TAPE TENSIONING SYSTEM BASED ON INTELLECTUAL CONTROL

Authors: Tashkent State Technical University named after Islam Karimov. Direction of Intellectual Engineering Systems. Master's student:Akramova Madinabonu Akmal qizi

Goals as reward-producing programs.

Authors: Davidson, Guy Todd, Graham Togelius, Julian et al.

Source: Nature Machine Intelligence; Feb2025, Vol. 7 Issue 2, p205-220, 16p

On complete completion using types and weights

Authors: Tihomir Gvero Viktor Kuncak Ivan Kuraj et al.

Contributors: Tihomir Gvero Viktor Kuncak Ivan Kuraj et al.

Source: http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming–Program synthesis, D.2.6 [Software Engineering, Coding Tools and Techniques–Program Editors, D.2.13 [Software Engineering, Reusable Software–Reuse Models General Terms Languages, Algorithms Keywords program synthesis, type inhabitation, code completion, type-driven

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849; http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849
http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf

Risk-based screening programmes for cancer diagnosis: A systematic review with narrative synthesis.

Authors: Tan, Yong Yi Tasnim, Sara Fadzil, Mohammad Fahmy Bin et al.

Source: Annals of the Academy of Medicine, Singapore; Oct2025, Vol. 54 Issue 10, p644-663, 20p

Evaluating the Role of Clozapine in Treatment-Resistant Schizophrenia: A Narrative Synthesis of Clinical, Economic, and Quality-of-Life Outcomes.

Authors: Erlianti, Karina Alfaqeeh, Mohammed Puspitasari, Irma Melyani et al.

Source: Neuropsychiatric Disease & Treatment; Nov2025, Vol. 21, p2479-2493, 15p

Subject Terms: TREATMENT effectiveness, ECONOMIC impact, INTERPROFESSIONAL collaboration, PATIENT readmissions, SCHIZOPHRENIA, QUALITY of life, ANTIPSYCHOTIC agents, COST effectiveness