Automatic Complexity Analysis for Programs Extracted from Coq Proof. - Jean-Pierre Jouannaud; Weiwen Xu (CLASE, 2005)

Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. - Remy Chevallier; Emmanuelle Encrenaz-Tiphène; Laurent Fribourg; Weiwen Xu (FORMATS, 2006)

Timed verification of the generic architecture of a memory circuit using parametric timed automata. - Remy Chevallier; Emmanuelle Encrenaz-Tiphène; Laurent Fribourg; Weiwen Xu (Formal Methods Syst. Des., 2009)

A Study on the Reliability of Software Defined Wireless Sensor Network. - Yulin Lu; Xin Huang 005; Baichuan Huang; Weiwen Xu; Qian Zhang; Ruiyang Xu; Dawei Liu 001 (SmartCity, 2015)

Revisit Automatic Error Detection for Wrong and Missing Translation - A Supervised Approach. - Wenqiang Lei; Weiwen Xu; Ai Ti Aw; Yuanxin Xiang; Tat-Seng Chua (EMNLP/IJCNLP (1), 2019)

Dynamic Semantic Graph Construction and Reasoning for Explainable Multi-hop Science Question Answering. - Weiwen Xu; Huihui Zhang; Deng Cai 002; Wai Lam (ACL/IJCNLP (Findings), 2021)

Exploiting Reasoning Chains for Multi-hop Science Question Answering. - Weiwen Xu; Yang Deng 002; Huihui Zhang; Deng Cai 002; Wai Lam (EMNLP (Findings), 2021)

Addressing the Vulnerability of NMT in Input Perturbations. - Weiwen Xu; Ai Ti Aw; Yang Ding; Kui Wu 004; Shafiq R. Joty (NAACL-HLT (Industry Papers), 2021)

ConReader: Exploring Implicit Relations in Contracts for Contract Clause Extraction. - Weiwen Xu; Yang Deng 002; Wenqiang Lei; Wenlong Zhao 012; Tat-Seng Chua; Wai Lam (EMNLP, 2022)

Improving Lexical Embeddings for Robust Question Answering. - Weiwen Xu; Bowei Zou; Wai Lam; Ai Ti Aw (CoRR, 2022)

From Clozing to Comprehending: Retrofitting Pre-trained Language Model to Pre-trained Machine Reader. - Weiwen Xu; Xin Li 056; Wenxuan Zhang 001; Meng Zhou; Lidong Bing; Wai Lam; Luo Si (CoRR, 2022)

PeerDA: Data Augmentation via Modeling Peer Relation for Span Identification Tasks. - Weiwen Xu; Xin Li 056; Yang Deng 002; Wai Lam; Lidong Bing (ACL (1), 2023)

mPMR: A Multilingual Pre-trained Machine Reader at Scale. - Weiwen Xu; Xin Li 056; Wai Lam; Lidong Bing (ACL (2), 2023)

From Cloze to Comprehension: Retrofitting Pre-trained Masked Language Models to Pre-trained Machine Reader. - Weiwen Xu; Xin Li 056; Wenxuan Zhang 001; Meng Zhou; Wai Lam; Luo Si; Lidong Bing (NeurIPS, 2023)

A Unified Multi-task Learning Framework for Multi-goal Conversational Recommender Systems. - Yang Deng 002; Wenxuan Zhang 001; Weiwen Xu; Wenqiang Lei; Tat-Seng Chua; Wai Lam (ACM Trans. Inf. Syst., 2023)

Reasons to Reject? Aligning Language Models with Judgments. - Weiwen Xu; Deng Cai 002; Zhisong Zhang; Wai Lam; Shuming Shi 001 (ACL (Findings), 2024)

Reasoning Paths Optimization: Learning to Reason and Explore From Diverse Paths. - Yew Ken Chia; Guizhen Chen; Weiwen Xu; Anh Tuan Luu; Soujanya Poria; Lidong Bing (EMNLP (Findings), 2024)

On the Transformations across Reward Model, Parameter Update, and In-Context Prompt. - Deng Cai 002; Huayang Li; Tingchen Fu; Siheng Li; Weiwen Xu; Shuaiyi Li; Bowen Cao; Zhisong Zhang; Xinting Huang; Leyang Cui; Yan Wang 060; Lemao Liu; et al. (CoRR, 2024)

SeaLLMs 3: Open Foundation and Chat Multilingual Large Language Models for Southeast Asian Languages. - Wenxuan Zhang 001; Hou Pong Chan; Yiran Zhao 006; Mahani Aljunied; Jianyu Wang; Chaoqun Liu; Yue Deng 010; Zhiqiang Hu; Weiwen Xu; Yew Ken Chia; Xin Li 056; Lidong Bing (CoRR, 2024)

Chain of Ideas: Revolutionizing Research Via Novel Idea Development with LLM Agents. - Long Li; Weiwen Xu; Jiayan Guo; Ruochen Zhao; Xingxuan Li; Yuqian Yuan; Boqiang Zhang; Yuming Jiang 007; Yifei Xin; Ronghao Dang; Deli Zhao; Yu Rong; et al. (CoRR, 2024)

VisCI: A visualization framework for anomaly detection and interactive optimization of composite index. - Zhiguang Zhou; Yize Li; Yuna Ni; Weiwen Xu; Guoting Hu; Ying Lai; Peixiong Chen; Weihua Su (Vis. Informatics, 2024)

Nonfactoid Question Answering as Query-Focused Summarization With Graph-Enhanced Multihop Inference. - Yang Deng 002; Wenxuan Zhang 001; Weiwen Xu; Ying Shen 001; Wai Lam (IEEE Trans. Neural Networks Learn. Syst., 2024)

FineReason: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving. - Guizhen Chen; Weiwen Xu; Hao Zhang 048; Hou Pong Chan; Chaoqun Liu; Lidong Bing; Deli Zhao; Anh Tuan Luu; Yu Rong (ACL (1), 2025)

Can We Further Elicit Reasoning in LLMs? Critic-Guided Planning with Retrieval-Augmentation for Solving Challenging Tasks. - Xingxuan Li; Weiwen Xu; Ruochen Zhao; Fangkai Jiao; Shafiq Joty; Lidong Bing (ACL (1), 2025)

Auto-Arena: Automating LLM Evaluations with Agent Peer Battles and Committee Discussions. - Ruochen Zhao; Wenxuan Zhang 001; Yew Ken Chia; Weiwen Xu; Deli Zhao; Lidong Bing (ACL (1), 2025)

Lingshu: A Generalist Foundation Model for Unified Multimodal Medical Understanding and Reasoning. - LASA Team; Weiwen Xu; Hou Pong Chan; Long Li; Mahani Aljunied; Ruifeng Yuan; Jianyu Wang; Chenghao Xiao; Guizhen Chen; Chaoqun Liu; Zhaodonghui Li; Yu Sun; et al. (CoRR, 2025)

ReasonMed: A 370K Multi-Agent Generated Dataset for Advancing Medical Reasoning. - Yu Sun; Xingyu Qian; Weiwen Xu; Hao Zhang 098; Chenghao Xiao; Long Li; Yu Rong 001; Wenbing Huang 001; Qifeng Bai; Tingyang Xu (CoRR, 2025)

VL-Cogito: Progressive Curriculum Reinforcement Learning for Advanced Multimodal Reasoning. - Ruifeng Yuan; Chenghao Xiao; Sicong Leng; Jianyu Wang; Long Li; Weiwen Xu; Hou Pong Chan; Deli Zhao; Tingyang Xu; Zhongyu Wei; Hao Zhang 048; Yu Rong (CoRR, 2025)