Making Written Theorems Explorable by Grounding Them in Formal Representations

source_context

{
  "surface": "paper",
  "mode": "paper",
  "query": "Making Written Theorems Explorable by Grounding Them in Formal Representations",
  "normalized_query": "2604.02598",
  "route": "/paper/making-written-theorems-explorable-by-grounding-them-in-formal-representations",
  "paper_ref": "making-written-theorems-explorable-by-grounding-them-in-formal-representations",
  "topic_slug": null,
  "benchmark_ref": null,
  "dataset_ref": null
}