José A. Alonso on Nostr: #MULCIA: PhD position on LLMs + Lean at the ATOMS Lab. https://tinyurl.com/235omrvs ...
#MULCIA: PhD position on LLMs + Lean at the ATOMS Lab. https://tinyurl.com/235omrvs #PhD #CompSci #AI #LLMs #LeanProver
José A. Alonso /
npub1pma…v8pw
2024-11-14 13:17:20
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-14 13:17:20Event JSON
{
"id": "2fb962652adf7a2ccdd4ace072640964e8f74b456a31c0a634653c2238b505f8",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731590240,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"LLMs"
],
[
"t",
"ai"
],
[
"t",
"compsci"
],
[
"t",
"phd"
],
[
"t",
"MULCIA"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113481497991130470",
"activitypub"
]
],
"content": "#MULCIA: PhD position on LLMs + Lean at the ATOMS Lab. https://tinyurl.com/235omrvs #PhD #CompSci #AI #LLMs #LeanProver",
"sig": "e0253fc7b24c0f4cbaa429184c6f9993d0bfe6412b849d96173afd21132ae43ea09e6c8f26310755811c980075adb878222a05189ac36dfbcadb3739c3a5d6b7"
}