Adaptive Generate-Rank-Verify: Inference-Time Search with Costly Verification
自适应生成-排序-验证:具有高成本验证的推理时间搜索
Shaddin Dughmi, Mahdi Haghifam, Yusuf Hakan Kalayci
机构
*
University of Southern California(南加州大学)
;
Northwestern University(西北大学)
;
University of Chicago(芝加哥大学)
;
Toyota Technological Institute at Chicago(芝加哥丰田技术研究所)
;
Simons Institute for the Theory of Computing(Simons计算理论研究所)
;
Data Science Institute at the University of Chicago(芝加哥大学数据科学研究所)
Resilient Write: A Six-Layer Durable Write Surface for LLM Coding Agents
抗挫写入:一种六层耐用写入表面用于大语言模型编码代理
Justice Owusu Agyemang, Jerry John Kponyo, Elliot Amponsah, Godfred Manu Addo Boakye, Kwame Opuni-Boachie Obour Agyekum
机构
*
Sperixlabs, Ghana(塞普里克斯实验室,加纳)
;
Kwame Nkrumah University of Science and Technology, Kumasi, Ghana(库马西技术大学,加纳)
;
VIA Cybersecurity Lab, Kwame Nkrumah University of Science and Technology, Kumasi, Ghana(VIA网络安全实验室,库马西技术大学,加纳)
Towards Automated Kernel Generation in the Era of LLMs
面向LLM时代的自动化内核生成
Yang Yu, Peiyu Zang, Chi Hsu Tsai, Haiming Wu, Yixin Shen, Jialing Zhang, Haoyu Wang, Zhiyou Xiao, Jingze Shi, Yuyu Luo, Wentao Zhang, Chunlei Men, Guang Liu, Yonghua Lin
机构
*
Beijing Academy of Artificial Intelligence(北京人工智能研究院)
;
Beijing Normal University(北京师范大学)
;
Peking University(北京大学)
;
Beijing Institute of Technology(北京理工大学)
;
Cornell University(康奈尔大学)
;
Beijing Jiaotong University(北京交通大学)
;
Renmin University of China(中国人民大学)
;
Hong Kong University of Science and Technology (Guangzhou)(广州科技大学)