Search Results for author:
Found 8 papers, 3 papers with code
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
As these models become prevalent, various metrics and benchmarks have emerged to evaluate the quality of the generated videos.
Towards Neuro-Symbolic Video Understanding
The unprecedented surge in video data production in recent years necessitates efficient tools to extract meaningful frames from videos for downstream tasks.
Eye: Program Visualizer for CS2
It demonstrates properties and usage of data structures in a general environment, thereby helping in learning, logical debugging, and code comprehension.
Computers and Society
NLP Service APIs and Models for Efficient Registration of New Clients
Each client uses an unsupervised, corpus-based sketch to register to the service.
Lower Bounds for Policy Iteration on Multi-action MDPs
An important theoretical question is how many iterations a specified PI variant will take to terminate as a function of the number of states $n$ and the number of actions $k$ in the input MDP.
An India-specific Compartmental Model for Covid-19: Projections and Intervention Strategies by Incorporating Geographical, Infrastructural and Response Heterogeneity
We present a compartmental meta-population model for the spread of Covid-19 in India.
Deep Multi-State Dynamic Recurrent Neural Networks Operating on Wavelet Based Neural Features for Robust Brain Machine Interfaces
We feed the predictions of the network back to the input to improve prediction performance and robustness.
On the Robustness of Human Pose Estimation
This paper provides a comprehensive and exhaustive study of adversarial attacks on human pose estimation models and the evaluation of their robustness.
