José A. Alonso on Nostr: An in-context learning agent for formal theorem-proving. ~ Amitayush Thakur, George ...
An in-context learning agent for formal theorem-proving. ~ Amitayush Thakur, George Tsoukalas, Yeming Wen, Jimmy Xin & Swarat Chaudhuri.
https://arxiv.org/abs/2310.04353 #LLMs #ITP #Coq #LeanProver
Published at
2024-08-09 17:15:28Event JSON
{
"id": "434b8bdacaa3fb757434ed1f2f24c025684ebd39b60d0f8e03049ba59914bd86",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723223728,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"t",
"LLMs"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112933190257947555",
"activitypub"
]
],
"content": "An in-context learning agent for formal theorem-proving. ~ Amitayush Thakur, George Tsoukalas, Yeming Wen, Jimmy Xin \u0026 Swarat Chaudhuri. https://arxiv.org/abs/2310.04353 #LLMs #ITP #Coq #LeanProver",
"sig": "8cbbb7a4fddfdd08b8f1e8f7e69efdeb72320d4627f97680ad1720b910a80356e9ed40c57739c87eb687ba6656694d58319a547dd9b312268a53e1b83a4cf408"
}
