3 ms·Automated exploration of execution paths in LLM-backed applications1 points by kristjansson 8mo ago