Chrome Extension

WeChat Mini Program

Use on ChatGLM

Log in

Academic Profile User Profile

My Following Paper Collections Browse History

An In-Context Learning Agent for Formal Theorem-Proving

Amitayush Thakur,George Tsoukalas,Yeming Wen,Jimmy Xin,Swarat Chaudhuri

COLM 2024（2024）

Cited 18|Views300

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined