3 ms·
> The second author, Elias Koutsoupias, dedicates this work to his constant friends Amos Fiat, Anna Karlin, and Christos Papadimitriou. I wonder what Papadimit
by JohnKemeny 20d ago
> The second author, Elias Koutsoupias, dedicates this work to his constant friends Amos Fiat, Anna Karlin, and Christos Papadimitriou.
I wonder what Papadimitriou thinks about getting dedicated LLM generated proofs.
- gowld 20d agoI wonder what Karlin thinks.