#Agentic Reasoning
2 articles with this tag
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.
about 3 hours ago
Technology
Databricks Touts Agentic Reasoning Gains
Databricks' Supervisor Agent enhances enterprise AI by integrating structured and unstructured data for complex reasoning tasks, showing significant performance gains.
3 months ago