2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2025
PEA: Enhancing LLM Performance on Computational-Reasoning Tasks
Zi Wang, Shiwei Weng, Mohannad Alhanahnah +2
Large Language Models (LLMs) have exhibited remarkable capabilities across diverse domains, prompting investigations into their potential as generic reasoning engines. While recent…
cs.PL2024★ 2 cited
Semantic-Type-Guided Bug Finding
Kelvin Qian, Scott Smith, Brandon Stride +2
In recent years, there has been an increased interest in tools that establish \emph{incorrectness} rather than correctness of program properties. In this work we build on this appr…