Skip to content
Amitayush Thakur
Research
Blog
CV
← Blog
#Coq
An In-Context Learning Agent for Formal Theorem-Proving
How can in-context learning help in proving theorems?
Oct 9, 2023
#Theorem Proving
#LLM Agents
#In-Context Learning
#Lean
