Skip to content
Log in

Author

Xuyao Feng

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Mar 2026

Making Implicit Premises Explicit in Logical Understanding of Enthymemes

A pipeline that integrates a large language model to generate intermediate implicit premises based on the explicit premise and claim, a neuro-symbolic reasoner based on a SAT solver to determine entailment, and a neuro-symbolic reasoner based on a SAT solver to determine entailment is proposed.

Xuyao Feng, Anthony Hunter · 2 citations
#artificial intelligence Preprint Aug 2026

Identifying Implicit Premises for Logical Reconstruction of Argument Graphs

A neuro-symbolic pipeline is proposed that uses large language models to generate intermediate implicit premises that are translated into logical formulae and used with logical formulae representing explicit premises and explicit claims to show the logical relationships between them (entailment, contradiction, or neutrality).

Xuyao Feng, Anthony Hunter · 0 citations