Researcher and writer. Focused on machine learning. Recent articles: Coverage from the first EurIPS conference in Copenhagen An introduction to machine learning and formal mathematics The annual State of ML Competitions report (2025 edition, 2024 edition, 2023 edition, 2022 edition) Other ML conference coverage (e.g. ICLR 2025, NeurIPS 2024, ICML 2024) Community resources: Directory of…