notesum.ai

Published at December 5

Enhancing Mathematical Reasoning in LLMs with Background Operators

cs.AI

Released Date: December 5, 2024

Authors: Jiajun Chen¹, Yik-Cheung Tam²

Aff.: ¹Shanghai Frontiers Science Center of Artificial Intelligence and Deep Learning; ²New York University Shanghai

Arxiv: http://arxiv.org/pdf/2412.04110v1

Refer to caption

Setting	Prompt Template
Prolog generation without predicates	Below is an instruction that describes a task, paired with an input that provides further context. Write a response that appropriately completes the request.
	### Instruction:
	Please generate a piece of Prolog code to solve the given math problem.
	### Input:
	<Question>
	### Output:
	<Prolog Code>
Prolog generation with predicates	Below is an instruction that describes a task, paired with an input that provides further context. Write a response that appropriately completes the request.
	### Instruction:
	Please generate a prolog answer based on the given predicates to solve the given math problem.
	<background operators>
	### Input:
	<Question>
	### Output:
	<Prolog Code>