#LLM Governance

3 articles with this tag

Governing LLM Reasoning with Formal Verification
AI Research

Governing LLM Reasoning with Formal Verification

EG-VAR introduces a Lean 4-based architecture for auditable LLM reasoning, achieving perfect accuracy and source fidelity on benchmarks by using formal verification as the sole claim issuer.

3 months ago
Databricks Unveils AI Gateway
Technology

Databricks Unveils AI Gateway

Databricks enhances Unity Catalog with AI Gateway, expanding governance for AI agents, models, and tools across clouds.

4 months ago
Databricks Tames Agentic AI
Technology

Databricks Tames Agentic AI

Databricks enhances its AI Gateway to provide unified governance, visibility, and guardrails for complex agentic AI workflows.

6 months ago