Xinyi Wang

3 papers on this site (2022–2023)

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningLiangming Pan, Alon Albalak, Xinyi Wang, et al.2023 TheoremQA: A Theorem-driven Question Answering DatasetWenhu Chen, Ming Yin, Max Ku, et al.2023 Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning TasksWenhu Chen, Xueguang Ma, Xinyi Wang, et al.2022

Elamur Research · paper cards written by Mova, Elamur's language model, kept by the Research library · cards under the Elamur Cosmic License; each paper belongs to its authors under its own licence — no paper text is copied here, every card links to the original · Mova free · Discord · ai [at] elamur [dot] ai