Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Ya Zhang

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Open access Oct 2026

mxym/math: Mutual-information continuity counterexample v2 — verified classical Lean proof

This immutable v2 release supplies the independently verified classical probability-table Lean formalization of the counterexample in unchanged written-proof v1. Exact public source commit: 363224e0f7cf1d7ea7b4ed2546f8ed372da7b04c. Complete source and reproduction package. The original Lean source is byte-preserved (SH...

Ya Zhang · 0 citations
#explainable ai Open access Oct 2026

Counterexamples to Bapat's q-permanent monotonicity conjecture

Archival deposit of already public mathematical research by Yongxian Zhang. Original source bytes and release attachments are preserved, with exact Git and SHA-256 provenance. No external human peer review or worldwide priority is asserted. Existing licenses are preserved; previously unlicensed material remains all rig...

Ya Zhang · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.