Search Results - ((automaticky OR automatic) OR automation) programming— program synthesis general terms algorithms

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

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

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

AnnCoder: A Mti-Agent-Based Code Generation and Optimization Model.

Authors: Zhang, Zhenhua Wang, Jianfeng Li, Zhengyang et al.

Source: Symmetry (20738994); Jul2025, Vol. 17 Issue 7, p1087, 25p

Subject Terms: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Authors: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

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

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

Global Research Trends and Thematic Development on the Biological Protective Effects of Boron: A Comprehensive Bibliometric Analysis (1990-2025).

Alternate Title: Borun Biyolojik Koruyucu Etkileri Üzerine Küresel Araştırma Eğilimleri ve Tematik Gelişmeler: Kapsamlı Bir Bibliyometrik Analiz (1990-2025).

Authors: Aşkın TEKİN¹ askin.tekin@giresun.edu.tr

Source: Journal of Anatolian Environmental & Animal Science. 2025, Vol. 10 Issue 6, p844-860. 17p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Authors: Grivas, Gerasimos V. Safari, Kousar

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

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

TREAD: A New Genetic Programming Representation Aimed at Research of Long Term Complexity Growth

Authors: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Contributors: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf.

Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Algorithms, Design, Experimentation Keywords Artificial Intelligence, Genetic Programming, Representations

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

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

Adaptive Ketogenic–Mediterranean Protocol (AKMP) in Real Clinical Practice: 14-Week Pre–Post Cohort Study on Glucolipid Markers and Safety.

Authors: García-Gorrita, Cayetano San Onofre, Nadia Merino-Torres, Juan F. et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3559. 37p.

Parenting Style and Social Media: Impact on Children's Dietary Patterns.

Authors: Dessì, Angelica Petza, Silvia Di Carlo, Alice et al.

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3254. 25p.

Applications and Considerations of Artificial Intelligence in Veterinary Sciences: A Narrative Review.

Authors: Akbarein, Hesameddin Taaghi, Mohammad Hussein Mohebbi, Mahyar et al.

Source: Veterinary Medicine & Science. May2025, Vol. 11 Issue 3, p1-29. 29p.

Subjects: Machine learning, Artificial intelligence, Veterinary medicine, Resource allocation, Medical research

CTDip: a diversity-guided test program synthesis approach for boosting compiler bug detection.

Authors: Tang, Yixuan Zeng, Junwei Zhang, Jingxuan et al.

Source: Empirical Software Engineering; Jun2025, Vol. 30 Issue 3, p1-33, 33p

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.

Authors: DONGKWON LEE WOOSUK LEE HAKJOO OH et al.

Source: ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-37, 37p

Subject Terms: COMPILERS (Computer programs), EXPERTISE

Search-based program synthesis.

Authors: Alur, Rajeev Singh, Rishabh Fisman, Dana et al.

Source: Communications of the ACM; Dec2018, Vol. 61 Issue 12, p84-93, 10p, 1 Illustration

Subject Terms: COMPUTER programming, COMPUTER input-output equipment, ELECTRONIC information resource searching, INFORMATION retrieval, SEARCH engines, SEARCH algorithms, INPUT-output analysis

Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code.

Authors: Michaud, Eric J. Liao, Isaac Lad, Vedang et al.

Source: Entropy; Dec2024, Vol. 26 Issue 12, p1046, 32p

Subject Terms: LANGUAGE models, AUTOENCODERS, FINITE state machines, GENERATIVE pre-trained transformers, ARTIFICIAL intelligence

Learning Programs from Traces Using Version Space Algebra

Authors: Tessa Lau Pedro Domingos Daniel S. Weld et al.

Contributors: Tessa Lau Pedro Domingos Daniel S. Weld et al.

Source: http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf.

Subject Terms: Automatic programming—Program synthesis General Terms Algorithms, Experimentation, Human Factors

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2438; http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.2438
http://www.cs.washington.edu/homes/pedrod/papers/kcap03b.pdf