Search Results - ((codee OR code) OR (some OR (mode OR model))) journal

Search alternatives:

Refine Results
  1. Cover Image

    Microbenchmark-Driven Analytical Performance Modeling Across Modern GPU Architectures

    Published in ArXiv cs.DC 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

    SoK: Robustness in Large Language Models against Jailbreak Attacks

    Published in ArXiv cs.CR 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

    Automatically Finding and Validating Unexpected Side-Effects of Interventions on Language Models

    Published in ArXiv cs.CL 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

    Agentic AIs Are the Missing Paradigm for Out-of-Distribution Generalization in Foundation Models

    Published in ArXiv cs.CV 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

    When Diffusion Model Can Ignore Dimension: An Entropy-Based Theory

    Published in ArXiv cs.IT 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

    DiffRetriever: Parallel Representative Tokens for Retrieval with Diffusion Language Models

    Published in ArXiv cs.IR 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

    Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking

    Published in Computer Science (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering

    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

    LoKA: Low-precision Kernel Applications for Recommendation Models At Scale

    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:
  10. Cover Image

    Learning to Focus Synthetic Aperture Radar On-line with State-Space Models

    Published in ArXiv cs.ET 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

    ALAM: Algebraically Consistent Latent Transitions for Vision-Language-Action Models

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

    A Fully Abstract Model of PCF Based on Extended Addressing Machines

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

    Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

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

    Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules

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

    A Formal Model for Polarization under Confirmation Bias in Social Networks

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

    Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

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

    Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

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

    Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

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

    On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

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

    Two Variable vs. Linear Temporal Logic in Model Checking and Games

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

Search Tools: