6 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.SE2025
MCeT: Behavioral Model Correctness Evaluation using Large Language Models
Khaled Ahmed, Jialing Song, Boqi Chen +2
Behavioral model diagrams, e.g., sequence diagrams, are an essential form of documentation that are typically designed by system engineers from requirements documentation, either f…
cs.SE2024
Effective Large Language Model Debugging with Best-first Tree Search
Jialin Song, Jonathan Raiman, Bryan Catanzaro
Large Language Models (LLMs) show promise in code generation tasks. However, their code-writing abilities are often limited in scope: while they can successfully implement simple f…
cs.LG2024★ 6 cited
CircuitVAE: Efficient and Scalable Latent Circuit Optimization
Jialin Song, Aidan Swope, Robert Kirby +4
Automatically designing fast and space-efficient digital circuits is challenging because circuits are discrete, must exactly implement the desired logic, and are costly to simulate…