conftrace_

symbolic solver

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (3) neural-symbolic reasoning (2) chain-of-thought reasoning (2) mathematical reasoning (2) logical reasoning (2) step-wise verification (1) plane geometry (1) logical correctness (1) long chain-of-thought (1) bayesian program learning (1)

Papers

Closed-form Solutions: A New Perspective on Solving Differential Equations ICML 2025 Disentangling Text and Math in Word Problems: Evidence for the Bidimensional Structure of Large Language Models’ Reasoning ACL 2025 GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs AAAI 2025 LLMSR@XLLM25: SWRV: Empowering Self-Verification of Small Language Models through Step-wise Reasoning and Verification ACL 2025 Logic-Thinker: Teaching Large Language Models to Think more Logically. EMNLP 2025 Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning AAAI 2024 Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning EMNLP 2023 Logically Consistent Adversarial Attacks for Soft Theorem Provers IJCAI 2022 Sampling for Bayesian Program Learning NeurIPS 2016