Ingo Pill
4 papers · 2013–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot (3) 🏃 Academic Marathon (11) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (10)
🚀
Conference Pioneer
Conferences
IJCAI (2)
AAAI (1)
ACL (1)
Top co-authors
Keywords
unsupervised clustering
(1)
model-based diagnosis
(1)
satisfiability solving
(1)
recurrent neural network
(1)
semantic clustering
(1)
sat solver
(1)
conjunctive normal form
(1)
sequential circuit
(1)
minimal diagnosis
(1)
hidden state vector
(1)
diagnosis algorithm
(1)
cnf encoding
(1)
automata state
(1)
Papers
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures
ACL 2024
Efficient Model-Based Diagnosis of Sequential Circuits
AAAI 2020
The Route to Success – A Performance Comparison of Diagnosis Algorithms
IJCAI 2013
Behavioral Diagnosis of LTL Specifications at Operator Level
IJCAI 2013