Cover Image

GPU accelerated program synthesis: Enumerate semantics, not syntax!

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berger, Martin, Fijalkow, Nathanaël, Valizadeh, Mojtaba
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Artificial Intelligence Logic in Computer Science 68 D.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LTL learning on GPUs
by: Valizadeh, Mojtaba, et al.
Published: (2024)

Abstract clones for abstract syntax
by: Arkor, Nathanael, et al.
Published: (2021)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
by: Casares, Antonio, et al.
Published: (2023)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

Programmatic Reinforcement Learning: Navigating Gridworlds
by: Shabadi, Guruprerana, et al.
Published: (2024)

An Algebraic Approach to Weighted Answer-set Programming
by: Coelho, Francisco, et al.
Published: (2025)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

LTL$_f$ Learning Meets Boolean Set Cover
by: Bathie, Gabriel, et al.
Published: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Equivalence of Applicative Functors and Multifunctors
by: Abel, Andreas
Published: (2024)

Algorithmically Expressive, Always-Terminating Model for Reversible Computation
by: Palazzo, Matteo, et al.
Published: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
by: Piróg, Maciej, et al.
Published: (2025)

A formal specification of the jq language
by: Färber, Michael
Published: (2024)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
by: Dvir, Yotam, et al.
Published: (2025)

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
by: McCann, Alan L.
Published: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
by: McCann, Alan L.
Published: (2026)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

Early Announcement: Parametricity for GADTs
by: Cagne, Pierre, et al.
Published: (2024)

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
by: Stepanenko, Sergei, et al.
Published: (2025)

Uniqueness is Separation
by: O'Connor, Liam, et al.
Published: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
by: Yubeaton, Patrick, et al.
Published: (2025)

Pearce's Characterisation in an Epistemic Domain
by: Su, Ezgi Iraz
Published: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

A Reduction of Input/Output Logics to SAT
by: Steen, Alexander
Published: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
by: Nerode, Anil, et al.
Published: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
by: Bollig, Benedikt
Published: (2026)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)