Search Results - (((codee OR code) OR (madee OR made)) OR model) journal

  1. Crafting Reversible SFT Behaviors in Large Language Models

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Online Article RSS Article
  2. Effective Knowledge Transfer for Multi-Task Recommendation Models

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  3. The Frequency Confound in Language-Model Surprisal and Metaphor Novelty

    Published in ArXiv cs.CL Recent Papers (2026)
    Get full text
    Online Article RSS Article
  4. Switchcraft: AI Model Router for Agentic Tool Calling

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  5. Tool Calling is Linearly Readable and Steerable in Language Models

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Online Article RSS Article
  6. How Big Should a Wireless Foundation Model Be?

    Published in ArXiv cs.IT Recent Papers (2026)
    Get full text
    Online Article RSS Article
  7. Flow-OPD: On-Policy Distillation for Flow Matching Models

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Online Article RSS Article
  8. Cross-Modal Backdoors in Multimodal Large Language Models

    Published in ArXiv cs.CR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  9. Compute Where it Counts: Self Optimizing Language Models

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Online Article RSS Article
  10. Personal Visual Context Learning in Large Multimodal Models

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Online Article RSS Article
  11. Is Your Driving World Model an All-Around Player?

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Online Article RSS Article
  12. Model Checking Temporal Properties of Recursive Probabilistic Programs

    Get full text
    Online Article RSS Article
  13. Timed Automata Robustness Analysis via Model Checking

    Get full text
    Online Article RSS Article
  14. Higher-dimensional automata modeling shared-variable systems

    Get full text
    Online Article RSS Article
  15. Axioms for Modelling Cubical Type Theory in a Topos

    Get full text
    Online Article RSS Article
  16. Model Theory and Proof Theory of Coalgebraic Predicate Logic

    Get full text
    Online Article RSS Article
  17. Using higher-order contracts to model session types

    Get full text
    Online Article RSS Article
  18. Constructing Fully Complete Models of Multiplicative Linear Logic

    Get full text
    Online Article RSS Article
  19. Software Model Checking with Explicit Scheduler and Symbolic Threads

    Get full text
    Online Article RSS Article
  20. Modeling Adversaries in a Logic for Security Protocol Analysis

    Get full text
    Online Article RSS Article