Beishui Liao — accepted AI-conference papers

2025

IneqSearch: Hybrid Reasoning for Olympiad Inequality Proofs

NeurIPS 2025poster

Mathematicians have long employed decomposition techniques to prove inequalities, yet automating this process remains a significant challenge in computational mathematics. We introduce IneqSearch, a hybrid reasoning system that integrates symbolic computation with large language models (LLMs) to add…

Cited by 0 Source ↗Scholar ↗

2025

Out-of-Distribution Detection via LLM-Guided Outlier Generation for Text-attributed Graph

Xiangwei Lv, Mengze Li, Jingyuan Chen, Zhiang Dong, Sirui Han, Beishui Liao

ACL 2025finding

Text-Attributed Graphs (TAGs), which are characterized with text attributes, are widely used in the real world. When evaluating fully trained models designed for TAG predictions, they may perform significantly unsatisfactory on samples outside the In-Distribution (ID) data, which may raise serious s…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗