4 papers
An Extensible and Verifiable Language for Query Rewrite Rules
Sicheng Pan, Shuxian Wang, Wesley Zheng +3
Logical query plan rewriting transforms a relational database query into an equivalent but more efficient form and is crucial to the performance of database-backed applications. In…
FrontierCS: Evolving Challenges for Evolving Intelligence
Qiuyang Mang, Wenhao Chai, Zhifei Li +48
We introduce FrontierCS, a benchmark of 156 open-ended problems across diverse areas of computer science, designed and reviewed by experts, including CS PhDs and top-tier competiti…
Global dissipative solutions of the 3D Naiver-Stokes and MHD equations
Alexey Cheskidov, Zirong Zeng, Deng Zhang
For any divergence free initial data in , we prove the existence of infinitely many dissipative solutions to both the 3D Navier-Stokes and MHD equations, whose energy pr…
Non-Leray-Hopf solutions to 3D stochastic hyper-viscous Navier-stokes equations: beyond the Lions exponents
Wenping Cao, Zirong Zeng, Deng Zhang
We consider the 3D stochastic Navier-Stokes equations (NSE) on torus where the viscosity exponent can be larger than the Lions exponent 5/4. For arbitrarily prescribed divergence-f…