Login / Signup
Mohit Prashant
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Detection Algorithm
Formal Verification
Data Distribution
Raw Data
Top Venues
CoRR
ICSRS
</>
Publications
</>
Mohit Prashant
,
Arvind Easwaran
PAC-Based Formal Verification for Out-of-Distribution Data Detection.
CoRR
(2023)
Mohit Prashant
,
Arvind Easwaran
PAC-Based Formal Verification for Out-of-Distribution Data Detection.
ICSRS
(2022)