Scholar
Manish Bhatt
Google Scholar ID: Vo6IXHcAAAAJ
OWASP/ Project Kuiper - Ex-Meta
Physics
Chemistry
Math
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
13,279
H-index
13
i10-index
14
Publications
20
Co-authors
31
list available
Publications
12 items
A Trust Ledger and an Execution Check for CPG-Based C-to-Lean 4 Autoformalization: Separating Declined from Silently Incorrect Translations
2026
Cited
0
ARES-LSHADE: Autoresearch-Enhanced LSHADE with Memetic Polish for the GNBG Benchmark
2026
Cited
0
The Defense Trilemma: Why Prompt Injection Defense Wrappers Fail?
2026
Cited
0
LAAF: Logic-layer Automated Attack Framework A Systematic Red-Teaming Methodology for LPCI Vulnerabilities in Agentic Large Language Model Systems
2026
Cited
0
Manifold of Failure: Behavioral Attraction Basins in Language Models
2026
Cited
0
Predictive Coding and Information Bottleneck for Hallucination Detection in Large Language Models
2026
Cited
0
Large Empirical Case Study: Go-Explore adapted for AI Red Team Testing
arXiv.org · 2025
Cited
0
MAIF: Enforcing AI Trust and Provenance with an Artifact-Centric Agentic Paradigm
2025
Cited
0
Load more
Co-authors
11 total
Shengye Wan
Meta Platforms, Inc.
Cyrus Nikolaidis
Meta
Sahana Chennabasappa
Meta
Spencer Whitman
Product Manager, Meta
Faizan Ahmad
University of Virginia
Irfan Ahmed
Virginia Commonwealth University
Zhong Lin Wang
Georgia Tech & Beijing Institute of Nanoenergy and Nanosystems
Ivan Evtimov
AI at Meta
