Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent https://arxiv.org/abs/2407.14521 #cs.AI #cs.CL #cs.SC
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.