patrickshafto.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

Mathlib is a community-built library of mathematics in Lean with nearly 1.8MM lines of code and 190K mathematical theorems! Over 500 contributors have helped drive Mathlib forward at an incredible pace! Learn more at: leanprover-community.github.io/index.html #leanlang #leanprover #community

submitted 5 hours ago • 0 comments

Our vision spans formal mathematics, software and hardware verification, software development, AI research, and education. We're fostering a decentralized ecosystem thriving on collaboration within our global community at leanprover.zulipchat.com #leanlang #leanprover #mathematics

submitted 10 hours ago • 0 comments

DARPA released a Request for Information (RFI) that seeks community feedback on the draft DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (“the FMDRS Guide”). You can find the RFI here on Sam.gov. Details in the image...

submitted 13 days ago • 0 comments

Optimal transport makes the NYT!

submitted 13 days ago • 1 comment

Looking forward to this talk by Leonardo de Moura! @leanprover www.simonsfoundation.org/event/verifi...

submitted 13 days ago • 0 comments

Simons Institute special year on Language models and transformers, includes some great upcoming workshops: The future of LLMs AI for math Safety guarantees Theory of trustworthy AI So stoked that we @ darpa are supporting this amazing work. simons.berkeley.edu/programs/spe...

submitted 15 days ago • 0 comments

#DARPA just announced a forthcoming program entitled "Exponentiating Mathematics", focusing on challenges to auto-formalization (and auto-decomposition of large proofs into small lemmas). The preliminary announcement (still short on many details) can be found at sam.gov/opp/4def3c13...

submitted 20 days ago • 3 comments

Super excited: my new @darpa program on AI for pure mathematics! Exponentiating Mathematics (expMath) aims to accelerate the rate of progress in pure math through the development of an AI collaborator and new professional-level math benchmarks. sam.gov/opp/4def3c13...

submitted 20 days ago • 0 comments

Exciting opportunity at the Columbia DAPLab! We are looking to hire a postdoc to work on AI Agents at the intersection of systems, AI, and HCI for Fall 2025. 🔥 Check out the details in the job post here: daplab.cs.columbia.edu/positions #ColumbiaUnversity #AI #AIAgents

submitted 20 days ago • 0 comments

The "Lean for Mathematicians" workshop, aimed at training graduate students and postdocs in the use of the Lean proof assistant language for mathematics, runs June 16-27 2025 and is currently taking applications. sites.google.com/view/simonsl...

submitted 23 days ago • 1 comment

I have big news: @ellis.eu has launched its 2nd major research center, @ellisfinland.bsky.social! I have agreed to start as founding director & the first call for PI positions is open. This is a major opportunity for outstanding researchers, join us! ellisinstitute.fi/PI-recruit

submitted 23 days ago • 2 comments

Titouan Vayer and I are organizing a one day workshop on optimal transport and machine learning in ENS Lyon on Feb. 17. Registration is free but mandatory. The incredible keynote speakers are Laetitia Chapel, Filippo Santambrogio and @brunolevy01.bsky.social. gdr-iasis.cnrs.fr/reunions/tra...

submitted 41 days ago • 3 comments

🧠 What if nature holds the blueprint for the next revolution in computation? 🌿 Share your boldest FRO ideas for redefining compute & tag someone thinking about this! ⤵️

submitted 28 days ago • 1 comment

New album just dropped: arxiv.org/abs/2501.13175

submitted 35 days ago • 5 comments

Video of Arnaud Doucet's Breiman Lecture is now available #ML

submitted 36 days ago • 0 comments

check this out: new postdoc program for AI-related research in Catalunya! our group is looking to hire within this program, ideally to work on topics related to RL theory. in case you're interested, pls DM or email me. (retweets appreciated!) ramonllull-aira.eu/application

submitted 36 days ago • 0 comments

📣My team at Microsoft Research New York is hiring a senior researcher in AI, both broadly in AI/ML, and in some specific areas including science of deep learning and modular transfer learning. Apply by February 7, 2025 on the link below. jobs.careers.microsoft.com/global/en/jo...

submitted 42 days ago • 0 comments

I would pay good money for a GenAI blocker (like Ad block, but for silly and superfluous uses of generative AI in apps and websites!)

submitted 42 days ago • 2 comments

I am hiring a postdoc. We are especially interested in folks with strong (pure) math backgrounds who are interested in working in machine learning / AI. Please share broadly and feel free to reach out directly! www.mathjobs.org/jobs/list/26...

submitted 42 days ago • 0 comments

I'm going to slowly repost my math notes from the other site🐦 here🦋; it's the only thing I posted over there that I think may have some long-term value & worth not deleting. These started out as notes for myself, but people seem to appreciate them. 😅 I'll keep track of all of them in this thread.

submitted 105 days ago • 3 comments

Giving a talk at 10 today in Tahoma 2 about the cocharacteristic function and consulates transfer systems for factorization systems on poset categories!

submitted 49 days ago • 1 comment

The Santa Fe Institute @sfiscience.bsky.social is looking for new faculty members! Surely one of the best gigs in the world. santafe.edu/about/jobs/r...

submitted 50 days ago • 3 comments

I'm at #JMM2025! I'll be giving a talk later today on some work at DARPA "AI for math and math for AI". meetings.ams.org/math/jmm2025... Please reach out if you are interested in talking AI & Math!

submitted 50 days ago • 1 comment

A recent interview I did for the Brains and Machines podcast. www.eetimes.com/podcasts/rob...

submitted 51 days ago • 0 comments

📢 My team at Meta (including Yaron Lipman and Ricky Chen) is hiring a postdoctoral researcher to help us build the next generation of flow, transport, and diffusion models! Please apply here and message me: www.metacareers.com/jobs/1459691...

submitted 52 days ago • 1 comment

😍😍😍 lmbp.uca.fr/stflour/

submitted 53 days ago • 2 comments

I done another blog post Featuring autodiff in Aptwe https://cybercat.institute/2025/01/03/bidirectional-programming-iv/

submitted 55 days ago • 0 comments

I've recently been talking a bit about how difficult it is to carefully check even well-written mathematics. I want to try to explain something about this by telling the story of some errors in the literature that (in part) led to the two papers below. 1/n

submitted 57 days ago • 7 comments

In the interest of generating more ML/AI discussion here - here's a really interesting looking paper from Mason Kamb and @suryaganguli.bsky.social on an analytic theory of diffusion models. t.co/SYkAAh6k4C

submitted 57 days ago • 1 comment

PLS SHARE Open position for an Associate Professor in Machine Learning at our department (@enginyeria-upf.bsky.social / @upf.edu), via the Serra Hunter programme. DEADLINE: January 13th 2025 www.upf.edu/web/personal...

submitted 68 days ago • 0 comments

I wrote a blog post on how quaternions can be used to derive the equations of spherical geometry, as well as the sunrise equation relating the time of sunrise or sunset to one's latitude and the declination of the Sun. terrytao.wordpress.com/2024/12/19/q...

submitted 70 days ago • 0 comments

If you are into ML theory (RL or not) with a proven track record, and you are interested in an industry research position, PM me. Feel free to spread the word.

submitted 71 days ago • 3 comments

AI for Mathematics and Theoretical Computer Science, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025. simons.berkeley.edu/workshops/si...

submitted 87 days ago • 1 comment

Sincere thanks to Carolina Ruggero and the Harvard Graduate School of Education Media team for inviting me to talk with them about curiosity. They took a casual conversation and with some media magic turned it into a great little clip! www.youtube.com/watch?v=T3eL...

submitted 71 days ago • 1 comment

Huge opportunity!

submitted 71 days ago • 0 comments

Great talk!

submitted 74 days ago • 0 comments

We collected lecture notes and blog posts by group members about recent topics in deep learning theory here. Hope it is useful! pehlevan.seas.harvard.edu/resources-0

submitted 98 days ago • 1 comment

We’re presenting our work “When to Sense and Control? A Time-adaptive Approach for Continuous-Time RL” today at NeurIPS. Come join us in West at poster #6604 from 16:30-19:30! Joint work with my fantastic collaborators Bhavya Sukhija, Yarden As, Florian Dörfler, @arkrause.bsky.social

submitted 76 days ago • 1 comment

Now is your chance! "Action gaps and advantages in continuous time distributional RL" Poster 6410 #NeurIPS2024

submitted 76 days ago • 0 comments

Today at NeurIPS, we’ll be presenting our Noether's Razor paper! 📜✨ 📅 Today Fri, Dec 13 ⏰ 11 a.m. – 2 p.m. PST 📍 East Exhibit Hall A-C, #4710 (ALL the way in the back I believe!) w/ @mvdw.bsky.social @pimdh.bsky.social Come say hi! 👋

submitted 76 days ago • 2 comments

Enigma's at NeurIPS - come find us. New jobs posted on our website for research scientists & engineers in multi-modal modeling & interpretability enigmaproject.ai

submitted 76 days ago • 3 comments