Papers by Yanxiao Zhao

2 papers
Learning to Edit Knowledge via Instruction-based Chain-of-Thought Prompting (2026.acl-long)

Copied to clipboard

Challenge: Existing knowledge editing methods focus on structured fact triples, overlooking diverse unstructured forms of factual information.
Approach: They propose a method that allows LLMs to edit knowledge via **Chain of Thoughts** reasoning.
Outcome: The proposed method achieves strong generalization across six diverse knowledge editing scenarios with a single round of training on three open-source language models.
SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs (2026.acl-long)

Copied to clipboard

Challenge: Large language models exhibit strong general reasoning abilities, yet the community lacks controllable, scalable, and verifiable tools to analyze and improve them.
Approach: They propose a verifier that generates diverse SAT-based reasoning tasks from CNF instances and checks answers objectively with PySAT.
Outcome: The proposed verifier generates diverse SAT-based reasoning tasks from CNF instances and checks answers objectively with PySAT.

What is GenGO?

GenGO is an NLP powered publication search system. It currenctly indexes 30k+ papers from ACL Anthology, and implements multi-aspect summarization, semantic search, and more!

Information

About
Limitations