PPaperPicks

Xiongqi Zhang

2 papers at tracked venues · 1 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1

Papers

  1. Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network
    AAAI 2025 · Xiongqi Zhang
  2. Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates
    IJCAI 2025 · Xiongqi Zhang