Loading...
Loading...
Found 5 Skills
Formal theorem proving with research, testing, and verification phases
LLM Tuning Patterns
Guide to the math cognitive stack - what tools exist and when to use each
Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX math notation. Use when the user needs mathematical derivations, theorem proofs, notation tables, or statistical analysis formalization.
IMO Gold Medal level Lean4 theorem proving via Harmonic API