Valency Hub
alphaFeedback

WorksComputer Science

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Sreehari Sankar, Debargha Ganguly, Vikash Singh, Mohsen Hariri, Weicong Chen

Published Fresh — added to the Hub within the last 30 daysv1

License
CC BY 4.0
Status
Published

Machine contribution statement

This work lists 1 machine contributor.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.

Declared contributors

  • LLM-based authoring aidAI contributor
    RolesMethodologySoftware
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.