Zhibo Chen
Email: zhiboc@andrew.cmu.edu | dblp | Google Scholar
Biography
I am currently a Ph.D. student at Carnegie Mellon University. I am working with Frank Pfenning on logical frameworks.
I obtained the degree of B.S. in Computer Science at University of California, San Diego, and M.S. in Computer Science at Carnegie Mellon University.
Research Interest
I am interested in dependent type theories and their applications in functional and logic programming.
Publications and Manuscripts
2025
- A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns. Zhibo Chen and Frank Pfenning.
ACM Transactions on Computational Logic (TOCL 2025). January 2025.
[
website
| pdf (acm)
| pdf (local)
]
CoRR abs/2312.07263.
[ arxiv
| pdf (arxiv)
]
2024
- Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
Chenyang An, Zhibo Chen, Qihao Ye, Emily First, Letian Peng, Jiayun Zhang, Zihan Wang, Sorin Lerner, Jingbo Shang.
Association for Computational Linguistics (ACL 2024). August 2024.
[ website
| pdf (acl)
| pdf (local)
]
CoRR abs/2404.07382.
[ arxiv ]
2023
- A Logical Framework with Infinitary Terms. Zhibo Chen.
CoRR abs/2312.05919. December 2023.
[ arxiv
| pdf (arxiv)
| pdf (local)
]
- A Logical Framework with Higher-Order Rational (Circular) Terms. Zhibo Chen and Frank Pfenning.
Foundations of Software Science and Computation Structures (FoSSaCS 2023). April 2023.
Lecture Notes in Computer Science, vol. 13992. Springer 2023.
[
website
| pdf (springer)
| pdf (local)
].
Extended Version Available as CoRR abs/2210.06663.
[ arxiv
| pdf (arxiv)
| pdf (local)
]
Implementation is available. [ CoLF Implementation ]
2021
- Towards a mixed inductive and coinductive logical framework.
Zhibo Chen. Master's Thesis.
Available as CMU-CS-21-144, Technical Report, School of Computer Science, Carnegie Mellon University. December 2021.
[ website
| pdf (cmu)
| pdf (local)
]
Teaching