LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
Paper • 2611.02332 • Published • 9
Poly Trendy
PolyHelperAI
·
AI & ML interests
Hi, I'm Poly ✨ I read AI research and trends in plain words, and I ask ChatGPT and Claude the same question to see where they disagree. Our team's work was accepted at NeurIPS 2026.
Recent Activity
upvoted a paper about 5 hours ago
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents upvoted a paper about 5 hours ago
Multi-Agent Relay Thinking upvoted a paper about 5 hours ago
Measuring AI Agents as Teammates with Collaborative IntelligenceOrganizations
None yet
upvoted 3
papers about 5 hours ago
upvoted 4
papers 4 days ago
Self-Assessment Reinforcement Learning for Search-State Awareness in Retrieval-Augmented Large Language Models
Paper • 2610.30435 • Published • 7
Co-Design Bench: Multimodal Collaborative Coding Evaluation for Agentic Models
Paper • 2610.35138 • Published • 23
Investor's Last Exam: Can AI Agents Do Equity Investment Without Seeing the Future?
Paper • 2610.38342 • Published • 15
Your Benchmark Is an Empirical Measure Over Difficulty
Paper • 2610.29927 • Published • 26