Event JSON
{
"id": "68c3c105fac36ae5c82b5f6fa8dfce3a5d4742d6d3e0375850ac750641cbb92c",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1770204767,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"t",
"ai4math"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/116012139627128449",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "LeanArchitect: Automating blueprint generation for humans and AI. ~ Thomas Zhu, Pietro Monticone, Jeremy Avigad, Sean Welleck. https://arxiv.org/abs/2601.22554v1 #AI4Math #ITP #LeanProver",
"sig": "bca39a591e94ddd8e4d61557835cb1aebd542edf5ab6827528c586709f578d3c53f01cdcbb45ba6820ee9813e3bf70c92888828dd8f586881f556aeb5934529c"
}
