Zhicheng Jiang

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
   2025/07/31 by Luoxin Chen, Jinming Gu, Chen, Luoxin +69 · 2 voices · 34 citations
   #cs.AI #cs.CL
2. Revealing nanoscale structural phase separation in La₃Ni₂O_7-δ single crystal via scanning near-field optical microscopy
   2024/10/09 by Xiaoxiang Zhou, Zhou, Xiaoxiang, Weihong He +35 · 4 citations
   Engineering · Materials Science · Physics and Astronomy · #Chalcogenide Semiconductor Thin Films #FOS: Physical sciences #Force Microscopy Techniques and Applications #Quantum Dots Synthesis And Properties #Superconductivity (cond-mat.supr-con)
3. Electronic structure of the high-mobility two-dimensional antiferromagnetic metal GdTe₃
   2020/10/27 by J. S. Liu, Shuchun Huan, Liu, J. S. +23 · 1 citation
   Materials Science · Physics and Astronomy · #2D Materials and Applications #Electronic and Structural Properties of Oxides #FOS: Physical sciences #Materials Science (cond-mat.mtrl-sci) #Topological Materials and Phenomena
4. One-step Latent-free Image Generation with Pixel Mean Flows
   2026/01/29 by Yiyang Lu, Susie Lu, Qiao Sun +6 · 2 voices
   Computer Science · #cs.CV
5. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
   2025/12/19 by Jiangjie Chen, Chen, Jiangjie, Wenxiang Chen +40 · 3 citations
   Computer Science · Materials Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing