Junyu Guo
Identifiers
No identifiers captured yet.
Papers (6)
- Formalizing Wu-Ritt Method in Lean 4 math.AC · 2026 · author #3
- Automated Tactics for Polynomial Reasoning in Lean 4 cs.LO · 2026 · author #2
- LLMs Should Express Uncertainty Explicitly cs.LG · 2026 · author #1
- Differential Mental Disorder Detection with Psychology-Inspired Multimodal Stimuli cs.MM · 2026 · author #4
- Formalizing Gr\"obner Basis Theory in Lean math.AC · 2026 · author #1
- StyleBench: Evaluating thinking styles in Large Language Models cs.LG · 2025 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Hao Shen 3 shared papers
- Lihong Zhi 3 shared papers
- Costas Spanos 2 shared papers
- Javad Lavaei 2 shared papers
- Junqi Liu 2 shared papers
- Ming Jin 2 shared papers
- Shangding Gu 2 shared papers
- Dingkang Wang 1 shared papers
- Jingjing Wu 1 shared papers
- Qiqi Zhao 1 shared papers
- Qi Wang 1 shared papers
- Richang Hong 1 shared papers
- Shijie Hao 1 shared papers
- Xiaowei Zhang 1 shared papers
- Yanrong Guo 1 shared papers
- Yuqi Chu 1 shared papers
- Yuxuan Xiao 1 shared papers
- Zhibo Lei 1 shared papers
- Zhiyuan Zhou 1 shared papers
- Zhongcheng Yu 1 shared papers