Author

Xuyao Feng

h-index 2 View on Semantic Scholar

We have 3 of 5 papers

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 · arXiv.org · 2 citations

#artificial intelligence Book 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 neutr...

Xuyao Feng, Anthony Hunter · Frontiers in artificial inte... · 0 citations

#artificial intelligence Preprint Aug 2026

Pairwise Logical Selection of Enthymeme Completions under Semantic-Link Uncertainty

Arguments often omit premises or claims, forming enthymemes. We study pairwise logical selection between two candidates for the omitted component. Existing natural language methods can identify or generate candidates but often do not expose how the selected candidate completes the inference, while logic-based approache...

Xuyao Feng, Antonis Bikakis · 0 citations