PPaperPicks

Daniel Neider

8 papers at tracked venues · 4 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Learning DFAs from Positive Examples Only via Word Counting
  2. VeriFlow: Modeling Distributions for Neural Network Verification
  3. Decentralizing Multi-agent Reinforcement Learning with Temporal Causal Information
  4. Learning Tree Pattern Transformations
    ICDT 2025 · Daniel Neider
  5. NoBOOM: Chemical Process Datasets for Industrial Anomaly Detection
  6. Temporal Conjunctive Query Answering via Rewriting
  7. A Benchmark Suite for Verifying Neural Anomaly Detectors in Distillation Processes
  8. Defending Our Privacy with Backdoors