Search Results - (automatizacie OR automatically) 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

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

On Program Synthesis and Large Language Models.

Authors: Hüttel, Hans

Source: Communications of the ACM; Jan2025, Vol. 68 Issue 1, p33-35, 3p

Subject Terms: COMPUTER programming, ARTIFICIAL intelligence, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER science

Solving the Schrödinger equation using program synthesis.

Authors: Habershon, Scott

Source: Journal of Chemical Physics; 10/21/2021, Vol. 155 Issue 15, p1-16, 16p

Subject Terms: SCHRODINGER equation, POTENTIAL energy surfaces, MATHEMATICAL functions, ALGORITHMS, LINEAR codes, SIMULATED annealing

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

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

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

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 Comprehensive Behavioral Dataset for the Abstraction and Reasoning Corpus.

Authors: LeGris, Solim Vong, Wai Keen Lake, Brenden M. et al.

Source: Scientific Data; 8/7/2025, Vol. 12 Issue 1, p1-10, 10p

Subject Terms: COGNITIVE science, HUMAN behavior, MACHINE learning, VISUAL programming languages (Computer science), ACQUISITION of data, GENERALIZATION

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

Learning programs with magic values.

Authors: Hocquette, Céline Cropper, Andrew

Source: Machine Learning; May2023, Vol. 112 Issue 5, p1551-1595, 45p

Subject Terms: MAGIC, INDUCTION (Logic), LOGIC programming, DRUG design

Towards Porting Operating Systems with Program Synthesis.

Authors: JINGMEI HU LU, ERIC HOLLAND, DAVID A. et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-70, 70p

Subject Terms: HARBORS, MOORE'S law, LANGUAGE ability, SYSTEMS software

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Authors: Manuel V Hermenegildo Pedro Lopez-Garcia

Resource Type: eBook.

Subjects: Computer science, Compilers (Computer programs), Computer programming, Software engineering, Machine theory, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

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

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Relationship between training load and recovery rate in artificial intelligence-based sports rehabilitation training.

Authors: Chen, Tianyi Xian, Yue Chen, Tong

Source: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 4, p1-18, 18p

Subject Terms: ARTIFICIAL intelligence, REHABILITATION, MEDICAL rehabilitation, MACHINE learning, WOUNDS & injuries, TREATMENT programs, EXERCISE intensity

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