Publications

You can also find my articles on my Google Scholar profile.

Oral Presentations

Analysis of Automated Theorem Proving through Abstraction of Logical Expressions

Muyu Pan

Published in National Conference on Undergraduate Research (NCUR), 2025

Conference Papers

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic

Muyu Pan, Dheeraj Kodakandla, and Mahfuza Farooque

Published in 2025 IEEE International Symposium on Networks, Computers and Communications (ISNCC), 2025