Developing intelligent machines capable of reasoning efficiently and robustly at a human level is of critical importance across numerous real-world domains, including healthcare, finance, entertainment, and beyond. Current large language models represent some of the most powerful intelligent systems created to date, demonstrating remarkable abilities in text generation and human-like conversation. However, these models often fail in surprising ways, particularly when confronted with complex reasoning challenges such as multi-step logical or mathematical inference or planning action sequences for tasks in physical environments. In contrast, humans approach reasoning in a fundamentally different way. Equipped with a mental model of the world, humans form a consistent understanding of their environment, enabling robust and deliberate reasoning. This world model allows us to simulate alternative actions, predict their outcomes, and refine our reasoning based on these simulations. This project aims to develop the next-generation machine reasoning capabilities by systematically incorporating the key concept of “world model” into the design, training, and application of new reasoning models. The research will deliver a comprehensive set of innovative algorithms and models to elevate machine reasoning to a new level of flexibility, consistency, and robustness. Furthermore, the project will support the development of new undergraduate and graduate courses, provide mentorship to studen