← back to authors

Hongshun Yao

🔕 sledovat

1 papers · first: 2026-07-14 · last: 2026-07-14

1
Papers
0.0
Max score
0.0
Avg score
Max AD (0 relevant)

📄 Papers

An Agentic Formalization for Certified Quantum Neural Network Design
9.3
⭐⭐

quant-ph · 2026-07-14

Tento článek formalizuje klíčové komponenty teorie kvantových neuronových sítí (QNN), konkrétně expresivitu a trénovatelnost, v systému Lean 4 ověřeném důkazovým jádrem. Autoři prokazují přesné charakteristiky QNN pro jeden qubit, teorém o zpracování

Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
8.2
⭐⭐

quant-ph · 2026-07-15

Tento článek popisuje formální verifikaci Shorova algoritmu v Lean pomocí agentních systémů pro kvantovou kryptoanalýzu RSA-2048 a P-256. Práce formalizuje matematické základy a odhady zdrojů pro tyto útoky, včetně reverzibilních kvantových obvodů pr