Awesome Large Language Models
Papers
Topics
Trending
Leaderboards
Authors
Datasets
Learn
Ask AI
Map
Tools
Reading Packs
News
All sections
Browse
Papers
The full index, filterable and sortable.
Topics
The same papers grouped by subject tag.
Trending
What moved this week, and by how much.
Authors
Who publishes here, and who they publish with.
Map
The collection laid out by embedding similarity.
Compare
Leaderboards
Benchmark tables, with the paper behind each number.
Datasets
The datasets these papers train and evaluate on.
Tools
Code and libraries released alongside the papers.
Read
Learn
Ordered routes from background reading to current work.
Ask AI
Ask a question and get answers cited to these papers.
Videos
The most-watched talks and lectures in this field.
Reading Packs
Short curated sets built around one question.
Follow
News
Press and coverage tied back to the papers.
Blogs
Author and lab write-ups of their own work.
Newsletter
Email digest of what changed, on a schedule.
Research Radar
Paste an abstract, get matches across every collection.
Yours
Saved
Papers you bookmarked in this browser.
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
Ask AI
Ravi Mangal — most-cited papers & profile · Large Language Models
← authors
·
overview
Ravi Mangal
11
papers ·
0
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Interval POMDP Shielding for Imperfect-Perception Agents
2026
Interval POMDP Shielding for Imperfect-Perception Agents
2026
SecCodePRM: A Process Reward Model for Code Security
2026
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
2025
Conformal Safety Shielding for Imperfect-Perception Agents
2025
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
2025
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
2025
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
2023
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
2023
Transfer Attacks and Defenses for Large Language Models on Coding Tasks
2023
Concept-based Analysis of Neural Networks via Vision-Language Models
2024
Topics
cs.AI
cs.LG
cs.SY
eess.SY
cs.CR
Code Generation
Program Repair
Bug Detection
Software Engineering
cs.CV