Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...

Abstract: Inspired by the idea of multiple Lyapunov functions (MLFs), we use piecewise continuous scalar functions to investigate the stabilizability of time-varying switched systems. Starting with ...

Abstract: Source code summarization is the task of writing natural language descriptions of source code. The primary use of these descriptions is in documentation for programmers. Automatic generation ...

C-Graph takes a given Github repo, extracts the C files, and generates a function call graph. It then displays this as a force directed graph on the right and a panel of code on the left. This allows ...

The course gives insight into theory and algorithms for fundamental mathematical problems associated with systems of equations, optimization, and approximation of functions. There are many ...