ID
Idan Davidovich
cs.CLcs.LO
On Valency
published · living versionsW_mmefdpxh·v1 · currentpublished
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
with Sreehari Sankar, Debargha Ganguly, Vikash Singh, Mohsen Hariri +15
1 version
Preprints & journals
1 paper in the corpus · 2026StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean2609.09264v1 · Idan Davidovich, Debargha Ganguly, Vikash Singh et al.2026 · 0 citationsarXiv
Career total: 1 work. 1 is in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.