Nina Narodytska

4 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 ICLR ×1 SIGMOD ×1

Frequent coauthors

Haoze Wu

×2

Clark W. Barrett

×2

Hongbin Zhong

×1

Matthew Lentz

×1

Adriana Szekeres

×1

Kexin Rong

×1

Sagar Patel

×1

Sangeetha Abdu Jyothi

×1

Papers

Cubing for Tuning
AAAI 2026 ·
Haoze Wu
,
Clark W. Barrett
, Nina Narodytska
HONEYBEE: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning
SIGMOD 2026 ·
Hongbin Zhong
,
Matthew Lentz
, Nina Narodytska,
Adriana Szekeres
,
Kexin Rong
CrystalBox: Future-Based Explanations for Input-Driven Deep RL Systems
AAAI 2024 ·
Sagar Patel
,
Sangeetha Abdu Jyothi
, Nina Narodytska
Lemur: Integrating Large Language Models in Automated Program Verification
ICLR 2024 ·
Haoze Wu
,
Clark W. Barrett
, Nina Narodytska