IPAM is holding an Industrial Short Course on Generative AI Algorithms on March 5-6, 2026. https://www.ipam.ucla.edu/programs/special-events-and-conferences/industrial-short-course-generative-ai-algorithms/

The short course is aimed at people from industry or government who want to get started in deep learning, apply deep learning to their projects, learn how to code deep learning algorithms, and upgrade their skills to the latest AI algorithms, including generative AI. The course will be taught be Professor Xavier Bresson from the Department of Computer Science at the National University of Singapore (NUS).

The course will be limited to 25 participants. The fee for this course is $2,500 for participants. Registration closes soon (Feb 5); we still have a few spots available.

Sweet embedding of RISC V asm at Lean Together

https://researchseminars.org/talk/LT2026/37/

@ilyasergey just gave an amazing talk about Veil [1] at AWS; it's legitimately the coolest project I've seen in a while and I want to boost it.

Veil is a framework for verifying distributed protocols that combines several verification techniques like Hoare logic proofs, SMT proofs, bounded model checking, and property-based testing all in an interactive environment embedded inside of Lean. I'm a little blown away that they got so many technologies to work together in concert, and seeing a real lightweight verification tool like this is so so so cool!

[1] https://github.com/verse-lab/veil

I am hiring!

I have a fully funded PhD position available for someone with an interest in logic and statistics, at Delft University of Technology (Netherlands).

Application deadline: 31 August 2025

https://careers.tudelft.nl/job/Delft-PhD-Position-Symbolic-AI-and-Reasoning-Under-Uncertainty-2628-CD/824585702/

#AcademicJobs #AcademicMastodon #GetFediHired #AcademicJob #SymbolicAI #Statistics #AI #ConstraintProgramming #CombinatorialOptimisation #SensitivityAnalysis #FormalMethods #CombinatorialOptimization #Delft #TUDelft #AcademicChatter