Zhibo Chen

Orcid: 0000-0003-0045-5024

Affiliations:

Carnegie Mellon University, PA, USA

According to our database¹, Zhibo Chen authored at least 4 papers between 2023 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns.

[BibT_eX]

[DOI]

Zhibo Chen

Frank Pfenning

CoRR, 2023

A Logical Framework with Infinitary Terms.

[BibT_eX]

[DOI]

Zhibo Chen

CoRR, 2023

A Logical Framework with Higher-Order Rational (Circular) Terms.

[BibT_eX]

[DOI]

Zhibo Chen

Frank Pfenning

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Zhibo Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...