🤝 Open to Collab

Vikash Singh

optimusPrimeBee

·

https://vikash-singh.me

AI & ML interests

Formal Verification, Machine Learning

Recent Activity

authored a paper about 7 hours ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

upvoted a paper about 10 hours ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

authored a paper 3 days ago

Scaling Lean Theorem Proving for Real-World Code Verification

View all activity

Organizations

Papers 11

arxiv:2611.02332

arxiv:2610.38174

arxiv:2609.11085

arxiv:2609.09264

models 0

None public yet

datasets 0

None public yet