2 results for tag "llm-tuning-patterns"
Provides evidence-based LLM parameter configurations for theorem proving, formal reasoning, and other tasks, based on APOLLO and Godel-Prover research within Continuous Claude.
