notesum.ai

Published at October 21

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation

cs.CL

cs.AI

cs.LG

Released Date: October 21, 2024

Authors: Shaonan Wu¹, Shuai Lu², Yeyun Gong², Nan Duan², Ping Wei¹

Aff.: ¹National Key Laboratory of Human-Machine Hybrid Augmented Intelligence, Institute of Artificial Intelligence and Robotics, Xi'an Jiaotong University; ²Microsoft Research Asia

Arxiv: https://arxiv.org/abs/2410.15748v1

set assumption as current proof

goal, and try to argue backwards