@chegday

Associate Professor, NYU | Co-Founder, Xcelsa Labs

 New York, NY
chinmayhegde.github.io/
Joined October 2010
  • Tweets220
  • Following701
  • 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,448
Chinmay Hegde retweeted
Michael Carbin
@mcarbinOct 23
Replying to @mcarbin @samth
There will still be many an existential crisis about what to do next. Good next steps are that everyone should go out and build verified systems and figure out how these systems work (hint: there are almost certainly problems)
1
1
4
290
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
130
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,997
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,304
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
72
5,106
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
744
109,518
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,669
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
Load more