Leaner LLMs could enable efficient local use on phones and laptops