DR
Divya Raghunathan
cs.NIcs.LOcs.AIcs.CLcs.LG
On Valency
published · living versionsW_etmeccs6·v1 · currentpublished
Scaling Lean Theorem Proving for Real-World Code Verification
with Debargha Ganguly, Dejan Jovanović, Vikash Singh, Soonho Kong +4
1 version
Preprints & journals
5 papers in the corpus · 2019–2025A Neurosymbolic Approach to Natural Language Formalization and Verification2511.09008v2 · Chenyang An, Sam Bayless, Stefano Buliani et al.2025 · 1 citationarXiv
Super-resolution on network telemetry time series2403.04165v1 · Fengchen Gong, Divya Raghunathan, Aarti Gupta et al.2024 · 0 citationsarXiv
High-Level Synthesis for Packet-Processing Pipelines2211.06475v2 · Xiangyu Gao, Divya Raghunathan, Ruijie Fang et al.2022 · 0 citationsarXiv
ACORN: Network Control Plane Abstraction using Route Nondeterminism2206.02100v1 · Divya Raghunathan, Ryan Beckett, Aarti Gupta et al.2022 · 3 citationsarXiv
Knowledge Compilation for Boolean Functional Synthesis1908.06275v1 · S. Akshay, Jatin Arora, Supratik Chakraborty et al.2019 · 21 citationsarXiv
Career total: 11 works. 5 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.