Search Results - ((automatizace OR automatizacia) OR automation) programming— program synthesis

Organic synthesis in a modular robotic system driven by a chemical programming language by Steiner, Sebastian, Wolf, Jakob, Glatzel, Stefan, Andreou, Anna, Granda, Jarosław M, Keenan, Graham, Hinkley, Trevor, Aragon-Camarasa, Gerardo, Kitson, Philip J, Angelone, Davide, Cronin, Leroy

“…The synthesis of complex organic compounds is largely a manual process that is often incompletely documented…”
Get more information

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming by Tao, Ning, Ventresque, Anthony, Nallur, Vivek, Saber, Takfarinas

“…—each with its strengths and weaknesses. While LLMs have shown success in program synthesis from a task description, they often struggle to generate the correct code due to ambiguity in task specifications, complex programming syntax…”
Get full text

Optimal Layout Synthesis for Quantum Computing by Tan, Bochen, Cong, Jason

“… However, the available quantum computers are still volatile and error-prone. Thus, layout synthesis, which transforms quantum programs to meet these hardware limitations, is a crucial step in the realization of quantum computing…”
Get full text

Program sketching by Solar-Lezama, Armando

“…Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem…”
Get full text

Bounded synthesis by Finkbeiner, Bernd, Schewe, Sven

“…A fundamental challenge in the synthesis of reactive systems is the size of the search space…”
Get full text

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming by Chakraborty, Saikat, Ebner, Gabriel, Bhat, Siddharth, Fakhoury, Sarah, Fatima, Sakina, Lahiri, Shuvendu, Swamy, Nikhil

“… Our dataset includes around 32K top-level F* definitions, each representing a type-directed program and proof synthesis problem-producing a definition given a formal specification expressed as an F* type…”
Get full text

Overfitting in semantics-based automated program repair by Le, Xuan Bach D., Thung, Ferdian, Lo, David, Goues, Claire Le

“… to extract semantic constraints, and uses program synthesis to synthesize repairs that satisfy the extracted constraints…”
Get full text

Efficient Bottom-Up Synthesis for Programs with Local Variables by Li, Xiang, Zhou, Xiangyu, Dong, Rui, Zhang, Yihong, Wang, Xinyu

“…We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g…”
Get full text

Optimal control of unknown nonaffine nonlinear discrete-time systems based on adaptive dynamic programming by Wang, Ding, Liu, Derong, Wei, Qinglai, Zhao, Dongbin, Jin, Ning

“… The iterative adaptive dynamic programming algorithm is introduced to solve the optimal control problem with convergence analysis…”
Get full text

Transforming natural language into code: advancing automated code synthesis for software development by Al shboul, Bashar, Qaqour, Ali, Bani-Salameh, Hani, Almakadmeh, Khaled

“… Machine learning-based automatic code synthesis emerged as a key solution, with transformer-based models playing a pivotal role in enhancing this process…”
Get full text

Convex Optimization for Parameter Synthesis in MDPs by Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk

“… We formulate the parameter synthesis problem as a quadratically constrained quadratic program, which is nonconvex and is NP-hard to solve in general…”
Get full text

Review and Mapping of Search-Based Approaches for Program Synthesis by Saber, Takfarinas, Tao, Ning

“… However, the proliferation of search-based program synthesis tools utilising diverse search algorithms and input types and targeting various programming tasks can overwhelm users seeking the most suitable tool. Objective…”
Get full text

Algorithmic program synthesis: introduction by Bodik, Rastislav, Jobstmann, Barbara

“…Program synthesis is a process of producing an executable program from a specification…”
Get full text

MerIt: improving neural program synthesis by merging collective intelligence by Zhang, Yating, Wang, Daiyan, Dong, Wei

“…Program synthesis is the task of automatically generating programs from user intent, which is one of the central problems in automated software engineering…”
Get full text

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing by Ramírez-Rueda, Rolando, Benítez-Guerrero, Edgard, Mezura-Godoy, Carmen, Bárcenas, Everardo

“…Program synthesis is the process of automatically generating software from a requirement specification…”
Get full text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks by Beal, Jacob, Lu, Ting, Weiss, Ron

“… Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity…”
Get full text

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming by Diveev, Askhat I., Shmalko, Elizaveta Y.

“…A numerical solution of the problem of the general synthesis of a stabilization system by a symbolic regression method is considered…”
Get full text

Fuzzy model‐based multi‐objective dynamic programming with modified particle swarm optimization approach for the balance control of bicycle robot by Sun, Yiyong, Zhao, Haotian, Chen, Zhang, Zheng, Xudong, Zhao, Mingguo, Liang, Bin

“…Existing studies for the balance control of unmanned bicycle robots only consider constant forward velocity and a single optimal objective that cannot be…”
Get full text

Neural-Network-Based Optimal Control for a Class of Unknown Discrete-Time Nonlinear Systems Using Globalized Dual Heuristic Programming by Liu, Derong, Wang, Ding, Zhao, Dongbin, Wei, Qinglai, Jin, Ning

“… The iterative adaptive dynamic programming algorithm using globalized dual heuristic programming technique is introduced to obtain the optimal controller with convergence analysis in terms of cost…”
Get full text

Re-Factoring Based Program Repair Applied to Programming Assignments by Hu, Yang, Ahmed, Umair Z., Mechtaev, Sergey, Leong, Ben, Roychoudhury, Abhik

“…Automated program repair has been used to provide feedback for incorrect student programming assignments, since program repair captures the code modification needed to make a given buggy program pass a given test-suite…”
Get full text