Huawei AI-Solver Group
Huawei AI-Solver Group
新闻
研究论文
成员
联系
Hui-Ling Zhen
Latest
Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks
CMoE: Fast Carving of Mixture-of-Experts for Efficient LLM Inference
Harnessing Large Language Models Locally: Empirical Results and Implications for AI PC
KVTuner: Sensitivity-Aware Layer-wise Mixed Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference
PASER: Post-Training Data Selection for Efficient Pruned Large Language Model Recovery
PreMoe: Lightening MoEs on Constrained Memory by Expert Pruning and Retrieval
TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling
DiffSAT: Differential MaxSAT Layer for SAT Solving
FuseGPT: Learnable Layers Fusion of Generative Pre-trained Transformers
Grass: Combining graph neural networks with expert knowledge for sat solver selection
HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
Neuroselect: Learning to select clauses in sat solvers
Parallel gröbner basis rewriting and memory optimization for efficient multiplier verification
The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation
A survey for solving mixed integer programming via machine learning
Deepgate2: Functionality-aware circuit representation learning
Fault simulation acceleration based on ARM multi-core CPU architecture
Hardsatgen: Understanding the difficulty of hard sat formula generation and a strong structure-hardness-aware baseline
Llm4eda: Emerging progress in large language models for electronic design automation
Machine learning methods in solving the boolean satisfiability problem
Satformer: transformer-based unsat core learning
Accelerate sat-based atpg via preprocessing and new conflict management heuristics
Accelerate the optimization of large-scale manufacturing planning using game theory
Bilevel learning for large-scale flexible flow shop scheduling
Branch ranking for efficient mixed-integer programming via offline ranking-based policy learning
Learning to select cuts for efficient mixed-integer programming
Neural fault analysis for sat-based atpg
Multiobjective optimization-aided decision-making system for large-scale manufacturing planning
Cite
×