José A. Alonso on Nostr: BC-Prover: Backward chaining prover for formal theorem proving. ~ Yuhang He et als. ...
Published at
2024-11-12 07:11:37Event JSON
{
"id": "d559899574906f994353d478bc5e923a2cd1453d8ac075577a0a584941087f6c",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731395497,
"kind": 1,
"tags": [
[
"t",
"LLMs"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113468735312863326",
"activitypub"
]
],
"content": "BC-Prover: Backward chaining prover for formal theorem proving. ~ Yuhang He et als. https://aclanthology.org/2024.emnlp-main.180.pdf #ITP #LeanProver #LLMs",
"sig": "61000c5b7f9fb38236d1e96e66456a0a089c5c9c04755ae16ef61b3470a40cd83c7eb8f4d6f63e370e5e4aa7d676e8aaa8097e8c98b9b6a7d4d4b39274d40494"
}
