José A. Alonso on Nostr: Proof recommendation system for the HOL4 theorem prover. ~ Nour Dekhil, Adnan Rashid, ...
Published at
2025-01-13 07:40:36Event JSON
{
"id": "52b4a8b19927f5b541818b04813a66640424b67da8381dde905db2d57b2e5ea7",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736754036,
"kind": 1,
"tags": [
[
"t",
"hol4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113819912528320819",
"activitypub"
]
],
"content": "Proof recommendation system for the HOL4 theorem prover. ~ Nour Dekhil, Adnan Rashid, Sofiene Tahar. https://arxiv.org/abs/2501.05463 #ITP #HOL4",
"sig": "652e7f886561490d723b5294093aef9b561d87bfff98abd14bafa7f5b571aa6e8d464b8e9007a32ab5b4c5d65593ef5de9d4845d6ba05046837babb469cef4ad"
}
