:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shapiro, Ilana, Huang, Ruanqianqian, Novack, Zachary, Wang, Cheng-i, Dong, Hao-Wen, Berg-Kirkpatrick, Taylor, Dubnov, Shlomo, Lerner, Sorin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science Sound G.1.6; I.2.4; J.5; G.2.2
Online Access:	https://arxiv.org/abs/2502.15849
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

BACHI: Boundary-Aware Symbolic Chord Recognition Through Masked Iterative Decoding on Pop and Classical Music
by: Yao, Mingyang, et al.
Published: (2025)

Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems
by: Galeana, Hugo Rincon, et al.
Published: (2023)

Generating Symbolic Music from Natural Language Prompts using an LLM-Enhanced Dataset
by: Xu, Weihan, et al.
Published: (2024)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
by: Morris, Matthew, et al.
Published: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
by: Morris, Matthew, et al.
Published: (2024)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
by: Morris, Matthew, et al.
Published: (2025)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
by: Zaiser, Fabian, et al.
Published: (2024)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
by: Knop, Dušan, et al.
Published: (2017)

PDMX: A Large-Scale Public Domain MusicXML Dataset for Symbolic Music Processing
by: Long, Phillip, et al.
Published: (2024)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
by: Hellwig, Jonathan, et al.
Published: (2025)

Spatial Shortcuts in Graph Neural Controlled Differential Equations
by: Detzel, Michael, et al.
Published: (2024)

Measuring well quasi-ordered finitary powersets
by: Abriola, Sergio, et al.
Published: (2023)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

When do homomorphism counts help in query algorithms?
by: Cate, Balder ten, et al.
Published: (2023)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

DITTO-2: Distilled Diffusion Inference-Time T-Optimization for Music Generation
by: Novack, Zachary, et al.
Published: (2024)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
by: Chiari, Michele, et al.
Published: (2024)

Counting big Ramsey degrees of the homogeneous and universal $K_4$-free graph
by: Hubička, Jan, et al.
Published: (2025)

PilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error Guarantees (Technical Report)
by: Zhu, Yuxuan, et al.
Published: (2025)

MuseTok: Symbolic Music Tokenization for Generation and Semantic Understanding
by: Huang, Jingyue, et al.
Published: (2025)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Are you really listening? Boosting Perceptual Awareness in Music-QA Benchmarks
by: Zang, Yongyi, et al.
Published: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

Extremal Separation Problems for Temporal Instance Queries
by: Jung, Jean Christoph, et al.
Published: (2024)

State Algebra for Probabilistic Logic
by: Lesnik, Dmitry, et al.
Published: (2026)

Stabilizing Consensus is Impossible in Lossy Iterated Immediate Snapshot Models
by: Felber, Stephan, et al.
Published: (2024)

Transfer-Learning-Based Autotuning Using Gaussian Copula
by: Randall, Thomas, et al.
Published: (2024)

Reliability Conditions in Quadrature Algorithms
by: Adam, Gh., et al.
Published: (2003)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Rethinking Software Empirical Studies with Structural Causal Models
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)

Concentration in Governance Control Across Decentralised Finance Protocols
by: Eisermann, Thomas, et al.
Published: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

DITTO: Diffusion Inference-Time T-Optimization for Music Generation
by: Novack, Zachary, et al.
Published: (2024)

Representing Classical Compositions through Implication-Realization Temporal-Gestalt Graphs
by: Bomediano, A. V., et al.
Published: (2025)

An ACL2s Interface to Z3
by: Walter, Andrew T., et al.
Published: (2025)

Parf: Adaptive Parameter Refining for Abstract Interpretation
by: Wang, Zhongyi, et al.
Published: (2024)

Reachability and Safety Games under TSO Semantics
by: Spengler, Stephan
Published: (2024)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
by: Abdulla, Parosh Aziz, et al.
Published: (2026)