Dhyey Mavani 🌿
Dhyey Mavani dh-y-ai-y

Software Engineer, Agentic AI

I work on agentic AI at LinkedIn — mostly evaluation, context engineering, and the unglamorous parts of getting agents to survive contact with real users. Before that, inference and recommender infrastructure. Before that, a liberal arts degree in computer science, mathematics and statistics, and two honors theses I still think about.

I write here about what breaks: single-step evals that pass while the twenty-step agent fails, papers that turn into exactly one engineering decision, and formal methods that turned out to be load-bearing for AI.

I also maintain a few open source packages — ccrvam, chipfiring and QuantileFlow.

My operating principle is one borrowed phrase: stay green. Curious enough to ask the obvious question in a room full of experts, and hands-on enough to go test the answer that night.

Interests
  • AI agents and evaluation
  • LLM inference and serving
  • Formal methods and Lean 4
  • Statistical learning
Education
  • Computer Science, Mathematics and Statistics

    Amherst College

Writing