Nisarg Patel

27 papers A* 5A 1C 1Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Raven: An SMT-Based Concurrency Verifier.
CAV (1)
Ekanshdeep Gupta, Nisarg Patel, Thomas Wies
2025 J jnl
Reconstruction of Sea Surface Salinity Fields Over the Bay of Bengal Using Machine Learning Approach.
IEEE Trans. Geosci. Remote. Sens.
Neerja Sharma, Anshi Gandhi, Nisarg Patel, Neeraj Agarwal, Pradeep Kumar Thapliyal, Rashmi Sharma
2024 J jnl
Enhancing Financial Data Visualization for Investment Decision-Making.
CoRR
Nisarg Patel, Harmit Shah, Kishan Mewada
2024 — conf
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
ACL (1)
Mihir Parmar, Nisarg Patel, Neeraj Varshney, Mutsumi Nakamura, Man Luo, Santosh Mashetty, Arindam Mitra, Chitta Baral
2024 A* conf
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
EMNLP
Nisarg Patel, Mohith Kulkarni, Mihir Parmar, Aashna Budhiraja, Mutsumi Nakamura, Neeraj Varshney, Chitta Baral
2024 J jnl
Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
CoRR
Nisarg Patel, Mohith Kulkarni, Mihir Parmar, Aashna Budhiraja, Mutsumi Nakamura, Neeraj Varshney, Chitta Baral
2024 A* conf
Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
EMNLP
Nemika Tyagi, Mihir Parmar, Mohith Kulkarni, Aswin RRV, Nisarg Patel, Mutsumi Nakamura, Arindam Mitra, Chitta Baral
2024 J jnl
Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
CoRR
Nemika Tyagi, Mihir Parmar, Mohith Kulkarni, Aswin RRV, Nisarg Patel, Mutsumi Nakamura, Arindam Mitra, Chitta Baral
2024 J jnl
Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
CoRR
Mihir Parmar, Nisarg Patel, Neeraj Varshney, Mutsumi Nakamura, Man Luo, Santosh Mashetty, Arindam Mitra, Chitta Baral
2024 — —
Verification of Concurrent Search Structures
Nisarg Patel
2024 J jnl
Verifying Lock-Free Search Structure Templates (Artifact).
Dagstuhl Artifacts Ser.
Nisarg Patel, Dennis Shasha, Thomas Wies
2024 A conf
Verifying Lock-Free Search Structure Templates.
ECOOP
Nisarg Patel, Dennis Shasha, Thomas Wies
2024 J jnl
Verifying Lock-free Search Structure Templates.
CoRR
Nisarg Patel, Dennis Shasha, Thomas Wies
2023 J jnl
Can NLP Models 'Identify', 'Distinguish', and 'Justify' Questions that Don't have a Definitive Answer?
CoRR
Ayushi Agarwal, Nisarg Patel, Neeraj Varshney, Mihir Parmar, Pavan Mallina, Aryan Bhavin Shah, Srihari Raju Sangaraju, Tirth Patel, Nihar Thakkar, Chitta Baral
2023 J jnl
Can NLP Models Correctly Reason Over Contexts that Break the Common Assumptions?
CoRR
Neeraj Varshney, Mihir Parmar, Nisarg Patel, Divij Handa, Sayantan Sarkar, Man Luo, Chitta Baral
2023 J jnl
Emotion Recognition System via Facial Expressions and Speech Using Machine Learning and Deep Learning Techniques.
SN Comput. Sci.
Aayushi Chaudhari, Chintan M. Bhatt, Thanh Thi Nguyen, Nisarg Patel, Kirtan Chavda, Kalind Sarda
2023 — conf
Improvement of Network Protocol and Analysis of Security Using Aspect of Cryptography.
COMS2
Nisarg Patel, Viral Parekh, Kaushal Jani
2022 — conf
Synthesis of Compact Strategies for Coordination Programs.
TACAS (1)
Kedar S. Namjoshi, Nisarg Patel
2022 — conf
XAIForCOVID-19: A Comparative Analysis of Various Explainable AI Techniques for COVID-19 Diagnosis Using Chest X-Ray Images.
CVIP (2)
Nisarg Patel, Siddhraj Parmar, Priyanka Singh, Manoranjan Mohanty
2021 — book
Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies
2021 J jnl
Verifying Concurrent Multicopy Search Structures.
CoRR
Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies
2021 J jnl
Verifying concurrent multicopy search structures.
Proc. ACM Program. Lang.
Nisarg Patel, Siddharth Krishna, Dennis E. Shasha, Thomas Wies
2020 A* conf
Verifying concurrent search structure templates.
PLDI
Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies
2018 A* conf
Ensemble learning for effective run-time hardware-based malware detection: a comprehensive analysis and classification.
DAC
Hossein Sayadi, Nisarg Patel, Sai Manoj P. D., Avesta Sasan, Setareh Rafatirad, Houman Homayoun
2017 A* conf
Analyzing Hardware Based Malware Detectors.
DAC
Nisarg Patel, Avesta Sasan, Houman Homayoun
2017 C conf
Machine Learning-Based Approaches for Energy-Efficiency Prediction and Scheduling in Composite Cores Architectures.
ICCD
Hossein Sayadi, Nisarg Patel, Avesta Sasan, Houman Homayoun
2016 — conf
Adaptive application of spatial filters on raw CT images.
SSIAI
Nisarg Patel, Ralf Schneider, Uwe Küster