Ola Svensson

@algosvensson

Theoretical Computer Science

The poster says their students made significant progress and that their group planned to upload a different k-median approach.

2 Sources, 13d ago, first seen 13d ago

Technology

OpenAI says the manuscripts span 372 research families and different verification stages; not all have Lean formalizations.

41 Sources, 10d ago, updated 10d ago

Ola Svensson of EPFL describes AI automating parts of mathematical research he enjoys.

1 Source, 46d ago, first seen 46d ago

Featured in