Ruzica Piskac

5 papers · 2020–2025 · 4 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+2 more ↓

🌉 Interdisciplinary Bridge · Bronze 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (11) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze

❓ The Questioner 📈 Trend Setter

Venues

NSDI (2) AAAI (1) EMNLP (1) IJCAI (1)

Top co-authors

William Hallahan (1) Arman Cohan (1) Sonia Knowlton (1) Ang Chen (1) Shannon Zejiang Shen (1) Scott J. Shapiro (1) Katrine Bjørner (1) Mahesh Balakrishnan (1) Carmelo Cascone (1) Nate Foster (1)

Research topics

Artificial Intelligence (2) Machine Learning (2) Core AI (2) Computer Science (1) Knowledge & Reasoning (1) Natural Language Processing (1) Applications · Computer Science (1) Applications · Natural Language Processing (1) Learning Types (1) Optimization & Theory (1) Reasoning (1)

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 Check before You Change: Preventing Correlated Failures in Service Updates NSDI 2020 Grammar Filtering for Syntax-Guided Synthesis AAAI 2020