Picture for Yuepeng Wang

Yuepeng Wang

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search

Add code
Apr 09, 2025
Viaarxiv icon

Active operator inference for learning low-dimensional dynamical-system models from noisy data

Add code
Jul 26, 2021
Figure 1 for Active operator inference for learning low-dimensional dynamical-system models from noisy data
Figure 2 for Active operator inference for learning low-dimensional dynamical-system models from noisy data
Figure 3 for Active operator inference for learning low-dimensional dynamical-system models from noisy data
Figure 4 for Active operator inference for learning low-dimensional dynamical-system models from noisy data
Viaarxiv icon