Daniel Neider
Scholar

Daniel Neider

Google Scholar ID: d_hbg3cAAAAJ
TU Dortmund University and Center for Trustworthy Data Science and Security
Formal MethodsMachine LearningLogicArtificial Intelligence
Google Scholar↗
Citations & Impact
All-time
Citations
1,947
 
H-index
23
 
i10-index
47
 
Publications
20
 
Co-authors
22
list available
Contact
No contact links provided.
Publications
13 items
Evaluating Counterfactual Explanation Methods on Incomplete Inputs
2026
Cited
0
Reinforcement Learning with Symbolic Reward Machines
2026
Cited
0
Focused Chain-of-Thought: Efficient LLM Reasoning via Structured Input Information
2025
Cited
0
Learning DFAs from Positive Examples Only via Word Counting
2025
Cited
0
Formally Exploring Time-Series Anomaly Detection Evaluation Metrics
2025
Cited
0
Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment
2025
Cited
0
On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification
2025
Cited
0
Formal verification for robo-advisors: Irrelevant for subjective end-user trust, yet decisive for investment behavior?
2025
Cited
0
Resume (English only)
Co-authors
22 total
Madhusudan Parthasarathy
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Pranav Garg
Pranav Garg
Amazon
Ufuk Topcu
Ufuk Topcu
The University of Texas at Austin
Zhe Xu
Zhe Xu
Assistant Professor, Arizona State University
Martin Zimmermann
Martin Zimmermann
Aalborg University
Martin Leucker
Martin Leucker
Professor of Computer Science, University of Lübeck
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Co-author 8
Co-author 8