José A. Alonso on Nostr: STP: Self-play LLM theorem provers with iterative conjecturing and proving. ~ Kefan ...
STP: Self-play LLM theorem provers with iterative conjecturing and proving. ~ Kefan Dong, Tengyu Ma.
https://arxiv.org/abs/2502.00212 #LLMs #ITP #LeanProver #IsabelleHOL
Published at
2025-02-12 08:08:11 CETEvent JSON
{
"id": "f0fbc6a27690ef4c11187798f8d65efe47db9d129324e2b705d7c3b5eee8100b",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1739344091,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"t",
"LLMs"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113989654382191440",
"activitypub"
]
],
"content": "STP: Self-play LLM theorem provers with iterative conjecturing and proving. ~ Kefan Dong, Tengyu Ma. https://arxiv.org/abs/2502.00212 #LLMs #ITP #LeanProver #IsabelleHOL",
"sig": "b43e396dfd455924124712e114ebbfa0b74fa2f8f2e68ee9f7662caad77467594a9bd024c654355ea8a16062f8f79a2f9055209d7e9382b813208186d1c6a06d"
}
