Research on large models at Tsinghua University is transitioning from pre-training, which relies heavily on scaling laws, to post-training that emphasizes reasoning capabilities. Symbolic logical reasoning stands out as a pivotal solution to the hallucination issue in large models, noted for its efficacy and broad applicability. In partnership with several universities, Tsinghua University's Logic Research Center has published a comprehensive research review. This review systematically explores the latest research methodologies and evaluation benchmarks in this domain, aiming to propel forward the investigation into the logical reasoning capabilities of large language models.
