Le Vu Anh (Luffy)

Le Vu Anh (Luffy) works on algorithmic reasoning, symbolic inference, and lightweight deterministic reasoning engines. With a background in mathematical logic and physics-informed neural networks, his current focus is on building interpretable reasoning modules for embedded AI systems and scalable symbolic solvers. His recent work extends into designing efficient neural operators, drawing on internships at Google Research and MIT, where he developed these pipelines for scientific computing. Fluent in Python, C++, Haskell, and proof assistants such as Coq and Lean, he bridges formal methods with practical applications.