cd/entity/Alexander Bastounis· home› entities› Alexander Bastounis
grep -l @alexander bastounis /news/*.json | wc -l → 1

Alexander Bastounis

mentions 1 type Person feed RSS

// recent coverage 1 mentions

15:24
2026-10-07
arxiv.org
artificial-intelligence

Navier–Stokes Lost in Translation

A paper submitted to arXiv on 6 Oct 2026 by Alexander Bastounis argues that Lean verification of AI autoformalisation does not guarantee correct natural language proofs, because resolving ambiguities …

// co-occurs with top 4 entities
arXiv 1 Lean 1 OpenAI 1 Navier-Stokes equations 1
// topics top 4 topics
artificial intelligence 1 ai research 1 large language models 1 ai safety 1