PPaperPicks

Zuohua Ding

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ICDAR ×1IJCAI ×1

Frequent coauthors

Xiongqi Zhang
DBLP profile ↗ORCID search ↗
×2
Suqiong Zhang
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network
    AAAI 2025 ·
    Xiongqi Zhang
    DBLP profile ↗ORCID search ↗
  2. Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates
    IJCAI 2025 ·
    Xiongqi Zhang
    DBLP profile ↗ORCID search ↗
  3. Large Language Models for Online Log Parsing in AIOps
    ICDAR 2025 ·
    Suqiong Zhang
    DBLP profile ↗ORCID search ↗