Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Min Zhang
Institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
Observed institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
ORCID:
0000-0003-1938-2902
Observed ORCID:
0000-0003-1938-2902
OpenAlex ID:
A5134160571
A Formal Framework for Predicting Distributed System Performance Under Faults
2026
·
Ziwei Zhou
, Si Liu
, et al.
·
Lecture notes in computer science
·
1
PDF
Formal Verification of Neural Network-Controlled Systems via Proof Certificates
2026
·
Dapeng Zhi
, Peixin Wang
, et al.
·
Lecture notes in computer science
FairCG: Mitigate Counterfactual and Group Bias in Machine Learning
2026
·
Muxiang Zhang
, Lingfeng Zhang
, et al.
·
IEEE International Conference on Acoustics Speech and Signal Processing
SoGRE: Boosting Logical Reasoning of LLMs via Solver-Guided Reasoning Enhancement
2026
·
Zhaohui Wang
, Lingfeng Zhang
, et al.
·
IEEE International Conference on Acoustics Speech and Signal Processing
Show more works
View as search
Works count:
5
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
