whoami
German Magai
about
- PhD in AI
- LLM Applied Scientist at Noeon Research, Tokyo, Japan
- 8 years of experience in research and industrial projects
research interests
- agentsMulti-agent systems
- ai4mathAI4Math, autoformalization
- evalLLM evaluation and benchmarking
- reasoningNeuro-Symbolic Verified Reasoning (LLM + SMT/SAT solvers)
- safetyAI Safety
- geometryTopological and geometric methods in AI
links
- scholarGoogle Scholar
- githubgithub.com/Germandev55
- linkedinlinkedin.com/in/german-magai-0b7a69233
- x / twitterx.com/MetatrolN