Shuai Lu

16 papers at tracked venues · 12 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×5 ICLR ×2 AAAI ×1 ACM MM ×1 ASE ×1 EMNLP ×1 ICCV ×1 ICML ×1 ICRA ×1 NAACL ×1 OOPSLA ×1

Frequent coauthors

Yuqin Dai

×5

Jun Yin

×5

Pengyu Zeng

×5

Yeyun Gong

×5

Nan Duan

×5

Weizhu Chen

×3

Miao Zhang

×3

Yelong Shen

×2

Chenyuan Yang

×2

Xuheng Li

×2

Md Rakib Hossain Misu

×2

Shuvendu K. Lahiri

×2

Papers

Careful Queries, Credible Results: Teaching RAG Models Advanced Web Search Tools with Reinforcement Learning
AAAI 2026 ·
Yuqin Dai
,
Shuo Yang
,
Guoqing Wang
,
Yong Deng
,
Zhanwei Zhang
,
Jun Yin
,
Pengyu Zeng
,
Zhenzhe Ying
,
Changhua Meng
,
Can Yi
,
Yuchen Zhou
,
Weiqiang Wang
, Shuai Lu
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
ACL 2026 ·
Boyan Duan
,
Xiao Liang
, Shuai Lu,
Yaoxiang Wang
,
Yelong Shen
,
Kai-Wei Chang
,
Ying Nian Wu
,
Mao Yang
,
Weizhu Chen
,
Yeyun Gong
Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation
ICLR 2025 ·
Shaonan Wu
, Shuai Lu,
Yeyun Gong
,
Nan Duan
,
Ping Wei
ArchiSet: Benchmarking Editable and Consistent Single-View 3D Reconstruction of Buildings with Specific Window-to-Wall Ratios
ICCV 2025 ·
Jun Yin
,
Pengyu Zeng
,
Licheng Shen
,
Miao Zhang
,
Jing Zhong
,
Yuxing Han
, Shuai Lu
AutoVerus: Automated Proof Generation for Rust Code
OOPSLA 2025 ·
Chenyuan Yang
,
Xuheng Li
,
Md Rakib Hossain Misu
,
Jianan Yao
,
Weidong Cui
,
Yeyun Gong
,
Chris Hawblitzel
,
Shuvendu K. Lahiri
,
Jacob R. Lorch
, Shuai Lu,
Fan Yang
,
Ziqiao Zhou
,
Shan Lu
Automated Proof Generation for Rust Code via Self-Evolution
ICLR 2025 ·
Tianyu Chen
, Shuai Lu,
Shan Lu
,
Yeyun Gong
,
Chenyuan Yang
,
Xuheng Li
,
Md Rakib Hossain Misu
,
Hao Yu
,
Nan Duan
,
Peng Cheng
,
Fan Yang
,
Shuvendu K. Lahiri
,
Tao Xie
,
Lidong Zhou
CARD: Cross-modal Agent Framework for Generative and Editable Residential Design
EMNLP 2025 ·
Pengyu Zeng
,
Jun Yin
,
Miao Zhang
,
Yuqin Dai
,
Jizhizi Li
,
ZhanXiang Jin
, Shuai Lu
FloorPlan-LLaMa: Aligning Architects' Feedback and Domain Knowledge in Architectural Floor Plan Generation
ACL 2025 ·
Jun Yin
,
Pengyu Zeng
,
Haoyuan Sun
,
Yuqin Dai
,
Han Zheng
,
Miao Zhang
,
Yachao Zhang
, Shuai Lu
MRED-14: A Benchmark for Low-Energy Residential Floor Plan Generation with 14 Flexible Inputs
ACM MM 2025 ·
Pengyu Zeng
,
Jun Yin
,
Haoyuan Sun
,
Yuqin Dai
,
Maowei Jiang
,
Miao Zhang
, Shuai Lu
MindAligner: Explicit Brain Functional Alignment for Cross-Subject Visual Decoding from Limited fMRI Data
ICML 2025 ·
Yuqin Dai
,
Zhouheng Yao
,
Chunfeng Song
,
Qihao Zheng
,
Weijian Mai
,
Kunyu Peng
, Shuai Lu,
Wanli Ouyang
,
Jian Yang
,
Jiamin Wu
A Retinex Structure-based Low-light Enhancement Model Guided by Spatial Consistency
ICRA 2024 ·
Miao Zhang
,
Yiqing Shen
,
Zhuowei Li
,
Guofeng Pan
, Shuai Lu
AGIEval: A Human-Centric Benchmark for Evaluating Foundation Models
NAACL 2024 ·
Wanjun Zhong
,
Ruixiang Cui
,
Yiduo Guo
,
Yaobo Liang
, Shuai Lu,
Yanlin Wang
,
Amin Saied
,
Weizhu Chen
,
Nan Duan
Competition-Level Problems are Effective LLM Evaluators
ACL 2024 ·
Yiming Huang
,
Zhenghao Lin
,
Xiao Liu
,
Yeyun Gong
, Shuai Lu,
Fangyu Lei
,
Yaobo Liang
,
Yelong Shen
,
Chen Lin
,
Nan Duan
,
Weizhu Chen
Contextualized Data-Wrangling Code Generation in Computational Notebooks
ASE 2024 ·
Junjie Huang
,
Daya Guo
,
Chenglong Wang
,
Jiazhen Gu
, Shuai Lu,
Jeevana Priya Inala
,
Cong Yan
,
Jianfeng Gao
,
Nan Duan
,
Michael R. Lyu
Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistency
ACL 2024 ·
Baizhou Huang
, Shuai Lu,
Xiaojun Wan
,
Nan Duan
Selene: Pioneering Automated Proof in Software Verification
ACL 2024 ·
Lichen Zhang
, Shuai Lu,
Nan Duan