Image de couverture de livre

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Junteng, Fan, Yuanxiang, Jiang, Zhuo, Ding, Han, Hu, Yongyi, Zhang, Chi, Shi, Yiqi, Weng, Shitong, Chen, Aili, Chen, Shiqi, Huang, Yunan, Zhang, Mozhi, Zhao, Pengyu, Yan, Junjie, He, Junxian
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
par: Chen, Jiangjie, et autres
Publié: (2025)

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening
par: Zhang, Ming, et autres
Publié: (2026)

Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?
par: Zhou, Ruochen, et autres
Publié: (2025)

Logic-Regularized Verifier Elicits Reasoning from LLMs
par: Wang, Xinyu, et autres
Publié: (2026)

On the Universal Truthfulness Hyperplane Inside LLMs
par: Liu, Junteng, et autres
Publié: (2024)

Reasons for Logic, Logic for Reasons
par: Heyndels, Sybren
Publié: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
par: Chen, Luoxin, et autres
Publié: (2026)

Evaluating the Logical Reasoning Abilities of Large Reasoning Models
par: Liu, Hanmeng, et autres
Publié: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
par: Wu, Yanrui, et autres
Publié: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
par: Zhang, Xinglang, et autres
Publié: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

A Large Language Model Based Method for Complex Logical Reasoning over Knowledge Graphs
par: Zhang, Ziyan, et autres
Publié: (2025)

MME-Reasoning: A Comprehensive Benchmark for Logical Reasoning in MLLMs
par: Yuan, Jiakang, et autres
Publié: (2025)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
par: Lee, Isabelle, et autres
Publié: (2025)

Logical Reasoning in Large Language Models: A Survey
par: Liu, Hanmeng, et autres
Publié: (2025)

Learning to Reason via Mixture-of-Thought for Logical Reasoning
par: Zheng, Tong, et autres
Publié: (2025)

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
par: Chen, Chen, et autres
Publié: (2024)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
par: Bi, Zhen, et autres
Publié: (2025)

Bring Reason to Vision: Understanding Perception and Reasoning through Model Merging
par: Chen, Shiqi, et autres
Publié: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
par: Zhao, Yanxiao, et autres
Publié: (2025)

Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
par: Li, Songze, et autres
Publié: (2025)

On Memorization of Large Language Models in Logical Reasoning
par: Xie, Chulin, et autres
Publié: (2024)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
par: Wang, Rui, et autres
Publié: (2026)

HER: Human-like Reasoning and Reinforcement Learning for LLM Role-playing
par: Du, Chengyu, et autres
Publié: (2026)

Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles
par: Xu, Zihao, et autres
Publié: (2025)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
par: Lin, Bill Yuchen, et autres
Publié: (2025)

RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library
par: Wang, Jiapeng, et autres
Publié: (2025)

Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning
par: Chen, Ke, et autres
Publié: (2026)

Semantic-Aware Logical Reasoning via a Semiotic Framework
par: Zhang, Yunyao, et autres
Publié: (2025)

LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models
par: Liu, Yiwei, et autres
Publié: (2025)

GLoRE: Evaluating Logical Reasoning of Large Language Models
par: liu, Hanmeng, et autres
Publié: (2023)

Towards Unifying Perceptual Reasoning and Logical Reasoning
par: Kido, Hiroyuki
Publié: (2022)

Learn to Reason Efficiently with Adaptive Length-based Reward Shaping
par: Liu, Wei, et autres
Publié: (2025)

LogicEnvGen: Task-Logic Driven Generation of Diverse Simulated Environments for Embodied AI
par: Wang, Jianan, et autres
Publié: (2026)

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
par: Jiang, Jin, et autres
Publié: (2024)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
par: Wang, Zhongsheng, et autres
Publié: (2024)

Beyond Shortcuts: Mitigating Visual Illusions in Frozen VLMs via Qualitative Reasoning
par: Guo, Hao, et autres
Publié: (2026)

Beyond Factual Accuracy: Evaluating Global Reasoning Integrity in RAG Systems with LogicScore
par: Yan, Zhichao, et autres
Publié: (2026)

The Geometry of Reasoning: Flowing Logics in Representation Space
par: Zhou, Yufa, et autres
Publié: (2025)

Logic of Awareness in Agent's Reasoning
par: Kubono, Yudai, et autres
Publié: (2023)