Ruzica Piskac
5 papers
· 2020–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(15)
π
Conference Polyglot
(4)
π
Academic Marathon
(5)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
β
The Questioner
Conferences
NSDI (2)
AAAI (1)
EMNLP (1)
IJCAI (1)
Top co-authors
Keywords
program synthesis
(2)
boolean satisfiability
(1)
automated reasoning
(1)
markov decision process
(1)
autonomous agent
(1)
counterfactual reasoning
(1)
programming by example
(1)
software-defined networking
(1)
control plane
(1)
data plane
(1)
smt solver
(1)
agent system
(1)
search space reduction
(1)
llm agent
(1)
model counting
(1)
legal reasoning
(1)
failure prevention
(1)
argument generation
(1)
large language model
(1)
neural network
(1)