Model Detail
Agent-ModernColBERT
—Agent-ModernColBERT is a large language model with 75M parameters released by lightonai. The model is registered under the sentence-similarity pipeline tag on Hugging Face, distributed under the permissive apache-2.0 license.
Agent-ModernColBERT ships with 75M parameters. The apache-2.0 license is permissive, allowing commercial deployment and derivative work without per-seat fees, though attribution requirements still apply.
Downloads of Agent-ModernColBERT have moved +3175.0% over the trailing seven days. That puts the model in active uptrend territory; a sustained move of this size usually reflects a recent release, a viral integration, or a benchmark surprise rather than steady-state demand. These numbers are signal, not guarantee — week-over-week download counts on Hugging Face also reflect mirror traffic, CI scrapes, and one-off benchmarking runs.
Agent-ModernColBERT is best fit for general-purpose chat and instruction-following workloads. Treat this as a starting matrix rather than a benchmark verdict — the right deployment usually depends on the specific evaluation suite that mirrors your workload.
Temporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents
arXiv:2606.04555v1 Announce Type: cross Abstract: Long-horizon conversational agents need to interact with users through evolving events, tasks, and goals. Such histories are naturally temporal, yet many existing memory systems organize information primarily by topical similarity and may ignore the
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
arXiv:2606.04903v1 Announce Type: cross Abstract: We introduce the LLM agent architecture Agentic Redux, intended for use with nontrivial problem domains that require linear auditability. Using the typed lambda calculus, we prove that, run on appropriate domains, Agentic Redux executions are semanti
Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach
arXiv:2603.24747v2 Announce Type: replace Abstract: The emergence of large language model agents capable of invoking external tools has created urgent need for formal verification of agent protocols. Two paradigms dominate this space: Schema-Guided Dialogue (SGD), a research framework for zero-shot
Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems
arXiv:2606.04104v1 Announce Type: cross Abstract: Agent systems execute through runtimes with very different control points: local coding tools, framework SDKs, managed agent platforms, API gateways, and observer-only integrations. A high-risk action such as publishing data externally may therefore
AgenticDiffusion: Agentic Diffusion-based Path Planning for Vision-Based UAV Navigation
arXiv:2606.04111v1 Announce Type: cross Abstract: Indoor UAV navigation requires efficient exploration, scene understanding, and reliable trajectory execution under limited field-of-view observations. Existing vision-based navigation frameworks typically rely on single-view observations, limiting th
SaliMory: Orchestrating Cognitive Memory for Conversational Agents
arXiv:2606.04120v1 Announce Type: cross Abstract: Conversational agents that serve as lifelong companions must maintain persistent memory across all interactions. However, simply expanding context windows with raw retrieval degrades reasoning quality, while training memory agents via standard reinfo
