pith. sign in

Ridhi Jain

Identifiers

  • name variant Ridhi Jain 0.60 · backfill

Papers (11)

  1. Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview cs.SE · 2025 · author #6
  2. Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models cs.SE · 2025 · author #1
  3. Dynamic Intelligence Assessment: Benchmarking LLMs on the Road to AGI with a Focus on Model Confidence cs.AI · 2024 · author #9
  4. Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies cs.CR · 2024 · author #1
  5. How secure is AI-generated Code: A Large-Scale Comparison of Large Language Models cs.CR · 2024 · author #4
  6. CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge cs.AI · 2024 · author #3
  7. Why Doesn't Microsoft Let Me Sleep? How Automaticity of Windows Updates Impacts User Autonomy cs.HC · 2024 · author #2
  8. Handling Communication via APIs for Microservices cs.SE · 2023 · author #2
  9. SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs? cs.CR · 2023 · author #4
  10. The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification cs.DB · 2023 · author #3
  11. A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification cs.SE · 2023 · author #2

Mentions

  • 2501.14326 #1 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2503.10784 #6 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2307.06616 #4 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2404.18353 #4 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2410.15490 #9 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2407.16410 #1 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2305.14752 #2 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2402.07688 #3 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2307.02192 #3 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2401.06413 #2 · arxiv_oai · confidence 0.70 Ridhi Jain
  • 2308.01302 #2 · arxiv_oai · confidence 0.70 Ridhi Jain

Frequent Coauthors