Aman Kumar
3 papers · 3 citations
Most-cited papers
- Hey AI, Generate Me A Hardware Code! Agentic Ai-based Hardware Design & Verification2025 · 3 citations
- Saarthi For AGI: Towards Domain-specific General Intelligence For Formal Verification2026
- Saarthi: The First AI Formal Verification Engineer2025
Topics