Autoformalizers not understanding formal methods (2026, colorized)
markusde
@markusde@mathstodon.xyz
mastodon
4.5.8
I want to live forever so I can post forever
0
Followers
0
Following
Joined November 15, 2022
IRL:
Markus de Medeiros (he/him)
MUTUALS ACCT.:
Posts
15
0
5
@koronkebitch > writing little HTML web pages, but I quickly got bored of this and didn't even manage to create even a single website.
The most relatable sentence ever written
View full thread on mathstodon.xyz
5
2
0
Who was it that said Lean is the Python of theorem provers again? I would like to quote them in a blog post. Boosts welcome
14
0
11
I'm gonna start adding emacs as a "coauthor" to my git commits since that kind of thing is apparently all the rage these days
23
0
8