Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Cao C, Li M, Dai J, et al. Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving[J]. arXiv preprint arXiv:2506.17104, 2025.
CV
Education
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
- M.S. in Jekyll, GitHub University, 2014
- B.S. in GitHub, GitHub University, 2012
Work experience
- Spring 2024: Academic Pages Collaborator
- GitHub University
- Duties includes: Updates and improvements to template
- Supervisor: The Users
- Fall 2015: Research Assistant
- GitHub University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
- Summer 2015: Research Assistant
- GitHub University
- Duties included: Tagging issues
- Supervisor: Professor Git
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
SafeLawBench: Towards Safe Alignment of Large Language Models
Cao C, Zhu H, Ji J, et al. SafeLawBench: Towards Safe Alignment of Large Language Models[J]. arXiv preprint arXiv:2506.06636, 2025.
Measuring Hong Kong Massive Multi-Task Language Understanding
Cao C, Zhu Z, Zhu J, et al. Measuring Hong Kong Massive Multi-Task Language Understanding[J]. arXiv preprint arXiv:2505.02177, 2025.
ScholarGPT: Fine-tuning Large Language Models for Discipline-Specific Academic Paper Writing
Cao, Chuxue; Yuan, Ziqing; and Chen, Hailiang, "ScholarGPT: Fine-tuning Large Language Models for Discipline-Specific Academic Paper Writing" (2024). PACIS 2024 Proceedings. 1. https://aisel.aisnet.org/pacis2024/track04_dessci/track04_dessci/1
Medical Scene Graphs and Reasoning
C. Cao et al., "Medical Scene Graphs and Reasoning," 2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Houston, TX, USA, 2021, pp. 645-648, doi: 10.1109/BIBM52615.2021.9669882.
Talks
Conference Proceeding talk 3 on Relevant Topic in Your Field
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA, USA
Talk 2 on Relevant Topic in Your Field
Talk at London School of Testing, London, UK
Tutorial 1 on Relevant Topic in Your Field
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley, CA, USA
Talk 1 on Relevant Topic in Your Field
Talk at UC San Francisco, Department of Testing, San Francisco, CA, USA
Teaching
Service and leadership
- Currently signed in to 43 different slack teams