Haoran Ding

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026
LongDocRank: graph-augmented large language models for unsupervised keyphrase extraction from long documents.
J. Big Data, December, 2026

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning.
CoRR, April, 2026

World2Act: Latent Action Post-Training via Skill-Compositional World Models.
CoRR, March, 2026

Choose What to Observe: Task-Aware Semantic-Geometric Representations for Visuomotor Policy.
CoRR, March, 2026

TokenMixer-Large: Scaling Up Large Ranking Models in Industrial Recommenders.
CoRR, February, 2026

DAGG-Net: Dual adaptive graph and gating network for multimodal aspect-based sentiment analysis.
Expert Syst. Appl., 2026

2025
3D-CovDiffusion: 3D-Aware Diffusion Policy for Coverage Path Planning.
CoRR, October, 2025

Imagination at Inference: Synthesizing In-Hand Views for Robust Visuomotor Policy Inference.
CoRR, September, 2025

GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB.
Proc. VLDB Endow., August, 2025

Evetac Meets Sparse Probabilistic Spiking Neural Network: Enhancing Snap-Fit Recognition Efficiency and Performance.
IEEE Robotics Autom. Lett., June, 2025

Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency.
Proc. ACM Manag. Data, June, 2025

Fast and Robust Visuomotor Riemannian Flow Matching Policy.
IEEE Trans. Robotics, 2025

Towards Safe Imitation Learning via Potential Field-Guided Flow Matching.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

Cell-YOLOv8: A Novel Automated Method for Multi-Scale Cervical Cell Detection.
Proceedings of the 28th International Conference on Computer Supported Cooperative Work in Design, 2025

RankMixer: Scaling Up Ranking Models in Industrial Recommenders.
Proceedings of the 34th ACM International Conference on Information and Knowledge Management, 2025

2024
AC-YOLOv4: an object detection model incorporating attention mechanism and atrous convolution for contraband detection in x-ray images.
Multim. Tools Appl., March, 2024

Integrating data-driven and knowledge-driven approaches to analyze clinical notes with structured data for sarcopenia detection.
Health Informatics J., 2024

Reproducibility Report for ACM SIGMOD 2024 Paper: 'Proving Query Equivalence Using Linear Integer Arithmetic'.
Proceedings of the Reproducibility Reports of the 2024 International Conference on Management of Data, 2024

Image Generation Method for Addressing Class Imbalance in Small-Sample Pulsar Candidates.
Proceedings of the PRICAI 2024: Trends in Artificial Intelligence, 2024

Expressive Speech Synthesis Enhancement with Conditional Embeddings.
Proceedings of the PRICAI 2024: Trends in Artificial Intelligence, 2024

2023
Proving Query Equivalence Using Linear Integer Arithmetic.
Proc. ACM Manag. Data, December, 2023

Automated Verification of Idempotence for Stateful Serverless Applications.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022
Attention-based Unsupervised Keyphrase Extraction and Phrase Graph for COVID-19 Medical Literature Retrieval.
ACM Trans. Comput. Heal., 2022

WeTune: Automatic Discovery and Verification of Query Rewrite Rules.
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

AGRank: Augmented Graph-based Unsupervised Keyphrase Extraction.
Proceedings of the 2nd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 12th International Joint Conference on Natural Language Processing, 2022

InAction: Interpretable Action Decision Making for Autonomous Driving.
Proceedings of the Computer Vision - ECCV 2022, 2022

2021
AttentionRank: Unsupervised Keyphrase Extraction using Self and Cross Attentions.
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Research on multithread programming method based on Java programming.
Proceedings of the AIAM 2021: 3rd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 23, 2021

2020
Attention Mechanism with BERT for Content Annotation and Categorization of Pregnancy-Related Questions on a Community Q&A Site.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

Retrieving Lab Test Related Questions from Social Q&A Sites by Combining Shallow Features and Deep Representations.
Proceedings of the AMIA 2020, 2020

2019
Using concurrent relational logic with helpers for verifying the AtomFS file system.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019


  Loading...