Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem

Open in new window