Full Text Available
Access Full Text at Repository
Search Results - "ArXiv cs.IT Recent Papers"
Search alternatives:
- papers »
-
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
Online Article RSS Article -
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Full Definability in a Profunctorial Model
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On-the-fly LTLf Synthesis under Partial Observability
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Finite-Horizon First-Order Rank Profiles of Regular Languages
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Templates in Rewriting Induction
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
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