Disturbed cold gas in galaxy and structure formation

Siwei Zou, Robert A. Simcoe, Patrick Petitjean, Celine Peroux, Jaclyn B. Champagne | Summary: [[{“value”:”Cold and cool gas (T $leq 10^4$ K) in the circumgalactic medium (CGM) and its interaction with galaxies remain poorly understood. Simulations predict that cold gas flows into galaxies through cosmic filaments, determining the disk formation and galaxy evolution. The cold […]


Continue.. Disturbed cold gas in galaxy and structure formation

RelaCtrl: Relevance-Guided Efficient Control for Diffusion Transformers

Kavli Affiliate: Jing Wang | First 5 Authors: Ke Cao, Jing Wang, Ao Ma, Jiasong Feng, Zhanjie Zhang | Summary: The Diffusion Transformer plays a pivotal role in advancing text-to-image and text-to-video generation, owing primarily to its inherent scalability. However, existing controlled diffusion transformer methods incur significant parameter and computational overheads and suffer from inefficient […]


Continue.. RelaCtrl: Relevance-Guided Efficient Control for Diffusion Transformers

RelaCtrl: Relevance-Guided Efficient Control for Diffusion Transformers

Kavli Affiliate: Jing Wang | First 5 Authors: Ke Cao, Jing Wang, Ao Ma, Jiasong Feng, Zhanjie Zhang | Summary: The Diffusion Transformer plays a pivotal role in advancing text-to-image and text-to-video generation, owing primarily to its inherent scalability. However, existing controlled diffusion transformer methods incur significant parameter and computational overheads and suffer from inefficient […]


Continue.. RelaCtrl: Relevance-Guided Efficient Control for Diffusion Transformers

NVR: Vector Runahead on NPUs for Sparse Memory Access

Kavli Affiliate: Jing Wang | First 5 Authors: Hui Wang, Zhengpeng Zhao, Jing Wang, Yushu Du, Yuan Cheng | Summary: Deep Neural Networks are increasingly leveraging sparsity to reduce the scaling up of model parameter size. However, reducing wall-clock time through sparsity and pruning remains challenging due to irregular memory access patterns, leading to frequent […]


Continue.. NVR: Vector Runahead on NPUs for Sparse Memory Access

EPO: Explicit Policy Optimization for Strategic Reasoning in LLMs via Reinforcement Learning

Kavli Affiliate: Ke Wang | First 5 Authors: Xiaoqian Liu, Ke Wang, Yongbin Li, Yuchuan Wu, Wentao Ma | Summary: Large Language Models (LLMs) have shown impressive reasoning capabilities in well-defined problems with clear solutions, such as mathematics and coding. However, they still struggle with complex real-world scenarios like business negotiations, which require strategic reasoning-an […]


Continue.. EPO: Explicit Policy Optimization for Strategic Reasoning in LLMs via Reinforcement Learning

EPO: Explicit Policy Optimization for Strategic Reasoning in LLMs via Reinforcement Learning

Kavli Affiliate: Ke Wang | First 5 Authors: Xiaoqian Liu, Ke Wang, Yongbin Li, Yuchuan Wu, Wentao Ma | Summary: Large Language Models (LLMs) have shown impressive reasoning capabilities in well-defined problems with clear solutions, such as mathematics and coding. However, they still struggle with complex real-world scenarios like business negotiations, which require strategic reasoning-an […]


Continue.. EPO: Explicit Policy Optimization for Strategic Reasoning in LLMs via Reinforcement Learning

EPO: Explicit Policy Optimization for Strategic Reasoning in LLMs via Reinforcement Learning

Kavli Affiliate: Ke Wang | First 5 Authors: Xiaoqian Liu, Ke Wang, Yongbin Li, Yuchuan Wu, Wentao Ma | Summary: Large Language Models (LLMs) have shown impressive reasoning capabilities in well-defined problems with clear solutions, such as mathematics and coding. However, they still struggle with complex real-world scenarios like business negotiations, which require strategic reasoning-an […]


Continue.. EPO: Explicit Policy Optimization for Strategic Reasoning in LLMs via Reinforcement Learning

EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking

Kavli Affiliate: Ke Wang | First 5 Authors: Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang | Summary: Equivalence checking, i.e., determining whether two programs produce identical outputs for all possible inputs, underpins a broad range of applications, including software refactoring, testing, and optimization. We present the task of equivalence checking as a […]


Continue.. EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking

EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking

Kavli Affiliate: Ke Wang | First 5 Authors: Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang | Summary: Equivalence checking, i.e., determining whether two programs produce identical outputs for all possible inputs, underpins a broad range of applications, including software refactoring, testing, and optimization. We present the task of equivalence checking as a […]


Continue.. EquiBench: Benchmarking Code Reasoning Capabilities of Large Language Models via Equivalence Checking

Dominant Role of Coplanar Inflows in Driving Disk Evolution Revealed by Gas-Phase Metallicity Gradients

Kavli Affiliate: Yingjie Peng | First 5 Authors: Cheqiu Lyu, Enci Wang, Hongxin Zhang, Yingjie Peng, Xin Wang | Summary: Using spatially resolved spectroscopic data from the MaNGA sample, we investigate the parameters influencing the radial gradients of gas-phase metallicity ($nablalog(mathrm{O/H})$), to determine whether disk formation is primarily driven by coplanar gas inflow or by […]


Continue.. Dominant Role of Coplanar Inflows in Driving Disk Evolution Revealed by Gas-Phase Metallicity Gradients