Xin Quan

51 papers A* 2B 3Misc 1Journal 29Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decompose-and-Formalise: Recursively Verifiable Natural Language Inference.
CoRR
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2026 J jnl
Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents.
CoRR
Xin Quan, Jiafeng Xiong, Marco Valentino, André Freitas
2026 J jnl
Iterative Learning Control-Based Cascaded Digital Predistortion With Sparse Frequency-Selective Nonlinearity Modeling.
IEEE Wirel. Commun. Lett.
Wanzhi Ma, Zixuan Long, Xin Quan, Chao Fan, Qiang Xu, Ying Liu, Youxi Tang
2025 — conf
A Frequency-Domain Anti-Aliasing Digital Predistortion with Low Feedback Sampling Rate for Power Amplifiers Linearization.
ICC Workshops
Mengyao Zhang, Yan Liu, Tong Li, Xin Quan, Ying Liu, Shihai Shao, Youxi Tang
2025 — conf
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations.
ACL (1)
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2025 J jnl
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations.
CoRR
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2025 — conf
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement.
ACL (3)
Xin Quan, Marco Valentino, Danilo S. Carvalho, Dhairya Dalal, André Freitas
2025 J jnl
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement.
CoRR
Xin Quan, Marco Valentino, Danilo S. Carvalho, Dhairya Dalal, André Freitas
2025 J jnl
Training LLMs with LogicReward for Faithful and Rigorous Reasoning.
CoRR
Jundong Xu, Hao Fei, Huichi Zhou, Xin Quan, Qijun Huang, Shengqiong Wu, William Yang Wang, Mong-Li Lee, Wynne Hsu
2024 A* conf
Consistent Autoformalization for Constructing Mathematical Libraries.
EMNLP
Lan Zhang, Xin Quan, André Freitas
2024 J jnl
Consistent Autoformalization for Constructing Mathematical Libraries.
CoRR
Lan Zhang, Xin Quan, André Freitas
2024 — conf
Cost-Efficient VBI-Based Multiuser Detection for Uplink Grant-Free MIMO-NOMA.
VTC Spring
Boran Yang, Xiaoxu Zhang, Li Hao, George K. Karagiannidis, Xin Quan, Octavia A. Dobre
2024 — conf
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement.
EACL (1)
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2024 J jnl
Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement.
CoRR
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2024 B conf
Full-Angle Digital Predistortion Linearization For Fully-Connected Hybrid Beamforming Massive MIMO Transmitters.
GLOBECOM
Yueqin Li, Zeqiang Ning, Mengyao Zhang, Xin Quan, Qiang Xu, Wanzhi Ma, Ying Liu
2024 — conf
Sub-Band Full-Duplex Interference Cancellation Scheme with High Adjacent Channel Suppression.
ICC
Zeqiang Ning, Nanxi Li, Xin Quan, Ming Zhang, Zixiong Zhou, Xiaoxu Zhang, Ying Liu
2024 A* conf
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.
EMNLP
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2024 J jnl
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.
CoRR
Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas
2023 — conf
A Full-Duplex Transceiver Architecture and a Self-Interference Channel Estimation Method to Suppress the Phase Noise.
VTC Fall
Haotian Liang, Xin Quan, Pingzhi Fan, Xiaoxu Zhang
2023 J jnl
Generalized Approximate Message Passing Based Bayesian Learning Detectors for Uplink Grant-Free NOMA.
IEEE Trans. Veh. Technol.
Xiaoxu Zhang, Pingzhi Fan, Li Hao, Xin Quan
2023 J jnl
Preoperative prediction of the lymphovascular tumor thrombus of colorectal cancer with the iodine concentrations from dual-energy spectral CT.
BMC Medical Imaging
Xiang Yuan, Xin Quan, Xiao-ling Che, Lu-Lu Xu, Chun-mei Yang, Xiaodi Zhang, Jian Shu
2022 J jnl
A Frequency-Selective Digital Predistortion Method Based on a Generalized Indirect Learning Architecture.
IEEE Trans. Signal Process.
Xiangjie Xia, Xin Quan, Ying Liu, Shihai Shao, Youxi Tang
2022 J jnl
A Low-Profile and Wide-Angle Scanning Planar Ultrawideband Modular Antenna With Ultra-Thin Loading Window.
IEEE Access
Xin Quan, Zhenxin Cao, Huaimin Zhou, Shengchi Zhu
2022 — conf
A Post-Correction Method for Terahertz Nonlinear Distortion with Dual-Band Carrier Aggregation.
GLOBECOM (Workshops)
Mengyao Zhang, Jian Liu, Dijie Zhu, Xin Quan, Qiang Xu, Ying Liu, Zhi Chen
2022 J jnl
Signal-Based Digital Predistortion for Linearization of Power Amplifiers.
IEEE Trans. Broadcast.
Xiangjie Xia, Linsong Du, Chengzhe Shi, Ying Liu, Xin Quan, Shihai Shao, Youxi Tang
2021 — conf
A Digital Correction Method to Reduce the Nonlinearity of Terahertz Transmitters.
GLOBECOM (Workshops)
Shanghui Xiao, Chao Fan, Xiangjie Xia, Jian Liu, Xin Quan, Ying Liu, Shihai Shao, Youxi Tang
2021 J jnl
Accelerating Sequential Minimal Optimization via Stochastic Subgradient Descent.
IEEE Trans. Cybern.
Bin Gu, Yingying Shan, Xin Quan, Guansheng Zheng
2021 J jnl
Full-Duplex Transceiver Design in the Presence of Phase Noise and Performance Analysis.
IEEE Trans. Veh. Technol.
Xin Quan, Ying Liu, Pingzhi Fan, Youxi Tang
2020 J jnl
A Low-Profile Decoupling Slot-Strip Array for 2 × 2 Microstrip Antenna.
IEEE Access
Di Gao, Zhenxin Cao, Xin Quan, Minqian Sun, Suidao Fu, Peng Chen
2020 J jnl
Digital Predistortion for MIMO Transmitters Using Multi-Channel Error Feedback Adaptation.
IEEE Access
Ying Liu, Libin Zhang, Xiangjie Xia, Xin Quan, Shihai Shao, Youxi Tang
2020 — conf
MIMO Full-Duplex Transceiver Design In The Presence of Phase Noise.
VTC Spring
Xin Quan, Ying Liu, Pingzhi Fan, Youxi Tang
2020 — conf
Phase Noise Mitigation Architecture for 2 × 2 MIMO Full-Duplex Transceivers.
ICC Workshops
Xin Quan, Ying Liu, Xiangjie Xia, Youxi Tang
2019 J jnl
A Novel Bandwidth-Enhanced Dual-Polarized Antenna With Symmetrical Closed-Resonant-Slot Pairs.
IEEE Access
Suidao Fu, Zhenxin Cao, Peng Chen, Di Gao, Xin Quan
2019 — conf
A Novel Phase Noise Mitigation Method for Full-Duplex Transceivers.
WCSP
Xin Quan, Ying Liu, Pingzhi Fan, Youxi Tang
2019 J jnl
An enhanced digital predistortion algorithm based on polynomial model identification.
Sci. China Inf. Sci.
Wanzhi Ma, Xin Quan, Bo Zhao, Ying Liu, Wensheng Pan, Shihai Shao, Youxi Tang
2019 B conf
Digital Self-Interference Cancellation in the Presence of Phase Noise for Full-Duplex Communications.
PIMRC
Qiang Xu, Chenxing Li, Ying Liu, Xin Quan, Youxi Tang
2019 — conf
Impact of Frequency Offset on Nonlinear Distortion Suppression in Cooperative Jamming Communications.
ICC Workshops
Chenxing Li, Wenbo Guo, Libin Zhang, Xin Quan, Qiang Xu, Ying Liu, Youxi Tang
2018 — conf
A Nonlinear Feedback Linearized Power Amplifier for Wireless Communication Systems.
ISSPIT
Wanzhi Ma, Chenxing Li, Xin Quan, Wensheng Pan, Qiang Xu, Ying Liu, Youxi Tang
2018 J jnl
Blind Nonlinear Self-Interference Cancellation for Wireless Full-Duplex Transceivers.
IEEE Access
Xin Quan, Ying Liu, Dong Chen, Shihai Shao, Youxi Tang, Kai Kang
2018 J jnl
Chunk incremental learning for cost-sensitive hinge loss support vector machine.
Pattern Recognit.
Bin Gu, Xin Quan, Yunhua Gu, Victor S. Sheng, Guansheng Zheng
2018 — conf
Digital Linearization of Multiple Power Amplifiers in Phased Arrays for 5G Wireless Communications.
ISSPIT
Wensheng Pan, Chenxing Li, Xin Quan, Wanzhi Ma, Ying Liu, Shihai Shao, Youxi Tang
2018 J jnl
Energy- and spectral-efficiency of zero-forcing beamforming in massive MIMO systems with imperfect reciprocity calibration: bound and optimization.
Sci. China Inf. Sci.
Donglin Liu, Fei Wu, Xin Quan, Wanzhi Ma, Ying Liu, Shihai Shao
2017 J jnl
Digitally Assisted Analog Interference Cancellation for In-Band Full-Duplex Radios.
IEEE Commun. Lett.
Ying Liu, Xin Quan, Wensheng Pan, Youxi Tang
2017 J jnl
Impacts of Phase Noise on Digital Self-Interference Cancellation in Full-Duplex Communications.
IEEE Trans. Signal Process.
Xin Quan, Ying Liu, Shihai Shao, Chuan Huang, Youxi Tang
2016 J jnl
An Accurate Digital Predistortion for Wideband Power Amplifiers Based on Directly Solving the Inverse Model Function.
Circuits Syst. Signal Process.
Ying Liu, Xin Quan, Wensheng Pan, Shihai Shao, Youxi Tang
2016 J jnl
Eigen Domain Interference Rejection Combining Algorithm for MIMO Systems.
IEEE Commun. Lett.
Fengwei Liu, Hongzhi Zhao, Xin Quan, Ying Liu, Youxi Tang
2016 J jnl
Novel Linearization Architecture with Limited ADC Dynamic Range for Green Power Amplifiers.
IEEE J. Sel. Areas Commun.
Ying Liu, Chuan Huang, Xin Quan, Patrick Roblin, Wensheng Pan, Youxi Tang
2016 J jnl
Performance Analysis of Direct-Learning Digital Predistortion With Loop Delay Mismatch in Wideband Transmitters.
IEEE Trans. Veh. Technol.
Ying Liu, Xin Quan, Wensheng Pan, Shihai Shao, Youxi Tang
2015 B conf
Suppression of Analog Self-Interference Canceller Nonlinearities in MIMO Full Duplex.
GLOBECOM
Xin Quan, Ying Liu, Ying Shen, Wensheng Pan, Shihai Shao, Youxi Tang
2014 Misc conf
Effect of phase noise on digital self-interference cancellation in wireless full duplex.
ICASSP
Shihai Shao, Xin Quan, Ying Shen, Youxi Tang
2014 — conf
Nonlinear distortion suppression for active analog self-interference cancellers in full duplex wireless communication.
GLOBECOM Workshops
Ying Liu, Xin Quan, Wensheng Pan, Shihai Shao, Youxi Tang