PhD student @Oxford and very slow ultrarunner :)

Oxford/Malta
Joined April 2023
Looking forward to presenting this work at #NeurIPS2024 ! Come find us on Thursday from 11-2 @ West Ballroom A-D #6907
2
7
357
My first PhD paper!🎉We learn *diffusion* models for code generation that learn to directly *edit* syntax trees of programs. The result is a system that can incrementally write code, see the execution output, and debug it. 🧵1/n
111
578
125
5,321
742,866
Jason Rader retweeted
Jasmin Paris @JasminKParis finished loop five of the #BM100 in 59:58:21.
2,489
3,339
2,735
20,401
2,744,341
CDT student @packquickly has been working on open-source software with Google that is now available via github.com/google/lineax. Lineax is a JAX library for fast linear solves and least squares. 1/2
1
1
4
835
🌟Announcing "Lineax" - our newest #JAX library! For fast linear solves and least squares. GitHub: github.com/google/lineax * Fast compile time * Fast runtime * Efficient new algorithms (e.g. QR) + existing ones (GMRES, LU, SVD, ...) * Support for general linear operators🔥 1/
6
38
4
311
50,959
Jason Rader retweeted
Day 200 / 6,436 miles / 32 miles a day “I’m pretty tired… I think I’ll go home now” —Forrest Gump – at Boulder, CO
631
337
179
5,563
526,584