Yang, Zhengfeng

1. CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
   2025/05/06 by Liu, Junqi, Lin, Xiaohan, Bayer, Jonas +12 · 10 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
2. Efficient and Accurate Quantized Image Super-Resolution on Mobile NPUs, Mobile AI & AIM 2022 challenge: Report
   2022/11/07 by Andrey Ignatov, Radu Timofte, Ignatov, Andrey +188 · 1 citation
   Computer Science · Engineering · #Advanced Image Processing Techniques #Advanced Vision and Imaging #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image Processing Techniques and Applications #Image and Video Processing (eess.IV) #electronic engineering #information engineering
3. A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
   2025/02/25 by Beibei Xiong, Hao Lv, Xiong, Beibei +8 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems
4. Open-Book Neural Algorithmic Reasoning
   2024/12/30 by Li, Hefei, Peng, Chao, Xu, Chenyang +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)