Daniel Neider
9 papers · 2020–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (3) π Academic Marathon (5) π§ Keyword Pioneer π Cross-Pollinator (11)
πΊοΈ
Taxonomy Completionist
(21)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(11)
π§¬
Topic Evolution
π₯
Unstoppable
(6)
ποΈ
Keyword Collector
(51)
Conferences
AAAI (6)
IJCAI (2)
CLEAR (1)
Top co-authors
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
VeriFlow: Modeling Distributions for Neural Network Verification
AAAI 2026
Learning DFAs from Positive Examples Only via Word Counting
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