conftrace_

Drashti Pathak

1 papers · 2023–2023 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🐝 Cross-Pollinator (3) 🌉 Interdisciplinary Bridge 📈 Trend Setter

Conferences

IJCAI (1)

Top co-authors

Subhajit Roy (1) Nitesh Trivedi (1) Jialu Bao (1) Justin Hsu (1)

Research topics

Probability (1)

Keywords

probabilistic programming (1) invariant learning (1) probabilistic program (1) weakest pre-expectation (1) loop invariant (1) invariant synthesis (1) piecewise continuous function (1)

Papers

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) IJCAI 2023