Suchergebnisse - (automatic OR automatizacni) programming— program synthesis general terms algorithms*

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

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

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

Schlagwörter: HEURISTIC, LANGUAGE models, HEURISTIC algorithms, METAHEURISTIC algorithms, MATHEMATICAL optimization, HEURISTIC programming

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

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

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

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

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

Dateibeschreibung: 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

Verfügbarkeit: 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

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

Autoren: Saber, Takfarinas Tao, Ning

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

Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

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

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

Schlagwörter: LANGUAGE models, ADAPTIVE control systems, MULTIAGENT systems, PROGRAMMING languages, TEMPERATURE control, SIMULATED annealing

MOGE: GP classification problem decomposition using multi-objective optimization

Autoren: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Design, Experimentation. Keywords Genetic Programming, Multi-objective Classification

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631
http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

Towards Identifying Populations that Increase the Likelihood of

Autoren: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Jason M. Daida The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Experimentation, Theory. Keywords Population dynamics, initial populations, binomial-3, GP problem difficulty

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8098
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1627.pdf

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

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

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

Search-based program synthesis.

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

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

Schlagwörter: COMPUTER programming, COMPUTER input-output equipment, ELECTRONIC information resource searching, INFORMATION retrieval, SEARCH engines, SEARCH algorithms, INPUT-output analysis

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

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

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

Schlagwörter: EMPIRICAL research, RESEARCH personnel

Solving the Schrödinger equation using program synthesis.

Autoren: Habershon, Scott

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

Schlagwörter: SCHRODINGER equation, POTENTIAL energy surfaces, MATHEMATICAL functions, ALGORITHMS, LINEAR codes, SIMULATED annealing

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

Autoren: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Tony E Lewis The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.dcs.bbk.ac.uk/~gmagoulas/t12pap515-lewis.pdf.

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

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.4458

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.4458
http://www.dcs.bbk.ac.uk/~gmagoulas/t12pap515-lewis.pdf

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

Autoren: Shaout, Adnan Ditty, Javid Carr, Kyle

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

MP: motion program synthesis with machine learning interpretability and knowledge graph analogy.

Autoren: Cai, Cheng-Hao

Quelle: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-40, 40p

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

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

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

Schlagwörter: INTEGERS, GENETIC algorithms, EMPIRICAL research, ONE-way analysis of variance, GENETIC models, LOSSLESS data compression

An Investigation into Using Genetic Programming as a Means of Inducing Solutions to Novice Procedural Programming Problems

Autoren: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf.

Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms, Algorithms, Experimentation, Theory. Keywords Genetic programming

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7997
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf

Understanding Microarray Data through Applying Competent Program Evolution

Autoren: Moshe Looks Mauricio Mudado Cassio Pennachin et al.

Weitere Verfasser: Moshe Looks Mauricio Mudado Cassio Pennachin et al.

Quelle: http://www.metacog.org/papers/gecco07e.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – Program synthesis General Terms Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization, Representations

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7743; http://www.metacog.org/papers/gecco07e.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7743
http://www.metacog.org/papers/gecco07e.pdf

Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.

Autoren: Błądek, Iwo Krawiec, Krzysztof Swan, Jerry

Quelle: Evolutionary Computation; Fall2018, Vol. 26 Issue 3, p441-469, 29p

Schlagwörter: GENETIC programming, HEURISTIC programming, MATHEMATICAL programming, COMBINATORIAL optimization, MULTIPLE criteria decision making, EVOLUTIONARY algorithms

Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming

Autoren: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.9345
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1219.pdf

Genetic programming needs better benchmarks

Autoren: James Mcdermott David R. White Sean Luke et al.

Weitere Verfasser: James Mcdermott David R. White Sean Luke et al.

Quelle: http://www.dcs.gla.ac.uk/~whited/papers/genetic_programming_needs_better_benchmarks.pdf.

Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic programming— Program synthesis General Terms Algorithms, Experimentation, Measurement Keywords Genetic Programming, Benchmarks

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7187; http://www.dcs.gla.ac.uk/~whited/papers/genetic_programming_needs_better_benchmarks.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7187
http://www.dcs.gla.ac.uk/~whited/papers/genetic_programming_needs_better_benchmarks.pdf

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

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

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

Schlagwörter: LANGUAGE models, SOFTWARE requirements specifications, COMPUTER software development, NATURAL languages, RESEARCH institutes