vix.ing · top · new · best · stats · spec

Lin Ye

  1. AlphaGo Moment for Model Architecture Discovery
    2025/07/24 by Yixiu Liu, Yang Nan, Liu, Yixiu +14 · 12 voices · 6 citations
    Computer Science · #Model-Driven Software Engineering Techniques #Software System Performance and Reliability #Advanced Software Engineering Methodologies
  2. Division-of-Thoughts: Harnessing Hybrid Language Model Synergy for Efficient On-Device Agents
    2025/02/06 by Chenyang Shao, Xinyuan Hu, Shao, Chenyang +5 · 9 citations
    Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #Computation and Language (cs.CL) #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation
  3. Provably Efficient Algorithms for Joint Placement and Allocation of Virtual Network Functions
    2017/02/03 by Yu Sang, Sang, Yu, Bo Ji +7 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Interconnection Networks and Systems #Mobile Ad Hoc Networks #Networking and Internet Architecture (cs.NI) #Software-Defined Networks and 5G
  4. ResearcherBench: Evaluating Deep AI Research Systems on the Frontiers of Scientific Inquiry
    2025/07/22 by Tianze Xu, Xu, Tianze, Ping Lu +7 · 6 citations
    Computer Science · Decision Sciences · Medicine · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Healthcare and Education #FOS: Computer and information sciences #Scientific Computing and Data Management #Topic Modeling
  5. Urban renewal as policy innovation in China: From growth stimulation to sustainable development
    2021/02/01 by Lin Ye, Xiangeng Peng, Laura Quadros Aniche +4 · 1 citation
    Social Sciences · #China's Socioeconomic Reforms and Governance #Local Government Finance and Decentralization #Public Policy and Administration Research
  6. SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
    2025/02/20 by Junjie Sheng, Sheng, Junjie, Yanqiu Lin +12 · 1 voice · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #cs.SE
  7. A Low-overhead Kernel Object Monitoring Approach for Virtual Machine Introspection
    2019/02/13 by Dongyang Zhan, Zhan, Dongyang, Huhua Li +9 · 1 citation
    Computer Science · #Advanced Data Storage Technologies #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing