Login / Signup

Generation of Visual Representations for Multi-Modal Mathematical Knowledge.

Lianlong WuSeewon ChoiDaniel RaggiAaron StockdillGrecia Garcia GarciaFiorenzo ColarussoPeter C.-H. ChengMateja Jamnik
Published in: AAAI (2024)
Keyphrases
  • visual analytics
  • multi modal
  • visual representations
  • mathematical knowledge
  • multi modality
  • computer software
  • theorem prover
  • high level
  • uni modal
  • search engine
  • visual features