Sreehari Sankar

sreeharisankar's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 4 papers about 7 hours ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Paper • 2611.02332 • Published 2 days ago • 9

Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility

Paper • 2608.04001 • Published Aug 4 • 1

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 2

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3