ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision EACL

Qianying Liu | Wenyu Guan | Jianhao Shen | Fei Cheng | Sadao Kurohashi |

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models EMNLP

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 |

DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL

Haiming Wang | Ye Yuan | Zhengying Liu | Jianhao Shen | Yichun Yin | Jing Xiong | Enze Xie | Han Shi | Yujun Li | Lin Li | Jian Yin | Zhenguo Li | Xiaodan Liang |

Joint Language Semantic and Structure Embedding for Knowledge Graph Completion COLING

Jianhao Shen | Chenguang Wang | Linyuan Gong | Dawn Song |

PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion F i n d i n g s - E M N L P

Jianhao Shen | Chenguang Wang | Ye Yuan | Jiawei Han | Heng Ji | Koushik Sen | Ming Zhang | Dawn Song |

Generate & Rank: A Multi-task Framework for Math Word Problems EMNLP Findings

Jianhao Shen | Yichun Yin | Lin Li | Lifeng Shang | Xin Jiang | Ming Zhang | Qun Liu |