On the Complexity of First-Order Methods in Stochastic Bilevel Optimization

Cucker–Smale type flocking models on a sphere

The regularity with respect to domains of the additive eigenvalues of superquadratic Hamilton–Jacobi equation

Area-Preserving Anisotropic Mean Curvature Flow in Two Dimensions

순열 동변적인 데이터의 특성을 고려한 트랜스포머 구조 기반 다중 객체 이동 궤적 보간 모델

Simon's congruence pattern matching

Simon's congruence pattern matching

Towards Efficient Formal Verification of Spiking Neural Network

CodeComplex: Dataset for Worst-Case Time Complexity Prediction

Transformer-Based Multi-Agent Trajectory Imputation Model using Permutation Equivariance