Get started
Author

Shurui Liu

Observed name: Liu, Shurui
Institution: Stanford University
Observed institution: Stanford University
OpenAlex ID: A5143761149
Automated Conjecture Resolution with Formal Verification
2026 · Haocheng Ju, Guoxiong Gao, et al. · SuperIntelligence - Robotics - Safety & Alignment · 2
PDF
Kazhdan-Lusztig polynomials of matroids need not be unimodal
2026 · Cheng, Ronnie, Liu, Shurui · arXiv (Cornell University)
PDF
Works count: 2
Citation count:
H-index:
I10-index:
Year
Topic
Type