Search Results

Refine Results
  1. Cover Image

    Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    An Effective Orchestral Approach to Satisfiability Modulo Prime Fields

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    On-the-fly LTLf Synthesis under Partial Observability

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Finite-Horizon First-Order Rank Profiles of Regular Languages

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Templates in Rewriting Induction

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Pseudo-Complex Quantifier Elimination

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Automaton-based Characterisations of First Order Logic over Infinite Trees

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Optimal subsampling for high-dimensional partially linear models via machine learning methods

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Quantum Bayesian Networks: Compositionality and Typing via Linear Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Verification of Neural Networks (Lecture Notes)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Computing Equilibrium beyond Unilateral Deviation

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Exploration Hacking: Can LLMs Learn to Resist RL Training?

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Synthetic Computers at Scale for Long-Horizon Productivity Simulation

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    An adaptive wavelet-based PINN for problems with localized high-magnitude source

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Defending Quantum Classifiers against Adversarial Perturbations through Quantum Autoencoders

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Strait: Perceiving Priority and Interference in ML Inference Serving

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    PhyCo: Learning Controllable Physical Priors for Generative Motion

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: