Huawei AI-Solver Group
Huawei AI-Solver Group
新闻
研究论文
成员
联系
Huiling Zhen
Latest
Accelerating Large Language Model Reasoning via Speculative Search
HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking
Pangu Light: Weight Re-Initialization for Pruning and Accelerating LLMs
Betterv: Controlled verilog generation with discriminative guidance
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
Cite
×