​
Login / Signup
Mi Ding
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 4
Top Topics
Dielectric Constant
Deep Learning
Model Checking
Weakly Supervised
Top Venues
Inf. Softw. Technol.
ISSRE
DSA
IEEE Access
</>
Publications
</>
Wang Lin
,
Mi Ding
,
Kaipeng Lin
,
Zuohua Ding
Formal synthesis of neural Craig interpolant via counterexample guided deep learning.
Inf. Softw. Technol.
163 (2023)
Mi Ding
,
Kaipeng Lin
,
Wang Lin
,
Zuohua Ding
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.
ISSRE
(2022)
Wang Lin
,
Mi Ding
,
Kaipeng Lin
,
Guoquan Mei
,
Zuohua Ding
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.
DSA
(2022)
Mi Ding
,
Liang Zou
,
Tong Zhao
,
Li Zhang
,
Qingmin Li
Molecular Dynamics Simulation of Dielectric Constant Temperature Characteristics of Cross-Linked Epoxy Resin/Functionalized Carbon Nanotube Nanocomposite.
IEEE Access
8 (2020)
Zhixiao Yang
,
Jinchi Han
,
Mi Ding
The kinematical analysis of virtual robot in text-to-visual speech synthesis.
VECIMS
(2009)