Image de couverture de livre

LTL learning on GPUs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Valizadeh, Mojtaba, Fijalkow, Nathanaël, Berger, Martin
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages Artificial Intelligence 68 D.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

GPU accelerated program synthesis: Enumerate semantics, not syntax!
par: Berger, Martin, et autres
Publié: (2025)

EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
par: Matricon, Théo, et autres
Publié: (2024)

A Unified Framework for Quantitative Cache Analysis
par: Kahlen, Sophie, et autres
Publié: (2025)

LTL$_f$ Learning Meets Boolean Set Cover
par: Bathie, Gabriel, et autres
Publié: (2025)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
par: Araujo, Alan
Publié: (2026)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
par: Niketan, Nripesh, et autres
Publié: (2025)

Fat API bindings of C++ objects into scripting languages
par: Standish, Russell K.
Publié: (2024)

Quest Complete: the Holy Grail of Gradual Security
par: Chen, Tianyu, et autres
Publié: (2023)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
par: Bouzinier, Michael, et autres
Publié: (2026)

No Saved Kaleidosope: an 100% Jitted Neural Network Coding Language with Pythonic Syntax
par: da Rosa, Augusto Seben, et autres
Publié: (2024)

Idempotent Slices with Applications to Code-Size Reduction
par: de Azevedo, Rafael Alvarenga, et autres
Publié: (2026)

Multi-Language Benchmark Generation via L-Systems
par: da Silva, Vinícius Francisco, et autres
Publié: (2025)

Universal Conditional Logic: A Formal Language for Prompt Engineering
par: Mikinka, Anthony
Publié: (2025)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
par: Guo, Xiangyu, et autres
Publié: (2024)

Improving stableKanren's Backward Compatibility
par: Guo, Xiangyu, et autres
Publié: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
par: Zhong, Zhiyao, et autres
Publié: (2025)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
par: Sumitani, Rafael, et autres
Publié: (2024)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
par: Casares, Antonio, et autres
Publié: (2023)

Three non-cubical applications of extension types
par: Zhang, Tesla
Publié: (2023)

Combining Mechanical and Agentic Specification Inference for Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
par: Canesche, Michael, et autres
Publié: (2024)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
par: Guimarães, Maria Fernanda Oliveira, et autres
Publié: (2026)

Statically Contextualizing Large Language Models with Typed Holes
par: Blinn, Andrew, et autres
Publié: (2024)

Transport via Partial Galois Connections and Equivalences
par: Kappelmann, Kevin
Publié: (2023)

A Few Fit Most: Improving Performance Portability of SGEMM on GPUs using Multi-Versioning
par: Hochgraf, Robert, et autres
Publié: (2025)

LTL Verification of Memoryful Neural Agents
par: Hosseini, Mehran, et autres
Publié: (2025)

The Semantics of Metapropramming in Prolog
par: Warren, David S.
Publié: (2024)

Digital Avatars: Framework Development and Their Evaluation
par: Rupprecht, Timothy, et autres
Publié: (2024)

Emulation-Completeness of Programming Languages
par: Morse, Gregory, et autres
Publié: (2026)

Optimal Software Pipelining using an SMT-Solver
par: Roorda, Jan-Willem
Publié: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
par: Oza, Neeva, et autres
Publié: (2025)

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

LLM Translation of Compiler Intermediate Representation
par: Ramirez, Andrea Valenzuela, et autres
Publié: (2026)

Complexity of Consistency Testing for the Release-Acquire Semantics
par: Govind, R., et autres
Publié: (2026)

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
par: Oskooei, Amirkia Rafiei, et autres
Publié: (2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
par: Vieira, João Victor Amorim, et autres
Publié: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
par: Vogel, Martin, et autres
Publié: (2026)

Erlang Binary and Source Code Obfuscation
par: Morse, Gregory, et autres
Publié: (2026)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
par: McCann, Alan L.
Publié: (2026)

BRIDGE: Building Representations In Domain Guided Program Synthesis
par: George, Robert Joseph, et autres
Publié: (2025)