LLM Tuning Patterns Evidence-based patterns for configuring LLM parameters, based on APOLLO and Godel-Prover research. Pattern Different tasks require different LLM configurations. Use these evidence-based settings. Theorem Proving / Formal Reasoning Based on APOLLO parity analysis: | Parameter | Value | Rationale | |-----------|-------|-----------| | max tokens | 4096 | Proofs need space for chain-of-thought | | temperature | 0.6 | Higher creativity for tactic exploration | | top p | 0.95 | Allow diverse proof paths | Proof Plan Prompt Always request a proof plan before tactics: The proof pl…