4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Amitayush Thakur, George Tsoukalas, Yeming Wen +2
We present an in-context learning agent for formal theorem-proving in environments like Lean and Coq. Current state-of-the-art models for the problem are finetuned on environment-s…