​
Login / Signup
Zhibo Chen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Propositional Logic
Pairwise
Higher Order
Qualitative And Quantitative
Top Venues
CoRR
ACL (1)
FoSSaCS
</>
Publications
</>
Chenyang An
,
Zhibo Chen
,
Qihao Ye
,
Emily First
,
Letian Peng
,
Jiayun Zhang
,
Zihan Wang
,
Sorin Lerner
,
Jingbo Shang
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
ACL (1)
(2024)
Chenyang An
,
Zhibo Chen
,
Qihao Ye
,
Emily First
,
Letian Peng
,
Jiayun Zhang
,
Zihan Wang
,
Sorin Lerner
,
Jingbo Shang
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
CoRR
(2024)
Zhibo Chen
,
Frank Pfenning
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns.
CoRR
(2023)
Zhibo Chen
,
Frank Pfenning
A Logical Framework with Higher-Order Rational (Circular) Terms.
FoSSaCS
(2023)
Zhibo Chen
,
Frank Pfenning
A Logical Framework with Higher-Order Rational (Circular) Terms.
CoRR
(2022)