Title |
|---|
 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 |
 Interpretable Long-Form Legal Question Answering with
Retrieval-Augmented Large Language Models Antoine Louis Gijs van Dijck Gerasimos Spanakis |
 Effective Long-Context Scaling of Foundation Models Wenhan Xiong Jingyu Liu Igor Molybog Hejia Zhang Prajjwal Bhargava ...Dániel Baráth Sergey Edunov Mike Lewis Sinong Wang Hao Ma |
 |
