Expression Syntax Information Bottleneck for Math Word Problems

Expression Syntax Information Bottleneck for Math Word Problems

24 October 2023

Min Yang

Xiping Hu

Papers citing "Expression Syntax Information Bottleneck for Math Word Problems"

4 / 4 papers shown

Title
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Jing Xiong Jianhao Shen Ye Yuan Haiming Wang Yichun Yin ... Yinya Huang Chuanyang Zheng Xiaodan Liang Ming Zhang Qun Liu AIMat LRM 18 15 0 16 Oct 2023
Reusing Pretrained Models by Multi-linear Operators for Efficient Training Yu Pan Ye Yuan Yichun Yin Zenglin Xu Lifeng Shang Xin Jiang Qun Liu 40 16 0 16 Oct 2023
LEGO-Prover: Neural Theorem Proving with Growing Libraries Haiming Wang Huajian Xin Chuanyang Zheng Lin Li Zhengying Liu ... Enze Xie Jian Yin Zhenguo Li Heng Liao Xiaodan Liang LRM 39 61 0 01 Oct 2023
Self-consistent Reasoning For Solving Math Word Problems Jing Xiong Zhongwei Wan Xiping Hu Min Yang Chengming Li ReLM LRM 46 11 0 27 Oct 2022