:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fernandes, Matheus Campos, de França, Fabrício Olivetti, Francesquini, Emilio
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2406.01500
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Origami: (un)folding the abstraction of recursion schemes for program synthesis
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Improving Genetic Programming for Symbolic Regression with Equality Graphs
par: de Franca, Fabricio Olivetti, et autres
Publié: (2025)

Alleviating Overfitting in Transformation-Interaction-Rational Symbolic Regression with Multi-Objective Optimization
par: de Franca, Fabricio Olivetti
Publié: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
par: Akshay, S., et autres
Publié: (2026)

Equality Graph Assisted Symbolic Regression
par: de Franca, Fabricio Olivetti, et autres
Publié: (2025)

rEGGression: an Interactive and Agnostic Tool for the Exploration of Symbolic Regression Models
par: de Franca, Fabricio Olivetti, et autres
Publié: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

Active Learning for Neurosymbolic Program Synthesis
par: Barnaby, Celeste, et autres
Publié: (2025)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

Sound Interval-Based Synthesis for Probabilistic Programs
par: Espada, Guilherme, et autres
Publié: (2025)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

Mason: Type- and Name-Guided Program Synthesis
par: Geer, Jasper, et autres
Publié: (2026)

Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
par: Fernandes, Matheus Campos
Publié: (2025)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
par: Chirica, Ion, et autres
Publié: (2025)

Proving Functional Program Equivalence via Directed Lemma Synthesis
par: Sun, Yican, et autres
Publié: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2024)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
par: Young, David, et autres
Publié: (2024)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
par: Barnaby, Celeste, et autres
Publié: (2026)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
par: Fruehwirth, Thom
Publié: (2023)

Towards Bug-Free Distributed Go Programs
par: Koo, Zhengqun
Publié: (2025)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
par: Johnson, Keith J. C., et autres
Publié: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
par: Nagy, Shaan, et autres
Publié: (2024)

Interpretability in Symbolic Regression: a benchmark of Explanatory Methods using the Feynman data set
par: Aldeia, Guilherme Seidyo Imai, et autres
Publié: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
par: Dong, Rui, et autres
Publié: (2026)

Neural Task Synthesis for Visual Programming
par: Pădurean, Victor-Alexandru, et autres
Publié: (2023)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
par: Kanda, Madhav, et autres
Publié: (2025)

Herb.jl: A Unifying Program Synthesis Library
par: Hinnerichs, Tilman, et autres
Publié: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
par: Smith, Gus Henry, et autres
Publié: (2024)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
par: Smith, Gus Henry, et autres
Publié: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
par: Barke, Shraddha, et autres
Publié: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

The Inefficiency of Genetic Programming for Symbolic Regression
par: Kronberger, Gabriel, et autres
Publié: (2024)

ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis
par: Shi, Kensen, et autres
Publié: (2023)

Tensor Network Structure Search with Program Synthesis
par: Guo, Zheng, et autres
Publié: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
par: Gu, Qiqi Jason, et autres
Publié: (2026)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)