代码大模型 / AI 编程 - arXivDaily 专题

2208.02861 2022-08-08 cs.CV 50%

Latent Multi-Relation Reasoning for GAN-Prior based Image Super-Resolution

Jiahui Zhang, Fangneng Zhan, Yingchen Yu, Rongliang Wu, Xiaoqin Zhang, Shijian Lu

专题命中代码生成：code generation(abstract)

2102.07463 2022-08-05 cs.LO cs.FL 50%

On synthesizing Skolem functions for first order logic formulae

S. Akshay, Supratik Chakraborty

专题命中代码生成：program synthesis(abstract)

Comments Full version of conference paper accepted at MFCS 2022

2206.11495 2022-06-24 cs.LO 50%

Algebra-Based Reasoning for Loop Synthesis

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj Bjørner, Laura Kovács

专题命中代码生成：program synthesis(abstract)

Comments This paper is an extended version of the "Algebra-Based Loop Synthesis'' manuscript published at iFM 2020. arXiv admin note: substantial text overlap with arXiv:2004.11787

2205.15931 2022-06-01 cs.NE 50%

The Environmental Discontinuity Hypothesis for Down-Sampled Lexicase Selection

Ryan Boldi, Thomas Helmuth, Lee Spector

专题命中代码生成：program synthesis(abstract)

Comments Accepted to The 2022 Conference on Artificial Life - Why it Didn't Work-Shop. 10 pages

2204.06461 2022-04-14 cs.NE 50%

Population Diversity Leads to Short Running Times of Lexicase Selection

Thomas Helmuth, Johannes Lengler, William La Cava

专题命中代码生成：program synthesis(abstract)

Comments 12 pages, 3 figures

2203.06233 2022-03-15 cs.DC 50%

Automatic Parallelization of Python Programs for Distributed Heterogeneous Computing

Jun Shirako, Akihiro Hayashi, Sri Raj Paul, Alexey Tumanov, Vivek Sarkar

专题命中代码生成：code generation(abstract)

Comments 14 pages, 10 figures, under submission to Euro-Par 2022 conference (https://2022.euro-par.org)

2201.06212 2022-01-19 cs.DC 50%

VELTAIR: Towards High-Performance Multi-tenant Deep Learning Services via Adaptive Compilation and Scheduling

Zihan Liu, Jingwen Leng, Zhihui Zhang, Quan Chen, Chao Li, Minyi Guo

专题命中代码生成：code generation(abstract)

Comments To be published in ASPLOS 2022

2112.14831 2022-01-03 cs.DC cs.AR 50%

A Hardware-Software Stack for Serverless Edge Swarms

Liam Patterson, David Pigorovsky, Brian Dempsey, Nikita Lazarev, Aditya Shah, Clara Steinhoff, Ariana Bruno, Justin Hu, Christina Delimitrou

专题命中代码生成：program synthesis(abstract)

2111.00945 2021-11-02 cs.MS cs.NA math.NA 50%

Escaping the abstraction: a foreign function interface for the Unified Form Language [UFL]

Nacime Bouziani, David A. Ham

专题命中代码生成：code generation(abstract)

Comments First Workshop on Differentiable Programming (NeurIPS 2021)

2110.13224 2021-10-27 math.NA cs.NA 50%

Transformations for Piola-mapped elements

Francis Aznaran, Robert Kirby, Patrick Farrell

专题命中代码生成：code generation(abstract)

Comments Submitted to SMAI Journal of Computational Mathematics

2110.01065 2021-10-05 cs.CR cs.CV 50%

A New Approach for Image Authentication Framework for Media Forensics Purpose

Ahmad M Nagm, Khaled Y Youssef, Mohammad I Youssef

专题命中代码生成：code generation(abstract)

Comments 11 pages, 19 figures and one table

Journal ref Journal of Computer Engineering & Information Technology, 2017, 6:6

2109.08763 2021-09-21 cs.HC 50%

Screen Parsing: Towards Reverse Engineering of UI Models from Screenshots

Jason Wu, Xiaoyi Zhang, Jeff Nichols, Jeffrey P. Bigham

专题命中代码生成：code generation(abstract)

2109.07872 2021-09-17 cs.RO 50%

Knowledge-based Embodied Question Answering

Sinan Tan, Mengmeng Ge, Di Guo, Huaping Liu, Fuchun Sun

专题命中代码生成：program synthesis(abstract)

2102.13351 2021-09-10 cs.MA 50%

Engineering Swarms of Cyber-Physical Systems with the CPSwarm Workbench

Micha Sende, Melanie Schranz, Gianluca Prato, Etienne Brosse, Omar Morando, Martina Umlauft

专题命中代码生成：code generation(abstract)

2107.12265 2021-08-04 cs.GR 50%

Co-Optimization of Design and Fabrication Plans for Carpentry

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

专题命中代码生成：program synthesis(abstract)

Comments 14 pages, 13 figure, Supplemental material: arXiv:2107.14745

2108.00382 2021-08-03 cs.NE 50%

SignalGP-Lite: Event Driven Genetic Programming Library for Large-Scale Artificial Life Applications

Matthew Andres Moreno, Santiago Rodriguez Papa, Alexander Lalejini, Charles Ofria

专题命中代码生成：program synthesis(abstract)

2107.14745 2021-08-02 cs.GR 50%

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material

Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz

专题命中代码生成：program synthesis(abstract)

Comments 20 pages, 18 figure

2012.03820 2021-07-26 cs.CV 50%

Self-supervised asymmetric deep hashing with margin-scalable constraint

Zhengyang Yu, Song Wu, Zhihao Dou, Erwin M. Bakker

专题命中代码生成：code generation(abstract)

2011.07862 2021-07-23 cs.CR 50%

Survey of Methods for Automated Code-Reuse Exploit Generation

Alexey Vishnyakov, Alexey Nurmukhametov

专题命中代码生成：code generation(abstract)

Journal ref Programming and Computer Software, 2021, Vol. 47, No. 4, pp. 271-297

2012.09229 2021-07-13 cs.NE 50%

Tag-based regulation of modules in genetic programming improves context-dependent problem solving

Alexander Lalejini, Matthew Andres Moreno, Charles Ofria

专题命中代码生成：program synthesis(abstract)

Comments 2020-12-23-revisions: correct typos; revise abstract, results & discussion, and conclusion based on feedback; add unsuccessful runs to performance figures 2021-07-03-revisions: update title; incorporate feedback; add journal reference. Genet Program Evolvable Mach (2021)

2105.14247 2021-06-01 cs.LO 50%

Causality-Based Game Solving

Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber

专题命中代码生成：program synthesis(abstract)

Comments 33rd International Conference on Computer-Aided Verification (CAV 2021)

2009.11389 2021-05-07 cs.AR 50%

Extending High-Level Synthesis for Task-Parallel Programs

Yuze Chi, Licheng Guo, Jason Lau, Young-kyu Choi, Jie Wang, Jason Cong

专题命中代码生成：code generation(abstract)

2104.08111 2021-04-19 cs.NI eess.SP 50%

NeuroRAN: Rethinking Virtualization for AI-native Radio Access Networks in 6G

Paris Carbone, Gyoergy Dan, James Gross, Bo Goeransson, Marina Petrova

专题命中代码生成：code generation(abstract)

2102.05888 2021-03-30 cs.CE cs.CR cs.DC q-bio.NC q-bio.QM 50%

Brain Modelling as a Service: The Virtual Brain on EBRAINS

Michael Schirner, Lia Domide, Dionysios Perdikis, Paul Triebkorn, Leon Stefanovski, Roopa Pai, Paula Popa, Bogdan Valean, Jessica Palmer, Chloê Langford, André Blickensdörfer, Michiel van der Vlag, Sandra Diaz-Pier, Alexander Peyser, Wouter Klijn, Dirk Pleiter, Anne Nahm, Oliver Schmid, Marmaduke Woodman, Lyuba Zehl, Jan Fousek, Spase Petkoski, Lionel Kusch, Meysam Hashemi, Daniele Marinazzo, Jean-François Mangin, Agnes Flöel, Simisola Akintoye, Bernd Carsten Stahl, Michael Cepic, Emily Johnson, Gustavo Deco, Anthony R. McIntosh, Claus C. Hilgetag, Marc Morgan, Bernd Schuller, Alex Upton, Colin McMurtrie, Timo Dickscheid, Jan G. Bjaalie, Katrin Amunts, Jochen Mersmann, Viktor Jirsa, Petra Ritter

专题命中代码生成：code generation(abstract)

2102.13410 2021-03-01 cs.AR 50%

A Variable Vector Length SIMD Architecture for HW/SW Co-designed Processors

Rakesh Kumar, Alejandro Martinez, Antonio Gonzalez

专题命中代码生成：code generation(abstract)

2102.08514 2021-02-18 cs.MS 50%

Automatic Generation of Interpolants for Lattice Samplings: Part I -- Theory and Analysis

Joshua Horacsek, Usman Alim

专题命中代码生成：code generation(abstract)

1910.13753 2020-11-30 math.OC 50%

acados: a modular open-source framework for fast embedded optimal control

Robin Verschueren, Gianluca Frison, Dimitris Kouzoupis, Jonathan Frey, Niels van Duijkeren, Andrea Zanelli, Branimir Novoselnik, Thivaharan Albin, Rien Quirynen, Moritz Diehl

专题命中代码生成：code generation(abstract)

Comments Second revision

2011.07510 2020-11-17 cs.HC 50%

Model-Driven Synthesis for Programming Tutors

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

专题命中代码生成：program synthesis(abstract)

Comments presented at HATRA 2020

2011.05980 2020-11-12 cs.CV 50%

GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts

Lin Cheng, Zijiang Yang

专题命中代码生成：program synthesis(abstract)

2010.07912 2020-10-16 cs.LO 50%

Directed Reachability for Infinite-State Systems

Michael Blondin, Christoph Haase, Philip Offtermatt

专题命中代码生成：program synthesis(abstract)

Comments 29 pages, 13 figures

1. 代码生成 4102 篇

Latent Multi-Relation Reasoning for GAN-Prior based Image Super-Resolution

On synthesizing Skolem functions for first order logic formulae

Algebra-Based Reasoning for Loop Synthesis

The Environmental Discontinuity Hypothesis for Down-Sampled Lexicase Selection

Population Diversity Leads to Short Running Times of Lexicase Selection

Automatic Parallelization of Python Programs for Distributed Heterogeneous Computing

VELTAIR: Towards High-Performance Multi-tenant Deep Learning Services via Adaptive Compilation and Scheduling

A Hardware-Software Stack for Serverless Edge Swarms

Escaping the abstraction: a foreign function interface for the Unified Form Language [UFL]

Transformations for Piola-mapped elements

A New Approach for Image Authentication Framework for Media Forensics Purpose

Screen Parsing: Towards Reverse Engineering of UI Models from Screenshots

Knowledge-based Embodied Question Answering

Engineering Swarms of Cyber-Physical Systems with the CPSwarm Workbench

Co-Optimization of Design and Fabrication Plans for Carpentry

SignalGP-Lite: Event Driven Genetic Programming Library for Large-Scale Artificial Life Applications

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material

Self-supervised asymmetric deep hashing with margin-scalable constraint

Survey of Methods for Automated Code-Reuse Exploit Generation

Tag-based regulation of modules in genetic programming improves context-dependent problem solving

Causality-Based Game Solving

Extending High-Level Synthesis for Task-Parallel Programs

NeuroRAN: Rethinking Virtualization for AI-native Radio Access Networks in 6G

Brain Modelling as a Service: The Virtual Brain on EBRAINS

A Variable Vector Length SIMD Architecture for HW/SW Co-designed Processors

Automatic Generation of Interpolants for Lattice Samplings: Part I -- Theory and Analysis

acados: a modular open-source framework for fast embedded optimal control

Model-Driven Synthesis for Programming Tutors

GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts

Directed Reachability for Infinite-State Systems