Lin Huang
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Software Eng.×1
Frequent co-authors
Research Timeline
2026
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
KVerus is a retrieval-augmented system that significantly improves the scalability and resilience of formal verification for Rust code by managing complex cross-module dependencies and adapting to code evolution.
Steering LLM Viewpoints through Fabricated Evidence Injection
This paper introduces Ghostwriter, an attack framework demonstrating that LLMs are highly vulnerable to adopting misleading viewpoints when provided with fabricated, yet credible-looking, evidence.
Highlighted terms show continued research focus across papers
Papers
cs.CRRecentJun 4, 2026
Steering LLM Viewpoints through Fabricated Evidence Injection
Xi Yang, Chang Liu, Zhenglin Huang, Haoran Li +3 more
This paper introduces Ghostwriter, an attack framework demonstrating that LLMs are highly vulnerable to adopting misleading viewpoints when provided with fabricated, yet credible-looking, evidence.
View →
cs.SEcs.CRRecentMay 5, 2026