Arithmetic Reasoning with LLM: Prolog Generation & Permutation
Xiaocheng Yang, Bingsen Chen, Yik-Cheung Tam
Abstract
Xiaocheng Yang, Bingsen Chen, Yik-Cheung Tam. Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 2: Short Papers). 2024.
Topics & Concepts
PrologComputer sciencePermutation (music)Programming languageArithmeticTheoretical computer scienceMathematicsPhysicsAcousticsNatural Language Processing TechniquesLogic, programming, and type systemsLogic, Reasoning, and Knowledge