Featured_publications

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving (NeurIPS 2024 D&B Track)

Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang

Last updated on Jun 21, 2024

CLOMO: Counterfactual Logical Modification with Large Language Models (ACL 2024)

Yinya Huang, Ruixin Hong, Hongming Zhang, Wei Shao, Zhicheng Yang, Dong Yu, Changshui Zhang, Xiaodan Liang, Linqi Song

Last updated on Dec 2, 2023

CLOMO: Counterfactual Logical Modification with Large Language Models (ACL 2024)

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data (ICLR 2024 Spotlight)

Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang

Last updated on Mar 7, 2024

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data (ICLR 2024 Spotlight)

Discourse-Aware Graph Networks for Textual Logical Reasoning (TPAMI 2023)

Yinya Huang, Lemao Liu, Kun Xu, Meng Fang, Liang Lin, Xiaodan Liang

Last updated on Dec 2, 2023

Discourse-Aware Graph Networks for Textual Logical Reasoning (TPAMI 2023)