Happy to join Miromind as a Research Scientist, working on improving SOTA AI systems for reasoning and verification.