Papers by Chengzhong Liu

6 papers
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving (2025.emnlp-main)

Copied to clipboard

Challenge: Large language models (LLMs) have shown promising first-order logic (FOL) reasoning capabilities with applications in various areas, but their effectiveness in complex mathematical reasoning involving multi-step FOL deductions remains under-explored.
Approach: They propose a self-adaptive solution that enhances the Diversity and REAsonability of LLMs’ generation strategies by introducing an Axiom-Driven Strategy Diversification mechanism and a Sub-Proposition Error Feedback to help LLM reflect on and correct their proofs.
Outcome: The proposed model improves diversity and REAsonability of LLMs’ generation strategies by introducing an Axiom-Driven Strategy Diversification mechanism and a Sub-Proposition Error Feedback to help LLM reflect on and correct proofs.
InsightEval: An Expert-Curated Benchmark for Assessing Insight Discovery in LLM-Driven Data Agents (2026.findings-acl)

Copied to clipboard

Challenge: Existing frameworks for data analysis and insight exploration are lacking in terms of benchmarks . existing frameworks suffer from format inconsistencies, poorly conceived objectives, and redundant insights.
Approach: They propose a data-curation pipeline to construct a new dataset named InsightEval.
Outcome: The proposed benchmarks highlight prevailing challenges in automated insight discovery and raise key findings to guide future research.
Educational Question Generation of Children Storybooks via Question Type Distribution Learning and Event-centric Summarization (2022.acl-long)

Copied to clipboard

Challenge: Existing methods to generate educational questions of fairytales or storybooks are difficult to implement due to adults lacking the skills or time to integrate such interactive opportunities.
Approach: They propose a question generation method that first learns the question type distribution of an input story paragraph, and then summarizes salient events which can be used to generate high-cognitive-demand questions.
Outcome: The proposed method performs well on automatic and human evaluation metrics on a newly proposed educational question-answering dataset FairytaleQA.
Automate Strategy Finding with LLM in Quant Investment (2025.findings-emnlp)

Copied to clipboard

Challenge: Experimental results demonstrate robust performance of the strategy in Chinese & US market regimes compared to established benchmarks.
Approach: They propose a framework leveraging Large Language Models within a risk-aware multi-agent system for automate strategy finding in quantitative finance.
Outcome: The proposed framework outperforms all benchmarks in Chinese & US market regimes with 53.17% cumulative return on SSE50.
Benchmarking Multi-National Value Alignment for Large Language Models (2025.findings-acl)

Copied to clipboard

Challenge: Existing studies on large language models focus on ethical reviews, failing to capture the diversity of national values.
Approach: They propose a national value extraction pipeline to efficiently construct value assessment datasets and a model-based model with instruction tagging to process raw data sources.
Outcome: The proposed benchmark evaluates the alignment of LLMs with the values of five major nations: China, the United States, the UK, France, and Germany.
FinMME: Benchmark Dataset for Financial Multi-Modal Reasoning Evaluation (2025.acl-long)

Copied to clipboard

Challenge: Multimodal Large Language Models (MLLMs) have experienced rapid development in recent years, but there is a notable lack of effective and specialized multimodal evaluation datasets in the financial domain.
Approach: They introduce FinMME, a multimodal large language model with 11,000 financial research samples and 20 annotators.
Outcome: The proposed model performs better than state-of-the-art models, highlighting its challenging nature.

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