hierarchical cost expressions 1min/max operations 1moment computation 1probabilistic cost analysis 1static analysis 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
The Best of Times, the Worst of Times: Moment-Based Analysis of Probabilistic Cost Structures
Chenyu Zhou, Di Wang, Thomas Reps
The paper introduces a compositional static analysis that computes mean, variance, and higher moments of cost distributions for probabilistic programs whose costs involve additive,…
cs.AI2026
EvoSQL: Memory-Augmented Critic-Generator Co-Evolution for Text-to-SQL
Jiawei Zhou, Jianwei Wang, Chenyu Zhou +3
Text-to-SQL has advanced rapidly with large language models, but complex database queries still require reasoning beyond one-shot generation, including multi-step decomposition, ex…