@chegday

Associate Professor, NYU | Co-Founder, Xcelsa Labs

 New York, NY
chinmayhegde.github.io/
Joined October 2010
  • Tweets219
  • Following697
  • Followers602
13Media
I've been itching to announce this for a while: @XcelsaLabs is proud to announce a strategic partnership with @mips_riscv and @GlobalFoundries. Never better a time than now to shape the future of silicon design --- and scaling up verification within design workflows will be the key unlock. Onwards and upwards 馃殌馃殌 .
Xcelsa Labs
@XcelsaLabsSep 29
1/ Today, we're excited to announce our partnership with @mips_riscv (a @GlobalFoundries company) to help accelerate the development of custom silicon. 馃У
1
8
1,436
Thought provoking vision from @kmarwahaha
Kunal Marwaha@kmarwahahaOct 12
I have a vision for how mathematicians can respond to AI: we should steward a "world commons" of mathematics. Here鈥檚 the idea: worldmathcommons.org/
4
123
Chinmay Hegde retweeted
Kunal Marwaha@kmarwahahaOct 12
I have a vision for how mathematicians can respond to AI: we should steward a "world commons" of mathematics. Here鈥檚 the idea: worldmathcommons.org/
1
7
2
38
5,944
Chinmay Hegde retweeted
Thatchaphol Saranurak@eigOct 6
Another very normal day, lol APSP and 3SUM hypotheses are refuted: arxiv.org/abs/2610.06783v1 KLS conjecture is proved: arxiv.org/abs/2610.01447v2

Truly Subquadratic 3SUM and Truly Subcubic APSP via Triangles in...

We give the first polynomial improvements over the textbook algorithms for $3$SUM and All-Pairs Shortest Paths (APSP): we show how to deterministically solve $3$SUM on $n$ integers of polynomial...

arxiv.org
1
17
1
95
9,236
Two years of work and algorithmic innovation later, we have a clearly superhuman Stratego AI and the techniques scale generally to other imperfect information settings!
Samuel Sokota@ssokotaSep 30
In our Nature paper, we introduce the first superhuman Stratego AI, which we built using general techniques that we developed for RL & test-time compute under imperfect information. 1/N
1
6
73
5,072
Chinmay Hegde retweeted
Anshul Kundaje@anshulkundajeSep 19
If it's isn't obvious already, it is the end of papers as a measure of productivity, expertise or accomplishment. The odds of publishing in "glam" conferences & journals also very quickly approaches random & the time for gate keeping review increasing exponentially. 1/
31
78
20
746
109,462
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
2
1
15
1,658
more replies
And kudos to @patrickshafto and everyone in DARPA expMath for being a beacon in this new, strange , definitely exciting, world that we are entering. 12/12
1
1
7
254
Lipschitz regularity: arxiv.org/abs/2608.16653 Bohnenblust鈥揌ille constants: arxiv.org/abs/2608.16584

Uniform Lipschitz regularity for two-phase singularly perturbed...

We study sign-changing viscosity solutions of the singularly perturbed fully nonlinear equation $$ F(D^2u_\varepsilon) = \frac伪{\varepsilon}...

arxiv.org
3
63
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
64
7
473
43,242
more replies
10/ Huge thanks to my collaborators Claudio Silva, @shwestrick Sam Westrick, Eduardo Teixeira, Jaume de Dios Pont, Daniel Arturi, Shashwat Patel, Kevin Gomez, and many others. Much of Lea is the result of their hard work, and it's a joy to work with them.
1
23
1,725
11/ Get Lea here: Website: vida-nyu.github.io/Lea/ Repo: github.com/VIDA-NYU/Lea Discord: discord.gg/CtEJvUTjm
1
6
38
2,197
Load more