Výsledky vyhľadávania - ((automatizace OR automatizacia) OR automation) programming— program synthesis

Organic synthesis in a modular robotic system driven by a chemical programming language Autor 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…”
Zistit podrobnosti o prístupe

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming Autor 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…”
Získať plný text

Optimal Layout Synthesis for Quantum Computing Autor 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…”
Získať plný text

Program sketching Autor Solar-Lezama, Armando

“…Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem…”
Získať plný text

Bounded synthesis Autor Finkbeiner, Bernd, Schewe, Sven

“…A fundamental challenge in the synthesis of reactive systems is the size of the search space…”
Získať plný text

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Autor 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…”
Získať plný text

Overfitting in semantics-based automated program repair Autor 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…”
Získať plný text

Efficient Bottom-Up Synthesis for Programs with Local Variables Autor 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…”
Získať plný text

Optimal control of unknown nonaffine nonlinear discrete-time systems based on adaptive dynamic programming Autor 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…”
Získať plný text

Transforming natural language into code: advancing automated code synthesis for software development Autor 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…”
Získať plný text

Convex Optimization for Parameter Synthesis in MDPs Autor 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…”
Získať plný text

Review and Mapping of Search-Based Approaches for Program Synthesis Autor 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…”
Získať plný text

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

“…Program synthesis is a process of producing an executable program from a specification…”
Získať plný text

MerIt: improving neural program synthesis by merging collective intelligence Autor 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…”
Získať plný text

A Systematic Literature Review of 10 years of Research on Program Synthesis and Natural Language Processing Autor 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…”
Získať plný text

Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks Autor 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…”
Získať plný text

Machine-Made Synthesis of Stabilization System by Modified Cartesian Genetic Programming Autor 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…”
Získať plný text

Fuzzy model‐based multi‐objective dynamic programming with modified particle swarm optimization approach for the balance control of bicycle robot Autor 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…”
Získať plný text

Neural-Network-Based Optimal Control for a Class of Unknown Discrete-Time Nonlinear Systems Using Globalized Dual Heuristic Programming Autor 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…”
Získať plný text

Re-Factoring Based Program Repair Applied to Programming Assignments Autor 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…”
Získať plný text