Use language models and automated reasoning tools to suggest examples, code, proof strategies, and literature leads while independently checking every claim and citation.
