Search Results - (code OR (model OR more)) journal

Search alternatives:

Refine Results
  1. Cover Image

    PhyGround: Benchmarking Physical Reasoning in Generative World 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:
  2. Cover Image

    Optimal Interventions on the Linear Threshold Model in Large-Scale Networks

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

    Reconstruction of Personally Identifiable Information from Supervised Finetuned Models

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

    Scalable Token-Level Hallucination Detection in Large 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:
  5. Cover Image

    Pretraining Exposure Explains Popularity Judgments in Large 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:
  6. Cover Image

    On the evolution of the company we keep: Implications for infectious disease modeling

    Published in PLOS Medicine Atom (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

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

    Regular Model Checking Upside-Down: An Invariant-Based Approach

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

    Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

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

    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

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

    Disjunctive bases: normal forms and model theory for modal logics

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

    A Finite-Model-Theoretic View on Propositional Proof Complexity

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

    Architectures in parametric component-based systems: Qualitative and quantitative modelling

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

    Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

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

    Model Checking Flat Freeze LTL on One-Counter Automata

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

    An intensionally fully-abstract sheaf model for $pi$ (expanded version)

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

    Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

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

    Model Checking Vector Addition Systems with one zero-test

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

    Proof-irrelevant model of CC with predicative induction and judgmental equality

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

    Turing machines on represented sets, a model of computation for Analysis

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

Search Tools: