2 papers
cs.PL2026
GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation
Corrado Priami
AI coding agents are stochastic workflows: prompts are interpreted, artifacts are sampled, validators produce observations, and orchestrators commit or repair. Small prompt or spec…
q-bio.MN2017
Efficient Finite Difference Method for Computing Sensitivities of Biochemical Reactions
Vo Hong Thanh, Roberto Zunino, Corrado Priami
Sensitivity analysis of biochemical reactions aims at quantifying the dependence of the reaction dynamics on the reaction rates. The computation of the parameter sensitivities, how…