Skip to content
conftrace_

Daniel Neider

9 papers · 2020–2026 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓
+3 more ↓ 🌍 Conference Polyglot Β· Bronze πŸƒ Academic Marathon Β· Sprint πŸŒ‰ Interdisciplinary Bridge Β· Bronze πŸ—ΊοΈ Taxonomy Completionist (21) 🐣 Hot Topic Early Bird
🧬 Topic Evolution πŸ”₯ Unstoppable Β· Bronze πŸ—ƒοΈ Keyword Collector (51)

Venues

AAAI (6) IJCAI (2) CLeaR (1)

Top co-authors

Zhe Xu (3) Rajarshi Roy (2) Jan Corazza (2) Jean-Raphael Gaglione (2) Ivan Gavran (2) Ufuk Topcu (2) Kristian Kersting (1) Jean Christoph Jung (1) Lukas Westhofen (1) Hadi Partovi Aria (1)

Research topics

Artificial Intelligence (7) Core AI (7) Machine Learning (5) Reinforcement Learning (3) Learning Types (3) Methods (3) Optimization & Theory (3) Deep Learning (2) Knowledge & Reasoning (2) Core Methods (2) Reasoning (2) Architectures (1) Models (1) Representation (1)

Keywords

reinforcement learning (3) temporal logic (3) formal verification (2) policy learning (2) deterministic finite automaton (2) automata learning (1) computational complexity (1) adversarial robustness (1) autonomous vehicle (1) markov decision process (1) constraint satisfaction (1) reward function (1) optimal policy (1) stochastic process (1) convergence guarantee (1) model interpretability (1) algorithm analysis (1) neural network verification (1) passive learning (1) knowledge base (1)

Papers

Learning DFAs from Positive Examples Only via Word Counting AAAI 2026 VeriFlow: Modeling Distributions for Neural Network Verification AAAI 2026 Temporal Conjunctive Query Answering via Rewriting AAAI 2025 Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment CLeaR 2024 Learning Interpretable Temporal Properties from Positive Examples Only AAAI 2023 Neuro-Symbolic Verification of Deep Neural Networks IJCAI 2022 Reinforcement Learning with Stochastic Reward Machines AAAI 2022 Advice-Guided Reinforcement Learning in a non-Markovian Environment AAAI 2021 Learning Interpretable Models in the Property Specification Language IJCAI 2020