Aarav Verma
aaravver
ยท
AI & ML interests
tensorflow, agents, prompt engineering, quantization
Recent Activity
upvoted a paper 6 days ago
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? upvoted a paper 6 days ago
STEPQuant: When and Where Errors Matter in Delta-Rule Recurrent State QuantizationOrganizations
None yet