José A. Alonso on Nostr: A survey on deep learning for theorem proving. ~ Zhaoyu Li, Jialiang Sun, Logan ...
A survey on deep learning for theorem proving. ~ Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si.
https://arxiv.org/abs/2404.09939 #ITP #DeepLearning
Published at
2024-08-07 07:03:50Event JSON
{
"id": "e03e724f7e50b0a0090fd2678733037cea23fb9bdf8215644f67e3d808fb9d5a",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723014230,
"kind": 1,
"tags": [
[
"t",
"deeplearning"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112919460632181879",
"activitypub"
]
],
"content": "A survey on deep learning for theorem proving. ~ Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si. https://arxiv.org/abs/2404.09939 #ITP #DeepLearning",
"sig": "73d0ab98b25dc631ef625586f113a0659d00ad71c5de99d8bc87faf6042e69212d2b0ce7b46589020bc71bacc1ee6e6153d3a0943531e98dae2e0bafaf8be408"
}
