Papers by Lei Zuo

3 papers
Improving Conversational Recommendation Systems’ Quality with Context-Aware Item Meta-Information (2022.findings-naacl)

Copied to clipboard

Challenge: Existing approaches to integrate the recommendation function and dialog generation function smoothly are lacking.
Approach: They propose to integrate dialog context for recommendation and dialog generation better using a pre-trained language model and an item metadata encoder to integrate the recommendation and dialogue generation.
Outcome: The proposed architecture improves the integration of recommendation and dialog generation functions.
QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs (2025.acl-long)

Copied to clipboard

Challenge: Existing formal languages such as Lean, Coq and Metamath are proving to be useful in formal theorem proving . however, there is a scarcity of high-quality supervised fine-tuning data for formal proofs .
Approach: They propose a Q**uality-**D**riven **T**heorem **S**ynthesis method in Lean4 . they propose diversity screening and the self-assessment method to select theoremas that exhibit diversity and high quality from the initial synthetic statements.
Outcome: The proposed method significantly improves performance of open-source LLMs in theorem proving tasks.
Speak No Evil, Just Prompt: Low-resource Multilingual Toxic Speech Detection with Audio Language Model (2026.findings-acl)

Copied to clipboard

Challenge: Existing methods for toxic speech detection rely on high-resource languages and lack acoustic cues.
Approach: They propose a prompt-based adaptation framework that performs end-to-end toxicity detection without ASR.
Outcome: The proposed framework achieves a micro-averaged ROC-AUC of 98.07% on polySpeechTox . it is based on a frozen audio language model and can perform end-to-end toxicity detection without ASR .

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