A Logical Framework with Higher-Order Rational (Circular) Terms. - Zhibo Chen 009; Frank Pfenning (FoSSaCS, 2023)

A Logical Framework with Infinitary Terms. - Zhibo Chen 009 (CoRR, 2023)

Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving. - Chenyang An; Zhibo Chen 009; Qihao Ye; Emily First; Letian Peng; Jiayun Zhang; Zihan Wang 001; Sorin Lerner; Jingbo Shang (ACL (1), 2024)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns. - Zhibo Chen 009; Frank Pfenning (ACM Trans. Comput. Log., 2025)

Querying Graph-Relational Data. - Michael J. Sullivan; Zhibo Chen 009; Elvis Pranskevichus; Robert J. Simmons; Victor Petrovykh; Aljaz Mur Erzen; Yury Selivanov (CoRR, 2025)