Kostas Stathis
6 papers · 2013–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Academic Marathon (10)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(17)
π
Conference Pioneer
Conferences
AAAI (2)
IJCAI (2)
ACL (1)
IJCNLP (1)
Top co-authors
Keywords
decision support
(2)
text classification
(2)
natural language processing
(2)
model interpretability
(1)
formal verification
(1)
markov decision process
(1)
logical representation
(1)
machine learning
(1)
case-based reasoning
(1)
neural theorem proving
(1)
risk prediction
(1)
agent system
(1)
actor-critic architecture
(1)
negotiation strategy
(1)
concurrent negotiation
(1)
risk classification
(1)
decision support system
(1)
neural network
(1)
interactive theorem prover
(1)
bilateral negotiation
(1)
Papers
Towards a Common Framework for Autoformalization
AAAI 2026
Disentangling Reafferent Effects by Doing Nothing
AAAI 2023
Supporting Complaints Investigation for Nursing and Midwifery Regulatory Agencies
ACL 2021
Supporting Complaints Investigation for Nursing and Midwifery Regulatory Agencies
IJCNLP 2021
A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation
IJCAI 2020
Multi-Dimensional Causal Discovery
IJCAI 2013