José A. Alonso on Nostr: Isabelle/RL project proposal: Reinforcement learning on the Isabelle proof assistant. ...
Published at
2024-09-11 15:18:10Event JSON
{
"id": "442fcbc22ba579e51cc61169b8e2f0cc2eeb1de74c05bf12433cb9bd908815c6",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1726067890,
"kind": 1,
"tags": [
[
"t",
"machinelearning"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113119585240002752",
"activitypub"
]
],
"content": "Isabelle/RL project proposal: Reinforcement learning on the Isabelle proof assistant. ~ Jonathan Julián Huerta y Munive. https://aitp-conference.org/2024/slides/JJHM.pdf #ITP #IsabelleHOL #MachineLearning",
"sig": "8cdf6d5ebc28e85ccfe44b84677f36a28f1991ea4b5cf4d9193de67690f58a9db05a5e48ba2e406fa9f2c1f81cfcc32c46840baf791e324d529808a9633872b5"
}
