Scholar

Pengfei Yang

Google Scholar ID: vWJqqHoAAAAJ

Institute of Software, Chinese Academy of Sciences

Probabilistic model checkingDNN verification

Google Scholar↗

Citations & Impact

All-time

Citations

383

H-index

10

i10-index

10

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

14 items

LUMIN: Lightweight Universal Manufacturing Inspection Network for Anomaly Detection

2026

Cited

0

LLM4LLM: Bridging Kernel Benchmarks and Real Deployment via Closed-Loop Agentic Optimization

2026

Cited

0

ToolHazard: Scaling Adversarial Environments for Security Evaluation and Alignment of LLM-based Agents

2026

Cited

0

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees

2026

Cited

0

ShotFinder: Imagination-Driven Open-Domain Video Shot Retrieval via Web Search

2026

Cited

0

Lethe: Layer- and Time-Adaptive KV Cache Pruning for Reasoning-Intensive LLM Serving

2025

Cited

0

Graph-S3: Enhancing Agentic textual Graph Retrieval with Synthetic Stepwise Supervision

2025

Cited

0

GRAIL:Learning to Interact with Large Knowledge Graphs for Retrieval Augmented Reasoning

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)