Get started
Author

Yuefeng Wang

Observed names: Wang, Yuefeng, Yutong Wang
Institution: Peking University
Observed institution: Peking University
OpenAlex ID: A5133130477
Automated Conjecture Resolution with Formal Verification
2026 · Haocheng Ju, Guoxiong Gao, et al. · SuperIntelligence - Robotics - Safety & Alignment
PDF
On some open problems in commutative algebra resolved by Rethlas
2026 · Jiang, Jiedong, Li, Yixiao, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count:
H-index:
I10-index:
Year
Topic
Type