Liangyu Chen

44 papers A* 3A 2B 8C 4Misc 1Journal 16Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Learning to select cutting planes in mixed integer linear programming solving.
Expert Syst. Appl.
Xuefeng Zhang, Liangyu Chen, Zhengfeng Yang, Zhenbing Zeng
2026 J jnl
SageJavon: A scalable AI tutor for personalized programming learning.
Inf. Process. Manag.
Hanyu Zhao, Yuzhuo Wu, Zhufeng Lu, Xiaohua Yu, Weikai Miao, Liangyu Chen
2026 J jnl
Sel3DCraft: Interactive Visual Prompts for User-Friendly Text-to-3D Generation.
IEEE Trans. Vis. Comput. Graph.
Nan Xiang, Tianyi Liang, Haiwen Huang, Shiqi Jiang, Hao Huang, Yifei Huang, Liangyu Chen, Changbo Wang, Chenhui Li
2026 A* conf
Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification.
AAAI
Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2025 A* conf
BERT-Based Code Learning for Exception Localization and Type Prediction.
AAAI
Chongyu Zhang, Qiping Tao, Liangyu Chen, Min Zhang
2025 B conf
Enhancing Cognitive Game Tracing via Diverse Information and Time-aware Modeling.
CogSci
Yang Yu, Bo Ma, Liangyu Chen, Mingsong Chen
2025 J jnl
Sel3DCraft: Interactive Visual Prompts for User-Friendly Text-to-3D Generation.
CoRR
Nan Xiang, Tianyi Liang, Haiwen Huang, Shiqi Jiang, Hao Huang, Yifei Huang, Liangyu Chen, Changbo Wang, Chenhui Li
2025 J jnl
Tagging knowledge concepts for math problems based on multi-label text classification.
Expert Syst. Appl.
Ziqi Ding, Xiaolu Wang, Yuzhuo Wu, Guitao Cao, Liangyu Chen
2025 J jnl
Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification.
CoRR
Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2024 C conf
A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2).
ICTAC
Zhenbing Zeng, Jian Lu, Liangyu Chen
2024 — conf
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain.
ICSE Companion
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
2024 B conf
ECKT: Enhancing Code Knowledge Tracing via Large Language Models.
CogSci
Yang Yu, Yingbo Zhou, Yaokang Zhu, Yutong Ye, Liangyu Chen, Mingsong Chen
2024 A conf
LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing.
ISSTA
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang
2024 J jnl
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming.
IEEE Internet Things J.
Liangyu Chen, Chen Wang, Cheng Chen, Caidie Huang, Xiaohong Chen, Min Zhang
2023 A* conf
Deep Attentive Model for Knowledge Tracing.
AAAI
Xinping Wang, Liangyu Chen, Min Zhang
2023 J jnl
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.
Ann. Math. Artif. Intell.
Yaochen Xu, Zhenbing Zeng, Jian Lu, Yuzheng Wang, Liangyu Chen
2022 — conf
Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU.
HPCC/DSS/SmartCity/DependSys
Liangyu Chen, Jianjun Wei, Zhenbing Zeng, Min Zhang
2022 C conf
Refactoring of Object-oriented Package Structure Based on Complex Network.
SEKE
Youfei Huang, Yuhang Chen, Zhengting Tang, Liangyu Chen, Ningkang Jiang
2022 C conf
Using Multi-feature Embedding towards Accurate Knowledge Tracing.
SEKE
Yang Yu, Caidie Huang, Liangyu Chen, Mingsong Chen
2021 — conf
A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems.
HPCC/DSS/SmartCity/DependSys
Cheng Chen, Liangyu Chen, Zhenbing Zeng, Dang Lin
2021 J jnl
A Hybrid Model Combining Formulae with Keywords for Mathematical Information Retrieval.
Int. J. Softw. Eng. Knowl. Eng.
Yuqi Shen, Cheng Chen, Yifan Dai, Jinfang Cai, Liangyu Chen
2021 B conf
A New Model of Software Network for Object-Oriented Software System.
SMC
Yan Zhu, Youfei Huang, Ningkang Jiang, Liangyu Chen
2021 B conf
An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning.
IJCNN
Xinping Wang, Liangyu Chen, Tong Wang, Mingang Chen, Min Zhang
2021 A conf
Using Knowledge Concept Aggregation towards Accurate Cognitive Diagnosis.
CIKM
Xinping Wang, Caidie Huang, Jinfang Cai, Liangyu Chen
2021 C conf
Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval.
SEKE
Cheng Chen, Yifan Dai, Yuqi Shen, Jinfang Cai, Liangyu Chen
2020 B conf
An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae.
SMC
Yifan Dai, Liangyu Chen, Zihan Zhang
2020 J jnl
Measurement and refactoring for package structure based on complex network.
Appl. Netw. Sci.
Yangxi Zhou, Yanran Mi, Yan Zhu, Liangyu Chen
2020 Misc conf
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory.
SETTA
Yangxi Zhou, Yan Zhu, Liangyu Chen
2019 — conf
A Heilbronn Type Inequality for Plane Nonagons.
MC
Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang
2019 B conf
Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation.
CASC
Zhenbing Zeng, Liangyu Chen
2018 J jnl
An efficient algorithm for global interval solution of nonlinear algebraic equations and its GPGPU implementation.
CoRR
Dang Lin, Liangyu Chen
2017 B conf
Big Prime Field FFT on the GPU.
ISSAC
Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza
2017 J jnl
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing.
J. Glob. Optim.
Liangyu Chen, Yaochen Xu, Zhenbing Zeng
2014 J jnl
An upper bound of Heilbronn number for eight points in triangles.
J. Comb. Optim.
Liangyu Chen, Zhenbing Zeng, Wei Zhou
2013 J jnl
Parallel computation of determinants of matrices with multivariate polynomial entries.
Sci. China Inf. Sci.
Liangyu Chen, Zhenbing Zeng
2012 — conf
ESF - An Extensive Service Foundation from Internet of Things Perspective.
ISORC Workshops
Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang
2012 — conf
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.
ASCM
Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2010 J jnl
Reachability analysis of rational eigenvalue linear systems.
Int. J. Syst. Sci.
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010 B conf
Real Root Isolation of Multi-Exponential Polynomials with Application.
WALCOM
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2010 J jnl
Termination Analysis of Linear Loops.
Int. J. Found. Comput. Sci.
Ming Xu, Liangyu Chen, Zhenbing Zeng, Zhi-Bin Li
2009 — conf
On the Best Bezier Approximation of Ellipses.
CSO (2)
Zhenbing Zeng, Liangyu Chen
2009 — conf
Symbolic Reachability Computation of a Class of Nonlinear Systems.
ACIS-ICIS
Ming Xu, Liangyu Chen, Zhi-Bin Li
2008 — conf
On the Heilbronn Optimal Configuration of Seven Points in the Square.
Automated Deduction in Geometry
Zhenbing Zeng, Liangyu Chen
2007 — conf
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.
ASCM
Liangyu Chen, Zhenbing Zeng