Ruzica Piskac
5 papers · 2020–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π 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)
Papers
CourtReasoner: Can LLM Agents Reason Like Judges?
EMNLP 2025
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
IJCAI 2023
Avenir: Managing Data Plane Diversity with Control Plane Synthesis
NSDI 2021
Grammar Filtering for Syntax-Guided Synthesis
AAAI 2020
Check before You Change: Preventing Correlated Failures in Service Updates
NSDI 2020