N Korea's Kim unveils 50 rocket launchers ahead of key congress North Korean leader Kim Jong Un has unveiled dozens of nuclear-capable rocket launchers ahead of a key congress of the governing Workers' Party, according to state media. Kim hailed the 600mm-calibre rocket launchers as "wonderful" and "attractive" during the ceremony on Wednesday, adding that new military and construction goals will be set during the upcoming congress. "When this weapon is used, actually, no force would be able to expect God's protection," Kim said, according to the KCNA "It is really a wonderful and attractive weapon," Kim said, according to South Korea's Yonhap News Agency. He described the launchers as the "world's most advantageous weapon for concentrated super-powerful attack", according Yonhap. Photos released by state media showed dozens of launch vehicles parked in neat rows on the plaza of Pyongyang's House of Culture, which will host the congress.

With the continued advancement of Large Language Models (LLMs) Agents in reasoning, planning, and decision-making, benchmarks have become crucial in evaluating these skills. However, there is a notable gap in benchmarks for real-time strategic decision-making. StarCraft II (SC2), with its complex and dynamic nature, serves as an ideal setting for such evaluations. To this end, we have developed TextStarCraft II, a specialized environment for assessing LLMs in real-time strategic scenarios within SC2. Addressing the limitations of traditional Chain of Thought (CoT) methods, we introduce the Chain of Summarization (CoS) method, enhancing LLMs' capabilities in rapid and effective decision-making. Our key experiments included: 1. LLM Evaluation: Tested 10 LLMs in TextStarCraft II, most of them defeating L V5 build-in AI, showcasing effective strategy skills.

RL benchmark tailored for embodied pixel-based RL.

Thus, becoming convoluted and difficult to analyze.

Procedural Content Generation (PCG) is a technique to generate complex and diverse environments in an automated way.

Therefore, neuro-symbolic RL aims at creating policies that are interpretable in the first place. Unfortunately, interpretability is not explainability. To achieve both, we introduce Neurally gUided Differentiable loGic policiEs (NUDGE).