Search

Home
News
Featured
Publications
Service
Awards

Light Dark Automatic

Conference paper

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu

PDF Cite DOI URL Code

MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure

Yinya Huang, Hongming Zhang, Ruixin Hong, Xiaodan Liang, Changshui Zhang, Dong Yu

PDF Cite DOI URL Code

REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement

Yinya Huang, Meng Fang, Xunlin Zhan, Qingxing Cao, Xiaodan Liang

PDF Cite DOI URL Code

DAGN: Discourse-Aware Graph Network for Logical Reasoning

Yinya Huang, Meng Fang, Yu Cao, Liwei Wang, Xiaodan Liang

PDF Cite DOI URL Code

«

© 2025 Yinya Huang. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite