Copertina

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Murphy, William, Holzer, Nikolaus, Koenig, Nathan, Cui, Leyi, Rothkopf, Raven, Qiao, Feitong, Santolucito, Mark
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
di: Murphy, William, et al.
Pubblicazione: (2024)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
di: Rothkopf, Raven, et al.
Pubblicazione: (2024)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
di: Fishell, William, et al.
Pubblicazione: (2025)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
di: Kouteili, Sam Nicholas, et al.
Pubblicazione: (2026)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
di: Beutner, Raven, et al.
Pubblicazione: (2023)

Checking Satisfiability of Hyperproperties using First-Order Logic
di: Beutner, Raven, et al.
Pubblicazione: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
di: Lyon, Tim S.
Pubblicazione: (2024)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
di: Beutner, Raven, et al.
Pubblicazione: (2022)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

Guarded Successor: A Novel Temporal Logic
di: Asor, Ohad
Pubblicazione: (2024)

Dynamic Separation Logic
di: de Boer, Frank S., et al.
Pubblicazione: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

Recursive Mutexes in Separation Logic
di: Du, Ke, et al.
Pubblicazione: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
di: Ikeda, Mitsumasa, et al.
Pubblicazione: (2023)

Systematic Design of Separation Logics
di: Bruni, Roberto, et al.
Pubblicazione: (2026)

Hyper Strategy Logic
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Lattice Deduction Transformers
di: Davis, Liam, et al.
Pubblicazione: (2026)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Bifurcation Logic: Separation Through Ordering
di: Galmiche, Didier, et al.
Pubblicazione: (2025)

Relative Completeness of Incorrectness Separation Logic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
di: Kubono, Yudai, et al.
Pubblicazione: (2025)

BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
di: Liu, Zhaoxiang, et al.
Pubblicazione: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
di: Cui, Leyi, et al.
Pubblicazione: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
di: Jung, Jean Christoph, et al.
Pubblicazione: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
di: Su, Wanyun, et al.
Pubblicazione: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Multi-Property Temporal Logic Monitoring
di: Demir, Arınç, et al.
Pubblicazione: (2026)

Cumulative-Time Signal Temporal Logic
di: Chen, Hongkai, et al.
Pubblicazione: (2025)

Synchronous Team Semantics for Temporal Logics
di: Krebs, Andreas, et al.
Pubblicazione: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
di: Khalil, Khurram, et al.
Pubblicazione: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
di: Ito, Sohei, et al.
Pubblicazione: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Linear Temporal Justification Logics with Past Operators
di: Ghari, Meghdad
Pubblicazione: (2018)

Reelay: Online Temporal Logic Monitoring Framework
di: Ulus, Dogan
Pubblicazione: (2026)