3 papers
cs.HC2026
Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines
Donghee Hong, Minjong Kim, Sooyoung Cha +1
Symbolic execution engines such as KLEE automatically generate test cases to maximize branch coverage, but their numerous parameters make it difficult to understand the parameters'…
cs.LG2026
Scaling Atomistic Protein Binder Design with Generative Pretraining and Test-Time Compute
Kieran Didi, Zuobai Zhang, Guoqing Zhou +11
Protein interaction modeling is central to protein design, which has been transformed by machine learning with applications in drug discovery and beyond. In this landscape, structu…
cs.PL2025
ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
Su-Hyeon Kim, Joonghyuk Hahn, Sooyoung Cha +1
Code runtime optimization-the task of rewriting a given code to a faster one-remains challenging, as it requires reasoning about performance trade-offs involving algorithmic and st…