José A. Alonso on Nostr: Benchmarking automated theorem proving with Large Language Models. ~ Vanessa Lama, ...
Published at
2024-11-12 07:08:01Event JSON
{
"id": "9762181e0ed975612c83cc832966e7de83e4903a7097b5bcf842302012f8a848",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731395281,
"kind": 1,
"tags": [
[
"t",
"LLMs"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113468721154692196",
"activitypub"
]
],
"content": "Benchmarking automated theorem proving with Large Language Models. ~ Vanessa Lama, Catherine Ma, Tirthankar Ghosal. https://aclanthology.org/2024.nlp4science-1.18.pdf #ITP #LeanProver #LLMs",
"sig": "d35ca23666f76204ad4c221a02f21dbadadac8bbb860fea659db35166dc34cf6277048b815e1269e59fc3fb5f83ef74cc5ef5c3c5d29876dfd9793d159a78340"
}
