:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wong, Wan Ki, To, Ka Ho, Chau, Chuck-jee, Wong, Lucas, Yip, Kevin Y., King, Irwin
Format:	Preprint
Published:	2025
Subjects:	Sound Symbolic Computation
Online Access:	https://arxiv.org/abs/2512.21324
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ViTex: Visual Texture Control for Multi-Track Symbolic Music Generation via Discrete Diffusion Models
by: Yi, Xiaoyu, et al.
Published: (2026)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
by: Bhandari, Keshav, et al.
Published: (2025)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
by: Kaliakatsos-Papakostas, Maximos, et al.
Published: (2025)

Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation
by: Bhandari, Keshav, et al.
Published: (2024)

SpeechIQ: Speech-Agentic Intelligence Quotient Across Cognitive Levels in Voice Understanding by Large Language Models
by: Wan, Zhen, et al.
Published: (2025)

Real-Time Emergency Vehicle Detection using Mel Spectrograms and Regular Expressions
by: Pacheco-Gonzalez, Alberto, et al.
Published: (2023)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Community Choirs: Communities of Practice and Dilemma
by: Jiwon Yun
Published: (2025)

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
by: Cumbo, Fabio, et al.
Published: (2026)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
by: Perminov, A. I.
Published: (2025)

Drama at Work: From “Destructive Obedience” to Resistive Practices
by: Philippe Sormani
Published: (2025)

Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra
by: de Freitas, Iago Leal, et al.
Published: (2025)

The Interactional Pathways of Mass Killings: Toward a Novel Understanding of Rampage School Shootings
by: Anne Nassauer
Published: (2024)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

Projective Delineability for Single Cell Construction
by: Nalbach, Jasper, et al.
Published: (2025)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
by: Dumas, Jean-Guillaume, et al.
Published: (2025)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)

Towards Learning Abductive Reasoning using VSA Distributed Representations
by: Camposampiero, Giacomo, et al.
Published: (2024)

Alienation Techniques in VayalaVasudevan Pillai’s Vishwadarshanam
by: Reshma V.R.
Published: (2018)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
by: Sheneman, Lucas
Published: (2026)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
by: Dumas, Jean-Guillaume, et al.
Published: (2025)

Semi-Centennial REDUCE
by: Norman, Arthur C., et al.
Published: (2025)

Federated Automatic Differentiation
by: Rush, Keith, et al.
Published: (2023)

Automatic Generation of Polynomial Symmetry Breaking Constraints
by: Erascu, Madalina, et al.
Published: (2026)

Symbolic modeling of the Pareto-Optimal sets of two unity gain cells
by: Said Polanco-Martagón
Published: (2016)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
by: Zeng, Zhenbing, et al.
Published: (2025)

Confluence of Conditional Rewriting Modulo
by: Lucas, Salvador
Published: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
by: Lucas, Salvador
Published: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

Shape Constraints in Symbolic Regression using Penalized Least Squares
by: Martinek, Viktor, et al.
Published: (2024)

Post-Training Neural Network Pruning using Graph Curvature
by: Tan, Shuhang, et al.
Published: (2026)

Ajeya (The Invincible)
by: Pranabes Bhattacharyya
Published: (2019)

Cloudy Monsoon
by: Mahfuz Al-Hossain
Published: (2019)

Mathematics as Discourse
by: Ole Skovsmose
Published: (2012)