Soohan Lim
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
AI×1
Frequent co-authors
Research Timeline
2026
STAB: Specification-driven Testing for Algorithmic Bottlenecks
STAB is a novel specification-driven pipeline that generates test cases exposing algorithmic bottlenecks by combining constraint-bound maximization and adversarial structure injection, significantly improving bottleneck detection rates across various LLMs.
Highlighted terms show continued research focus across papers