Chengwu Liu
- Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
2025/06/05 by Chengwu Liu, Ye Yuan, Liu, Chengwu +16 · 6 citations
Decision Sciences · Materials Science · Computer Science · #Scientific Computing and Data Management #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing
- Campylotropis anningensis (Fabaceae, Papilionoideae), a new species from Yunnan, China
2026/07/22 by Lu Jiang, Bo Pan, J. Zhu +6 · 1 voice
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · #Genomics and Phylogenetic Studies #Plant Diversity and Evolution #Plant and Fungal Species Descriptions