ZM
Zhong Ming
cs.LGcs.NAmath.NAmath.DSstat.MLcs.IRcs.MAcs.SEmath.STnlin.AO
On Valency
published · living versionsW_f3ctabf9·v1 · currentpublished
VeruSteer: Learning What to Repair Next in Verus
with Chao Jiang, Ding Wang, Chaohua Yang, Dugang Liu +5
1 version
W_nrmmjfab·v1published
Preprints & journals
21 papers in the corpus · 2018–2026VeruSteer: Learning What to Repair Next in Verus2610.29755v1 · Chao Jiang, Ding Wang, Chaohua Yang et al.2026 · 0 citationsarXivon Valency
VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance2610.26464v1 · Ding Wang, Chao Jiang, Dugang Liu et al.2026 · 0 citationsarXivon Valency
Learning Interaction Kernels from Collective Steady States2609.12004v2 · Baoli Hao, Mauro Maggioni, Ming Zhong2026 · 0 citationsarXiv
Simultaneous inference of environmental and interaction forces in collective dynamics2608.25181v1 · Nipuni de Silva, Ming Zhong, James M. Greene2026 · 0 citationsarXiv
Crime hotspot dynamics in residential burglary models with police response2605.17709v1 · Baoli Hao, Kamrun Mily, Annalisa Quaini et al.2026 · 0 citationsarXiv
Self-Supervised Representation Learning with ID-Content Modality Alignment for Sequential Recommendation2510.10556v2 · Donglin Zhou, Weike Pan, Zhong Ming2025 · 1 citationarXiv
A finite element framework for simulating residential burglary in realistic urban geometries2508.11055v2 · Baoli Hao, Kamrun Mily, Annalisa Quaini et al.2025 · 0 citationsarXiv
Lossless and Privacy-Preserving Graph Convolution Network for Federated Item Recommendation2412.01141v1 · Guowei Wu, Weike Pan, Qiang Yang et al.2024 · 0 citationsarXiv
Sample Enrichment via Temporary Operations on Subsequences for Sequential Recommendation2407.17802v1 · Shu Chen, Jinwei Luo, Weike Pan et al.2024 · 0 citationsarXiv
Stability in Training PINNs for Stiff PDEs: Why Initial Conditions Matter2404.16189v4 · Baoli Hao, Chun Liu, Ulisses Braga-Neto et al.2024 · 3 citationsarXiv
Learning Collective Behaviors from Observation2311.00875v3 · Jinchao Feng, Ming Zhong2023 · 1 citationarXiv
Learning Interaction Variables and Kernels from Observations of Agent-Based Systems2208.02758v1 · Jinchao Feng, Mauro Maggioni, Patrick Martin et al.2022 · 4 citationsarXiv
Physics-Informed Neural Networks with Adaptive Localized Artificial Viscosity2203.08802v1 · E.J.R. Coutinho, M. Dall'Aqua, L. McClenny et al.2022 · 81 citationsarXiv
Machine Learning for Discovering Effective Interaction Kernels between Celestial Bodies from Ephemerides2108.11894v1 · Ming Zhong, Jason Miller, Mauro Maggioni2021 · 1 citationarXiv
Dynamical quantum phase transition in quantum spin chains with gapless phases2106.00191v1 · Kaiyuan Cao, Zhong Ming, Peiqing Tong2021 · 1 citationarXiv
Learning Interaction Kernels for Agent Systems on Riemannian Manifolds2102.00327v3 · Mauro Maggioni, Jason Miller, Hongda Qiu et al.2021 · 4 citationsarXiv
Learning Theory for Inferring Interaction Kernels in Second-Order Interacting Agent Systems2010.03729v1 · Jason Miller, Sui Tang, Ming Zhong et al.2020 · 13 citationsarXiv
Data-driven discovery of emergent behaviors in collective dynamics.32753772 · Zhong, Ming, Miller, Jason, Maggioni, Mauro2021 · 26 citationsPhysica D. Nonlinear phenomena. 2020;411
Nonparametric inference of interaction laws in systems of agents from trajectory data.31253708 · Lu, Fei, Zhong, Ming, Tang, Sui et al.2020 · 102 citationsProceedings of the National Academy of Sciences of the United States of America. 2019;116(29):14424-14433
Time Relaxation with Iterative Modified Lavrentiev Regularization1809.09517v1 · Ming Zhong2018 · 0 citationsarXiv
Iterative Refinement of A Modified Lavrentiev Regularization Method for De-convolution of the Discrete Helmholtz Type Differential Filter1801.08913v1 · Nathaniel Mays, Ming Zhong2018 · 0 citationsarXiv
Career total: 51 works. 21 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.