Dhyey Mavani

(he/him)

AI & Computational Math Researcher @ Amherst College | Featured in Business Insider, VentureBeat, LeadDev, DZone

About

Dhyey is an AI & computational math researcher at Amherst College. His work sits between statistical learning and mathematical rigor, developing methods and software for robust modeling, efficient computation, and machine-assisted reasoning. He's especially interested in bridging foundations (proofs, geometry, probability) with practical ML systems. Previously he has published novel open-source Python packages amassing 40k+ downloads, and published papers with professors and executives of Fortune 500 companies. He's an active guest author and contributing writer to major industry media publications such as VentureBeat, LeadDev, DZone, etc.

...

Connectively

Connectively On

B
Business Insider
V
Venture Beat
d
dzone.com
L
LeadDev

Dhyey Mavani

About

Connectively

Connectively On

About

Featured

Orchestrate a team of agents to reduce on-call burden

Shadow mode, drift alerts and audit logs: Inside the modern audit loop

3 successful job seekers share how they used LinkedIn to stand out and land new roles

Why “which API do I call?” is the wrong question in the LLM era

Why most enterprise AI coding pilots underperform (Hint: It's not the model)

Designing Mathematical Software for Humans

Lean4: How the theorem prover works and why it's the new competitive edge in AI

I landed a job at LinkedIn by posting on the platform. Here's how I built an audience and grabbed the attention of recruiter.

The teacher is the new engineer: Inside the rise of AI enablement and PromptOps

Connectively

Contact Information

Websites

Verification Signals

Experience

Education

Location

Expertise

Connectively On

Featured

Orchestrate a team of agents to reduce on-call burden

Shadow mode, drift alerts and audit logs: Inside the modern audit loop

3 successful job seekers share how they used LinkedIn to stand out and land new roles

Why “which API do I call?” is the wrong question in the LLM era

Why most enterprise AI coding pilots underperform (Hint: It's not the model)

Designing Mathematical Software for Humans

Lean4: How the theorem prover works and why it's the new competitive edge in AI

I landed a job at LinkedIn by posting on the platform. Here's how I built an audience and grabbed the attention of recruiter.

The teacher is the new engineer: Inside the rise of AI enablement and PromptOps

Experience

Education

Location

Expertise

Contact Information

Websites

Verification Signals