Cover Image

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Xufeng, Li, Mengdi, Lu, Wenhao, Weber, Cornelius, Lee, Jae Hee, Chu, Kun, Wermter, Stefan
Format:	Preprint
Published:	2023
Subjects:	Computation and Language Artificial Intelligence Machine Learning Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
by: Leang, Joshua Ong Jun, et al.
Published: (2024)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
by: Fushimi, Kosei, et al.
Published: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
by: Candussio, Sara, et al.
Published: (2026)

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
by: Lee, Seungpil, et al.
Published: (2024)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

Large Language Models for Orchestrating Bimanual Robots
by: Chu, Kun, et al.
Published: (2024)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
by: Dwivedi, Ashish, et al.
Published: (2024)

Positivity Proofs for Linear Recurrences through Contracted Cones
by: Ibrahim, Alaa, et al.
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
by: Garg, Abhibhav, et al.
Published: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
by: Kop, Cynthia, et al.
Published: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
by: Wu, Siyu, et al.
Published: (2024)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
by: Bournez, Olivier, et al.
Published: (2026)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
by: Labruna, Tiziano, et al.
Published: (2024)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
by: Huang, Sikai, et al.
Published: (2025)

Access Hoare Logic
by: Beckmann, Arnold, et al.
Published: (2025)

Large Language Models as Mirrors of Societal Moral Standards
by: Papadopoulou, Evi, et al.
Published: (2024)

Verified Language Processing with Hybrid Explainability: A Technical Report
by: Fox, Oliver Robert, et al.
Published: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
by: Bui, Tuan, et al.
Published: (2025)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
by: Demir, Caglar, et al.
Published: (2025)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

Integrating Fuzzy Logic into Deep Symbolic Regression
by: Gerdes, Wout, et al.
Published: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
by: Garrido-Merchán, Eduardo C., et al.
Published: (2025)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
by: Yu, Xuanqing, et al.
Published: (2024)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)