José A. Alonso on Nostr: The last mile: How do we make AI theorem provers which work in the real world for ...
The last mile: How do we make AI theorem provers which work in the real world for real users and not just on benchmarks? ~ Jason Rute.
https://youtu.be/JAJCydIRAwA #ITP #LeanProver #AI
Published at
2025-01-16 09:19:04Event JSON
{
"id": "8b922f641e53ab5546ab1dd86ec3d5f82b8f80719f9c8506d4dda21085885e37",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737019144,
"kind": 1,
"tags": [
[
"t",
"ai"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113837286638748883",
"activitypub"
]
],
"content": "The last mile: How do we make AI theorem provers which work in the real world for real users and not just on benchmarks? ~ Jason Rute. https://youtu.be/JAJCydIRAwA #ITP #LeanProver #AI",
"sig": "429ba1f2d09e49592fcb79872baa8391648ddbcbd20638a6341d5dcb76be43d549238b653aba2b478b1af2c3bc11838bd4b37988b05246aa514370c23ba9711d"
}
