Nisarg Patel

Orcid: 0000-0001-9083-3660

According to our database1, Nisarg Patel authored at least 20 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verifying Lock-Free Search Structure Templates (Artifact).
Dagstuhl Artifacts Ser., 2024

Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
CoRR, 2024

Enhancing Financial Data Visualization for Investment Decision-Making.
CoRR, 2024

Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Verifying Lock-Free Search Structure Templates.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models.
Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023
Emotion Recognition System via Facial Expressions and Speech Using Machine Learning and Deep Learning Techniques.
SN Comput. Sci., July, 2023

Can NLP Models 'Identify', 'Distinguish', and 'Justify' Questions that Don't have a Definitive Answer?
CoRR, 2023

Can NLP Models Correctly Reason Over Contexts that Break the Common Assumptions?
CoRR, 2023

Improvement of Network Protocol and Analysis of Security Using Aspect of Cryptography.
Proceedings of the Computing Science, Communication and Security, 2023

2022
Synthesis of Compact Strategies for Coordination Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

XAIForCOVID-19: A Comparative Analysis of Various Explainable AI Techniques for COVID-19 Diagnosis Using Chest X-Ray Images.
Proceedings of the Computer Vision and Image Processing - 7th International Conference, 2022

2021
Automated Verification of Concurrent Search Structures
Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01806-0, 2021

Verifying concurrent multicopy search structures.
Proc. ACM Program. Lang., 2021

2020
Verifying concurrent search structure templates.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018
Ensemble learning for effective run-time hardware-based malware detection: a comprehensive analysis and classification.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Machine Learning-Based Approaches for Energy-Efficiency Prediction and Scheduling in Composite Cores Architectures.
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Analyzing Hardware Based Malware Detectors.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Adaptive application of spatial filters on raw CT images.
Proceedings of the 2016 IEEE Southwest Symposium on Image Analysis and Interpretation, 2016


  Loading...