9 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 9 cited
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng +11
Despite the success of large language models (LLMs), the task of theorem proving still remains one of the hardest reasoning tasks that is far from being fully solved. Prior methods…
cs.LG2023★ 8 cited
A Unifying Framework of Attention-based Neural Load Forecasting
Jing Xiong, Yu Zhang
Accurate load forecasting is critical for reliable and efficient planning and operation of electric power grids. In this paper, we propose a unifying deep learning framework for lo…