conftrace_

template-theorems graph

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

contextual prompt (1) large language model (1) knowledge base construction (1) information retrieval (1) mathematical reasoning (1)

Papers

Template-Theorems Graph Construction to Enhance Mathematical Reasoning Capabilities of LLM AAAI 2026