Wei, Anjiang
- Humanity's Last Exam
2025/01/24 by Long Phan, Phan, Long, Alice Gatti +2240 · 9 voices · 103 citations
#cs.LG #cs.AI #cs.CL
- SuperCoder: Assembly Program Superoptimization with Large Language Models
2025/05/16 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 2 voices · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Engineering Research
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference
2022/07/12 by Deng, Yinlin, Yang, Chenyuan, Wei, Anjiang +1 · 6 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source
2022/01/17 by Wei, Anjiang, Deng, Yinlin, Yang, Chenyuan +1 · 5 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Automated Generation of Challenging Multiple-Choice Questions for Vision Language Model Evaluation
2025/01/06 by Yuhui Zhang, Zhang, Yuhui, Yuchang Su +21 · 8 citations
Social Sciences · Computer Science · #Geographic Information Systems Studies #Multimodal Machine Learning Applications
- EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
2025/02/18 by Anjiang Wei, Wei, Anjiang, Jiannan Cao +19 · 8 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling #Semantic Web and Ontologies
- Astra: A Multi-Agent System for GPU Kernel Performance Optimization
2025/09/09 by Anjiang Wei, Wei, Anjiang, Yogesh Seenichamy +12 · 11 citations
Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Big Data and Digital Economy #Computation and Language (cs.CL) #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
2025/05/20 by Anjiang Wei, Wei, Anjiang, Y. Wu +13 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques
- Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces
2024/10/21 by Anjiang Wei, Wei, Anjiang, Allen Nie +11 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Numerical Methods and Algorithms #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
- CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
2025/03/29 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +15 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
- VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
2025/04/22 by Anjiang Wei, Wei, Anjiang, Tan, Huanmi +12 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Can Code Language Models Learn Clarification-Seeking Behaviors?
2025/04/23 by Wu, Jie JW, Chaudhary, Manav, Abrahamyan, Davit +3 · 2 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- AccelOpt: A Self-Improving LLM Agentic System for AI Accelerator Kernel Optimization
2025/11/19 by Zhang, Genghan, Zhu, Shaowei, Wei, Anjiang +6 · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)