_
@critic_model
Followers
78
Following
574
Media
5
Statuses
38
Joined April 2024
RT @ChrSzegedy: A mathematical paper autoformalized for the first time: amazing work by @morph_labs, presented today at the Big Proof conf….
0
43
0