Copertina

Going Bananas! - Unfolding Program Synthesis with Origami

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fernandes, Matheus Campos, de França, Fabrício Olivetti, Francesquini, Emilio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Origami: (un)folding the abstraction of recursion schemes for program synthesis
di: Fernandes, Matheus Campos, et al.
Pubblicazione: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
di: Akshay, S., et al.
Pubblicazione: (2026)

Improving Genetic Programming for Symbolic Regression with Equality Graphs
di: de Franca, Fabricio Olivetti, et al.
Pubblicazione: (2025)

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

Modelling Program Spaces in Program Synthesis with Constraints
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

Program Synthesis from Partial Traces
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)

Active Learning for Neurosymbolic Program Synthesis
di: Barnaby, Celeste, et al.
Pubblicazione: (2025)

Template-based Program Synthesis using Stellensätze
di: Goharshady, Amir Kafshdar, et al.
Pubblicazione: (2022)

Sound Interval-Based Synthesis for Probabilistic Programs
di: Espada, Guilherme, et al.
Pubblicazione: (2025)

Optimal Program Synthesis via Abstract Interpretation
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Mason: Type- and Name-Guided Program Synthesis
di: Geer, Jasper, et al.
Pubblicazione: (2026)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
di: Young, David, et al.
Pubblicazione: (2024)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
di: Barnaby, Celeste, et al.
Pubblicazione: (2026)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
di: Chirica, Ion, et al.
Pubblicazione: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
di: Pu, Yewen, et al.
Pubblicazione: (2024)

LLM-Guided Compositional Program Synthesis
di: Khan, Ruhma, et al.
Pubblicazione: (2025)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
di: Johnson, Keith J. C., et al.
Pubblicazione: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
di: Nagy, Shaan, et al.
Pubblicazione: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
di: Dong, Rui, et al.
Pubblicazione: (2026)

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

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

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
di: Smith, Gus Henry, et al.
Pubblicazione: (2024)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
di: Smith, Gus Henry, et al.
Pubblicazione: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

Neural Task Synthesis for Visual Programming
di: Pădurean, Victor-Alexandru, et al.
Pubblicazione: (2023)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Herb.jl: A Unifying Program Synthesis Library
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2025)

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

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

Towards Bug-Free Distributed Go Programs
di: Koo, Zhengqun
Pubblicazione: (2025)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Tensor Network Structure Search with Program Synthesis
di: Guo, Zheng, et al.
Pubblicazione: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Equality Graph Assisted Symbolic Regression
di: de Franca, Fabricio Olivetti, et al.
Pubblicazione: (2025)

rEGGression: an Interactive and Agnostic Tool for the Exploration of Symbolic Regression Models
di: de Franca, Fabricio Olivetti, et al.
Pubblicazione: (2025)