Event JSON
{
"id": "a68a9b277f236f00fafc57dc1c7567810dfebe47167bb31b95483d1b305834b2",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1768397379,
"kind": 1,
"tags": [
[
"t",
"autoformalization"
],
[
"t",
"math"
],
[
"t",
"LLMs"
],
[
"t",
"mizar"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/115893690687477590",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "130k lines of formal topology in two weeks: Simple and cheap autoformalization for everyone? ~ Josef Urban. https://arxiv.org/abs/2601.03298v1 #ITP #Mizar #LLMs #Math #Autoformalization",
"sig": "dc8b1aab7940f5f835dd0062856912860e0fcf9dfa9b794f7ae2ee30d5bd8a40f55ff669cfc1c247295884dbeb8b1c8f796814fcf04b60ecaf92b428cca27177"
}
