Showing 1–20 of 31 results
/ Date/ Name
Oct 19, 2023Reinforcement Learning in Control Theory: A New Approach to Mathematical Problem SolvingMay 13, 2022A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehiclesOct 8, 2021Fredholm transformation on Laplacian and rapid stabilization for the heat equationMar 4, 2026Rapid stabilization of general linear systems with F-equivalenceOct 27, 2023Traffic smoothing using explicit local controllersApr 25, 2020Input-to-State Stability in sup norms for hyperbolic systems with boundary disturbancesMar 5, 2026Boundary stabilization of flows in networks of open channels modeled by Saint-Venant equationsApr 6, 2026Global boundary stabilization of 1d systems of scalar conservation lawsNov 25, 2020Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the $L^{2}$ normJan 2, 2022Stability of multi-population traffic flowsFeb 27, 2026LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in MathematicsAug 5, 2021PI controllers for the general Saint-Venant equationsJan 8, 2018Exponential stability of general 1-D quasilinear systems with source terms for the $C^1$ norm under boundary conditionsJul 13, 2023Boundary stabilization of one-dimensional cross-diffusion systems in a moving domain: linearized systemJun 11, 2020Learning advanced mathematical computations from examplesMay 18, 2020Feedforward boundary control of $2 \times 2$ nonlinear hyperbolic systems with application to Saint-Venant equationsApr 22, 2021Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing ControllersOct 10, 2024Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformersAug 29, 2025F-equivalence for parabolic systems and applications to the stabilization of nonlinear PDEMay 23, 2022HyperTree Proof Search for Neural Theorem Proving