LPML: LLM-Prompting Markup Language for Mathematical Reasoning.

Ryutaro Yamauchi Sho Sonoda Akiyoshi Sannai Wataru Kumagai

Published in: CoRR (2023)

Keyphrases

markup language
web ontology language
xml schema
human reasoning
reasoning systems
mathematical proofs
knowledge representation
reasoning tasks
knowledge base
reasoning process
metadata
expert systems
low level
query language
building blocks
semantic description