Wenda Li

Tianqi Wu

Hong Liu

Remote. Sens., March, 2024

MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures.

[BibT_eX]

[DOI]

IEEE Trans. Aerosp. Electron. Syst., February, 2024

Decimeter-Level Indoor Localization Using WiFi Round-Trip Phase and Factor Graph Optimization.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., January, 2024

Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe.

[BibT_eX]

[DOI]

CoRR, 2024

Proving Theorems Recursively.

[BibT_eX]

[DOI]

CoRR, 2024

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

[BibT_eX]

[DOI]

CoRR, 2024

A Sum-Rate Prediction Strategy Based On RIS-Aided IoT Networks Power Optimization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 99th IEEE Vehicular Technology Conference, 2024

EndoSelf: Self-supervised Monocular 3D Scene Reconstruction of Deformable Tissues with Neural Radiance Fields on Endoscopic Videos.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2024, 2024

Formalising Half of a Graduate Textbook on Number Theory (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Subgoal-based Demonstration Learning for Formal Theorem Proving.

[BibT_eX]

[DOI]

Xueliang Zhao

Lingpeng Kong

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Don't Trust: Verify - Grounding LLM Quantitative Reasoning with Autoformalization.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Learning a Mini-Batch Graph Transformer via Two-Stage Interaction Augmentation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems.

[BibT_eX]

[DOI]

IEEE Internet Things J., March, 2023

A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2023

Multilingual Mathematical Autoformalization.

[BibT_eX]

[DOI]

Albert Q. Jiang

Mateja Jamnik

CoRR, 2023

Evaluating Language Models for Mathematics through Interactions.

[BibT_eX]

[DOI]

CoRR, 2023

Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving.

[BibT_eX]

[DOI]

Xueliang Zhao

Lingpeng Kong

CoRR, 2023

A large-scale multimodal dataset of human speech recognition.

[BibT_eX]

[DOI]

CoRR, 2023

Opportunistic RIS-assisted rate splitting transmission in coordinated multiple points networks.

[BibT_eX]

[DOI]

Comput. Commun., 2023

Doppler Sensing Using WiFi Round-Trip Channel State Information.

[BibT_eX]

[DOI]

Proceedings of the IEEE Wireless Communications and Networking Conference, 2023

Multi-view Guidance for Self-supervised Monocular Depth Estimation on Laparoscopic Images via Spatio-Temporal Correspondence.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

Message-passing Selection: Towards Interpretable GNNs for Graph Classification.

[BibT_eX]

[DOI]

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

On CSI and Passive Wi-Fi Radar for Opportunistic Physical Activity Recognition.

[BibT_eX]

[DOI]

Mohammud Junaid Bocus

IEEE Trans. Wirel. Commun., 2022

FMNet: Latent Feature-Wise Mapping Network for Cleaning Up Noisy Micro-Doppler Spectrogram.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2022

A Deep Learning Method for Denoising Based on a Fast and Flexible Convolutional Neural Network.

[BibT_eX]

[DOI]

Hong Liu

Jian Wang

IEEE Trans. Geosci. Remote. Sens., 2022

Structure-Preserving Random Noise Attenuation Method for Seismic Data Based on a Flexible Attention CNN.

[BibT_eX]

[DOI]

Tianqi Wu

Hong Liu

Remote. Sens., 2022

A Study of Point Laser for Automatic Local Road Condition Assessment: Feasibility, Challenges, and Limitations.

[BibT_eX]

[DOI]

IEEE Intell. Transp. Syst. Mag., 2022

Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL.

[BibT_eX]

[DOI]

Exp. Math., 2022

Simple Type Theory is not too Simple: Grothendieck's Schemes Without Dependent Types.

[BibT_eX]

[DOI]

Anthony Bordg

Exp. Math., 2022

Spatially variant biases considered self-supervised depth estimation based on laparoscopic videos.

[BibT_eX]

[DOI]

Comput. methods Biomech. Biomed. Eng. Imaging Vis., 2022

Human Activity Recognition With Commercial WiFi Signals.

[BibT_eX]

[DOI]

IEEE Access, 2022

Autoformalization with Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Self-supervised depth estimation with uncertainty-weight joint loss function based on laparoscopic videos.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2022: Image-Guided Procedures, 2022

Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency.

[BibT_eX]

[DOI]

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

Pi-NIC: Indoor Sensing Using Synchronized Off-The-Shelf Wireless Network Interface Cards and Raspberry Pis.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Symposium on Joint Communications & Sensing, 2022

2021

A Novel Processing Methodology for Traffic-Speed Road Surveys Using Point Lasers.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

Passive WiFi Radar for Human Sensing Using a Stand-Alone Access Point.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2021

A fuzzy multi-objective programming optimization model for emergency resource dispatching under equitable distribution principle.

[BibT_eX]

[DOI]

J. Intell. Fuzzy Syst., 2021

The Theorem of Three Circles.

[BibT_eX]

[DOI]

Fox Thomson

Arch. Formal Proofs, 2021

Grothendieck's Schemes in Algebraic Geometry.

[BibT_eX]

[DOI]

Anthony Bordg

Arch. Formal Proofs, 2021

Residual Learning of Cycle-GAN for Seismic Data Denoising.

[BibT_eX]

[DOI]

Jian Wang

IEEE Access, 2021

Unsupervised Doppler Radar Based Activity Recognition for e-Healthcare.

[BibT_eX]

[DOI]

IEEE Access, 2021

Context encoder guided self-supervised siamese depth estimation based on stereo laparoscopic images.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2021: Image-Guided Procedures, 2021

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

IsarStep: a Benchmark for High-level Mathematical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

GAN Based Noise Generation to Aid Activity Recognition when Augmenting Measured WiFi Radar Data with Simulations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications Workshops, 2021

A New Insight in Medical Resources Scheduling of Physical Examination with Adaptive Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Computer Supported Cooperative Work in Design, 2021

2020

Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2020

Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs.

[BibT_eX]

[DOI]

CoRR, 2020

Irrationality Criteria for Series by Erdős and Straus.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2020

Automatic Road Survey by Using Vehicle Mounted Laser for Road Asset Management.

[BibT_eX]

[DOI]

IEEE Access, 2020

Translation Resilient Opportunistic WiFi Sensing.

[BibT_eX]

[DOI]

Mohammud Junaid Bocus

Jonas Paulavicius

Ryan McConville

Raúl Santos-Rodríguez

Kevin Chetty

Proceedings of the 25th International Conference on Pattern Recognition, 2020

A Taxonomy of WiFi Sensing: CSI vs Passive WiFi Radar.

[BibT_eX]

[DOI]

Mohammud Junaid Bocus

Proceedings of the IEEE Globecom Workshops, 2020

2019

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL.

[BibT_eX]

[DOI]

Grant Olney Passmore

J. Autom. Reason., 2019

The Transcendence of Certain Infinite Series.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2019

Physical Activity Sensing via Stand-Alone WiFi Device.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Global Communications Conference, 2019

Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

WiFi-based passive sensing system for human presence and activity event classification.

[BibT_eX]

[DOI]

Bo Tan

IET Wirel. Sens. Syst., 2018

Exploiting WiFi Channel State Information for Residential Healthcare Informatics.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2018

The Budan-Fourier Theorem and Counting Real Roots with Multiplicity.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Irrational Rapidly Convergent Series.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Histogram-Based Road Markings Extraction by Using 3D Laser Imaging.

[BibT_eX]

[DOI]

Michael Burrow

Yueyue Tao

Proceedings of the 2018 IEEE SENSORS, New Delhi, India, October 28-31, 2018, 2018

Automatic Road Condition Assessment by Using Point Laser Sensor.

[BibT_eX]

[DOI]

Michael Burrow

Zijun Li

Proceedings of the 2018 IEEE SENSORS, New Delhi, India, October 28-31, 2018, 2018

Opportunistic Doppler-Only Indoor Localization Via Passive Radar.

[BibT_eX]

[DOI]

Bo Tan

Proceedings of the 2018 IEEE 16th Intl Conf on Dependable, 2018

Low-cost vector map assisted navigation strategy for autonomous vehicle.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017

Evaluate winding numbers through Cauchy indices.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2017

Count the Number of Complex Roots.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2017

Implementation methods and applications of flow visualization in a watershed simulation platform.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2017

Passive wireless sensing for unsupervised human activity recognition in healthcare.

[BibT_eX]

[DOI]

Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017

2016

Aggregation based Cell Selection Methods for multi-RAT HetNet.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

A Formal Proof of Cauchy's Residue Theorem.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Non-contact breathing detection using passive radar.

[BibT_eX]

[DOI]

Bo Tan

Proceedings of the 2016 IEEE International Conference on Communications, 2016

Opportunistic physical activity monitoring via passive WiFi radar.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016

A modular, efficient formalisation of real algebraic numbers.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL.

[BibT_eX]

[DOI]

Grant Olney Passmore

CoRR, 2015

2014

The Sturm-Tarski Theorem.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2014

2013

The Königsberg Bridge Problem and the Friendship Theorem.

[BibT_eX]

[DOI]