Tag
#agents
2 posts tagged agents.
- monitoring
OpenTelemetry GenAI Semantic Conventions: Instrument LLM Apps
How the OpenTelemetry GenAI semantic conventions standardize spans, metrics, and events for LLM apps, what they skip, and how to instrument without rework.
- monitoring
A Lean 4 Stability Proof for Tool-Mediated LLM Agents
A new arXiv paper certifies controllability and ISS robustness for an LLM-driven SOC agent using Lean 4. The MLOps takeaway is simpler than the math