AGSPN: Efficient attention-gated spatial propagation network for depth completion.
Expert Syst. Appl., 2025
Dense frustum-aware fusion for 3D object detection in perception systems.
Expert Syst. Appl., March, 2024
Lyra: Orchestrating Dual Correction in Automated Theorem Proving.
Trans. Mach. Learn. Res., 2024
A Comprehensive Survey on Deep Graph Representation Learning.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Neural Networks, 2024
Cluster-guided Contrastive Class-imbalanced Graph Classification.
CoRR, 2024
Measuring Social Norms of Large Language Models.
Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024
Measuring Vision-Language STEM Skills of Neural Models.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Induction Motor Stator Winding Inter-Tern Short Circuit Fault Detection Based on Start-Up Current Envelope Energy.
Sensors, October, 2023
FIMO: A Challenge Formal Dataset for Automated Theorem Proving.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2023
A Comprehensive Survey on Deep Graph Representation Learning.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision.
Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023
KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph Classification.
Proceedings of the WSDM '22: The Fifteenth ACM International Conference on Web Search and Data Mining, Virtual Event / Tempe, AZ, USA, February 21, 2022
HE-SNE: Heterogeneous Event Sequence-based Streaming Network Embedding for Dynamic Behaviors.
Proceedings of the International Joint Conference on Neural Networks, 2022
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022
Joint Language Semantic and Structure Embedding for Knowledge Graph Completion.
Proceedings of the 29th International Conference on Computational Linguistics, 2022
Generate & Rank: A Multi-task Framework for Math Word Problems.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021
Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare Diseases.
Proceedings of the AMIA 2020, 2020
A Lane Detection Method Based on a Ridge Detector and Regional G-RANSAC.
Sensors, 2019
Learning to Answer Ambiguous Questions with Knowledge Graph.
CoRR, 2019
Nighttime Driving Safety Improvement via Image Enhancement for Driver Face Detection.
IEEE Access, 2018
Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
National instrument-based experimental validation of a nonlinear real-time induction motor model in an EV simulation system.
Proceedings of the IEEE International Conference on Industrial Technology, 2017