Papers by Shuai Mao

3 papers
AntiLeakBench: Preventing Data Contamination by Automatically Constructing Benchmarks with Updated Real-World Knowledge (2025.acl-long)

Copied to clipboard

Challenge: Existing studies solve this challenge by updating benchmarks with newly collected data, but they fail to guarantee contamination-free evaluation as the newly collected knowledge may contain pre-existing knowledge.
Approach: They propose an automated anti-leakage benchmarking framework that builds and updates benchmarks without human labor instead of using newly collected data.
Outcome: The proposed framework significantly reduces the cost of benchmark maintenance to accommodate emerging LLMs.
Knowledge-Augmented Question Error Correction for Chinese Question Answer System with QuestionRAG (2025.emnlp-industry)

Copied to clipboard

Challenge: Large language models struggle with input errors, often failing to interpret user intent or altering the original question’s structure (over-correction).
Approach: They propose a framework that uses reinforcement learning to address misinterpretation and over-correction by integrating external knowledge with the input.
Outcome: The proposed framework unlocks the full potential of LLMs for the question correction task.
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions (2026.acl-long)

Copied to clipboard

Challenge: Existing methods for geometry theorem proving in Euclidean geometry are challenging and require a neural network to perform.
Approach: They propose a method for adding auxiliary points in geometry that runs on CPUs without relying on neural network-based inference.
Outcome: The proposed method achieves silver-medal-level human performance on IMO-30 benchmark.

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