Imagen de Portada

Guided Sketch-Based Program Induction by Search Gradients

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Amin, Ahmad Ayaz
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Guess & Sketch: Language Model Guided Transpilation
por: Lee, Celine, et al.
Publicado: (2023)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
por: Silva, André, et al.
Publicado: (2025)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
por: Li, Zhening, et al.
Publicado: (2025)

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
por: Matricon, Théo, et al.
Publicado: (2024)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
por: Liu, Max, et al.
Publicado: (2024)

Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms
por: Zenkner, Janis, et al.
Publicado: (2025)

Transformers for Program Termination
por: Alon, Yoav, et al.
Publicado: (2026)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
por: Mora, Federico, et al.
Publicado: (2024)

Compiling to recurrent neurons
por: Velez-Ginorio, Joey, et al.
Publicado: (2025)

Compiling to linear neurons
por: Velez-Ginorio, Joey, et al.
Publicado: (2025)

Towards Efficient Neurally-Guided Program Induction for ARC-AGI
por: Ouellette, Simon
Publicado: (2024)

Combining Neural Architecture Search and Automatic Code Optimization: A Survey
por: Bachiri, Inas, et al.
Publicado: (2024)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
por: Kanda, Madhav, et al.
Publicado: (2025)

Data-driven Verification of Procedural Programs with Integer Arrays
por: Bouajjani, Ahmed, et al.
Publicado: (2025)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
por: Ramalingam, Ramya, et al.
Publicado: (2024)

Dato: A Task-Based Programming Model for Dataflow Accelerators
por: Fang, Shihan, et al.
Publicado: (2025)

Automatic Generation of Python Programs Using Context-Free Grammars
por: Yamani, Kamel, et al.
Publicado: (2024)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
por: Bondhugula, Uday, et al.
Publicado: (2026)

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
por: Shi, Kensen, et al.
Publicado: (2023)

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language
por: Hogan, Brendan R., et al.
Publicado: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
por: Reichelt, Tim, et al.
Publicado: (2023)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
por: Cassano, Federico, et al.
Publicado: (2023)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
por: Boruch-Gruszecki, Aleksander, et al.
Publicado: (2025)

SketchFill: Sketch-Guided Code Generation for Imputing Derived Missing Values
por: Zhang, Yunfan, et al.
Publicado: (2024)

vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
por: Ko, Ching-Yun, et al.
Publicado: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
por: Jin, Charles, et al.
Publicado: (2023)

A Comprehensive Guide to Combining R and Python code for Data Science, Machine Learning and Reinforcement Learning
por: Navarro, Alejandro L. García, et al.
Publicado: (2024)

QiMeng-Xpiler: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
por: Dong, Shouyang, et al.
Publicado: (2025)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
por: Xu, Shuyuan, et al.
Publicado: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)

JaxDecompiler: Redefining Gradient-Informed Software Design
por: Pochelu, Pierrick
Publicado: (2024)

The Elements of Differentiable Programming
por: Blondel, Mathieu, et al.
Publicado: (2024)

Deep R Programming
por: Gagolewski, Marek
Publicado: (2022)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
por: Dong, Honghua, et al.
Publicado: (2024)

Searching for Programmatic Policies in Semantic Spaces
por: Moraes, Rubens O., et al.
Publicado: (2024)

Flex Attention: A Programming Model for Generating Optimized Attention Kernels
por: Dong, Juechu, et al.
Publicado: (2024)

A Multi-Perspective Architecture for Semantic Code Search
por: Haldar, Rajarshi, et al.
Publicado: (2020)

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
por: Brandfonbrener, David, et al.
Publicado: (2024)

Probabilistic Programming with Programmable Variational Inference
por: Becker, McCoy R., et al.
Publicado: (2024)

Prism: Symbolic Superoptimization of Tensor Programs
por: Wu, Mengdi, et al.
Publicado: (2026)