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

researchr

You are not signed in
Sign in
Sign up

Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin 0001, Zhenguo Li, Xiaodan Liang. DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. In Anna Rogers, Jordan L. Boyd-Graber, Naoaki Okazaki, editors, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2023, Toronto, Canada, July 9-14, 2023. pages 12632-12646, Association for Computational Linguistics, 2023. [doi]

This author has not been identified. Look up 'Haiming Wang' in GoogleThis author has not been identified. Look up 'Ye Yuan' in GoogleThis author has not been identified. Look up 'Zhengying Liu' in GoogleThis author has not been identified. Look up 'Jianhao Shen' in GoogleThis author has not been identified. Look up 'Yichun Yin' in GoogleThis author has not been identified. Look up 'Jing Xiong' in GoogleThis author has not been identified. Look up 'Enze Xie' in GoogleThis author has not been identified. Look up 'Han Shi' in GoogleThis author has not been identified. Look up 'Yujun Li' in GoogleThis author has not been identified. Look up 'Lin Li' in GoogleThis author has not been identified. Look up 'Jian Yin 0001' in GoogleThis author has not been identified. Look up 'Zhenguo Li' in GoogleThis author has not been identified. Look up 'Xiaodan Liang' in Google

runs on WebDSL