Full Text Available
Access Full Text at Repository
Search Results - arxiv cs.it recent paper
-
Templates in Rewriting Induction
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
Online Article RSS Article -
Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Pseudo-Complex Quantifier Elimination
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Automaton-based Characterisations of First Order Logic over Infinite Trees
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Verification of Neural Networks (Lecture Notes)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Computing Equilibrium beyond Unilateral Deviation
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Exploration Hacking: Can LLMs Learn to Resist RL Training?
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Synthetic Computers at Scale for Long-Horizon Productivity Simulation
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
An adaptive wavelet-based PINN for problems with localized high-magnitude source
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Defending Quantum Classifiers against Adversarial Perturbations through Quantum Autoencoders
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Strait: Perceiving Priority and Interference in ML Inference Serving
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
PhyCo: Learning Controllable Physical Priors for Generative Motion
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Mapping the Phase Diagram of the Vicsek Model with Machine Learning
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Sequential Inference for Gaussian Processes: A Signal Processing Perspective
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
FlexiTac: A Low-Cost, Open-Source, Scalable Tactile Sensing Solution for Robotic Systems
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Explainable Load Forecasting with Covariate-Informed Time Series Foundation Models
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Global Optimality for Constrained Exploration via Penalty Regularization
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Efficient Multivector Retrieval with Token-Aware Clustering and Hierarchical Indexing
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text
-
Beyond Gaussian Bottlenecks: Topologically Aligned Encoding of Vision-Transformer Feature Spaces
Published in ArXiv cs.LG Recent Papers (2026)Subjects: “…ArXiv cs.LG Recent Papers…”
Get full text