1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
Vincent Li, Tim Knappe, Yule Fu +2
Large language models have demonstrated remarkable capabilities in natural language processing tasks requiring multi-step logical reasoning capabilities, such as automated theorem…