Chinmay Hegde

@chegday

Associate Professor, NYU | Co-Founder, Xcelsa Labs

New York, NY

Chinmay Hegde
@chegday
Sep 9
My social media feed is full of AI, mathematics, and PDEs today. Amidst all the buzz, I want to celebrate two papers by my friend and PDE expert Eduardo Teixeira and our DARPA expMath collaboration, and share a bit of the human story behind them. 1/
1
Chinmay Hegde
@chegday
Aug 14
1/ Today we are releasing Lea, a Lean theorem proving agent built for mathematicians. Lea has internally closed and formalized open problems in PDEs and theory CS, and comes out of DARPA's expMath program. 🧵
10
Chinmay Hegde
@chegday
Aug 4
Article
The next frontier
In which I first grapple with existential crises, and then argue that hope springs eternal. The AI news fills me with a constant state of low-grade, stomach-rumbling dread. The most recent trigger is...
Chinmay Hegde
@chegday
Jul 29
I'm proud to share the launch of Xcelsa Labs. The world is bottlenecked on compute. In order for the promise of AI to be delivered widely to the world, we need vastly better chips. (And we needed them yesterday). Siddharth Garg, Srikanth Jagabathula and I spent much of the
Chinmay Hegde
@chegday
Jun 25
Huge congrats to the entire OT-Agent team for continuing to push the frontier of open source models.
Richard Zhuang
@RichardZ412
Jun 24
How can we train small agentic models that are highly capable of terminal use and coding? Announcing OpenThoughts-Agent + OpenThinkerAgent-32B, the strongest Qwen-3 based open-data agentic model: 44.8% avg across 7 agentic benchmarks! (1/n)