Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents

Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents

• Computer Science > Artificial Intelligence [Submitted on 18 Feb 2026] Title:Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents

Research & Labs · February 19, 2026 (updated February 24, 2026) · 2 min · 255 words
Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents

Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents

• Computer Science > Artificial Intelligence [Submitted on 18 Feb 2026] Title:Toward Scalable Verifiable Reward: Proxy State-Based Evaluation for Multi-turn Tool-Calling LLM Agents

Research · February 19, 2026 (updated February 19, 2026) · 2 min · 226 words
Verifiable Semantics for Agent-to-Agent Communication

Verifiable Semantics for Agent-to-Agent Communication

• Computer Science > Artificial Intelligence [Submitted on 18 Feb 2026] Title:Verifiable Semantics for Agent-to-Agent Communication View PDF HTML (experimental)Abstract:Multiagent

Research & Labs · February 19, 2026 (updated February 24, 2026) · 2 min · 234 words
Verifiable Semantics for Agent-to-Agent Communication

Verifiable Semantics for Agent-to-Agent Communication

• Computer Science > Artificial Intelligence [Submitted on 18 Feb 2026] Title:Verifiable Semantics for Agent-to-Agent Communication View PDF HTML (experimental)Abstract:Multiagent

Research · February 19, 2026 (updated February 19, 2026) · 2 min · 219 words
VerifiableFL: Verifiable Claims for Federated Learning using Exclaves

VerifiableFL: Verifiable Claims for Federated Learning using Exclaves

• Computer Science > Cryptography and Security [Submitted on 13 Dec 2024 (v1), last revised 17 Feb 2026 (this version, v4)] Title:VerifiableFL: Verifiable Claims for Federated Lear

AgriWorld:A World Tools Protocol Framework for Verifiable Agricultural Reasoning with Code-Executing LLM Agents

AgriWorld:A World Tools Protocol Framework for Verifiable Agricultural Reasoning with Code-Executing LLM Agents

• Computer Science > Artificial Intelligence [Submitted on 17 Feb 2026] Title:AgriWorld:A World Tools Protocol Framework for Verifiable Agricultural Reasoning with Code-Executing L

Research · February 18, 2026 (updated February 19, 2026) · 2 min · 241 words
AgriWorld:A World Tools Protocol Framework for Verifiable Agricultural Reasoning with Code-Executing LLM Agents

AgriWorld:A World Tools Protocol Framework for Verifiable Agricultural Reasoning with Code-Executing LLM Agents

• Computer Science > Artificial Intelligence [Submitted on 17 Feb 2026] Title:AgriWorld:A World Tools Protocol Framework for Verifiable Agricultural Reasoning with Code-Executing L

Research & Labs · February 18, 2026 (updated February 24, 2026) · 2 min · 241 words
Digital Identities: Getting to Know the Verifiable Digital Credential Ecosystem

Digital Identities: Getting to Know the Verifiable Digital Credential Ecosystem

• a NIST blog Standards in the VDC Ecosystem In our first blog post in this series, we highlighted that VDCs can represent a wide range of credentials, from a driver’s license to a

Our quantum hardware: the engine for verifiable quantum advantage

Our quantum hardware: the engine for verifiable quantum advantage

• Our quantum hardware: the engine for verifiable quantum advantage Oct 22, 2025 Today’s first-ever verifiable quantum advantage was made possible by decades of investment in hardw

Quantum Computing · October 22, 2025 (updated February 24, 2026) · 2 min · 259 words