The session recordings from last week's #NJAISummit Princeton University are now available online.
ai.princeton.edu/engagement/ai-…

Grad students: Check out the call for posters at the DIMACS Workshop on Modeling Randomness in Neural Network Training. June 5-7. It's also possible to apply for travel support. dimacs.rutgers.edu/events/details…
Anand Sarwate

The Workshop on Modeling Randomness in Neural Network Training is on June 5-7 at DIMACS. Organized by Anand Sarwate, Ioana Dumitriu, and Tony Chiang. To register, submit a poster, or request support, please visit dimacs.rutgers.edu/events/details… or rmt4ai.github.io

My post on Avi's Turing award.

blog.computationalcomplexity.org/2024/04/avi-wi…

🏆 We're thrilled to announce the recipient of the 2023 #ACMTuringAward : Avi Wigderson! Wigderson is recognized for his foundational contributions to the theory of computation. Join us in celebrating his incredible achievements! Learn more here: bit.ly/4aGpbiM Institute for Advanced Study (IAS)

Holy cow!!! I knew the day would come that AI automation would help research mathematicians, but I had no idea it would be SO soon!

Case in point: tactics in Lean’s Mathlib can now automatically verify Fermat’s Last Theorem!!

See the image? The “No goals” on the right means

Are you a TCS grad student who doesn't know much about fine-grained complexity, but wish you did? Check out the DIMACS Tutorial on Fine-grained Complexity that Karthik C. S., Amir Abboud, and Nick Fischer are organizing for July 15-19, 2024: dimacs.rutgers.edu/events/details…

Along with Amir Abboud and Nick Fischer, I'm organizing a tutorial in Fine-grained complexity in July 2024, primarily for graduate students. The website to apply is: dimacs.rutgers.edu/events/details….

Are you a TCS grad student who doesn't know much about fine-grained complexity, but wish you did? Check out the DIMACS Tutorial on Fine-grained Complexity that Karthik C. S., Amir Abboud, and Nick Fischer are organizing for July 15-19, 2024: dimacs.rutgers.edu/events/details…

The Workshop on Efficient Algorithms for High Dimensional Metrics will be held at DIMACS on May 6-9, 2024. (Sasho Nikolov ([email protected]) will be a tutorial speaker!) Registration is open and students may apply for (limited) support. For details: dimacs.rutgers.edu/events/details…

Congratulations to Nicole Clark-Johnson! She was recognized by Rutgers SAS for Outstanding Contributions to Operational Excellence. Anyone who has ever attended a DIMACS workshop knows that it is richly deserved! Thank you, Nicole! Rutgers SASMPS

The Workshop on Efficient Algorithms for High Dimensional Metrics will be held at DIMACS on May 6-9, 2024. (Sasho Nikolov ([email protected]) will be a tutorial speaker!) Registration is open and students may apply for (limited) support. For details: dimacs.rutgers.edu/events/details…

Proud to be part of such an impactful program and to work with such an amazing team!
AWiCS is a partnership among us, DIMACS RUDouglass focused on integrated approach to increase the participation of undergraduate women in the CS major at Rutgers. awics.cs.rutgers.edu

Congratulations to DIMACS REU alums George Li (REU 2022 & 2023) and Styopa Zharkov (REU 2023). George Li was selected as an ACM Outstanding Undergraduate researcher and Zharkov received honorable mention! Way to go!
cra.org/crn/2024/01/ou…

This is just wild!

Nov 9: Timothy Gowers @wtgowers, Green, Manners, and Tao prove the polynomial Freiman-Ruzsa conjecture in char 2. arxiv.org/abs/2311.05762

Nov 18: Tao announces that he wants to formalize it in Lean, building on Mathlib. terrytao.wordpress.com/2023/11/18/for…

Dec 4: One little theorem

DIMACS is a great place to be a postdoc, and we are currently hiring for two positions! One is joint with @IAS in TCS and the other is in CS & econ. Check it out and pls share! Rutgers SAS Rutgers SASMPS Rutgers Computer Science Department
jobs.rutgers.edu/postings/211404

Listen to Vladimír Sedláček’s podcast with guest André Hernández-Espiet, as he discusses his work on formalizing Euclidean geometry, different communities around The Lean theorem prover, and much more. mistoproblemu.cz/e/28-andre-her… #Rutgers