Copertina

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhao, Yanxiao, Li, Yaqian, Bo, Zihao, Takezoe, Rinyoichi, Hui, Haojia, Guang, Mo, Ren, Lei, Qin, Xiaolin, Long, Kaiwen
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LearnPruner: Rethinking Attention-based Token Pruning in Vision Language Models
di: Takezoe, Rinyoichi, et al.
Pubblicazione: (2026)

iGVLM: Dynamic Instruction-Guided Vision Encoding for Question-Aware Multimodal Understanding
di: Liu, Hanpeng, et al.
Pubblicazione: (2026)

SMoES: Soft Modality-Guided Expert Specialization in MoE-VLMs
di: Bo, Zi-Hao, et al.
Pubblicazione: (2026)

QMoP: Query Guided Mixture-of-Projector for Efficient Visual Token Compression
di: Li, Zhongyang, et al.
Pubblicazione: (2026)

ITO: Images and Texts as One via Synergizing Multiple Alignment and Training-Time Fusion
di: Liu, Hanpeng, et al.
Pubblicazione: (2026)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
di: An, Chenyang, et al.
Pubblicazione: (2024)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
di: Zhou, Yujun, et al.
Pubblicazione: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
di: Barenbaum, Pablo
Pubblicazione: (2026)

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
di: de Medeiros, Markus, et al.
Pubblicazione: (2026)

A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
di: Esteves, Marta
Pubblicazione: (2025)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
di: Protin, Clarence Lewis
Pubblicazione: (2022)

Separation Logic for Verifying Physical Collisions of CNC Programs
di: Lee, Yeonseok
Pubblicazione: (2026)

Logical Relations for Formally Verified Authenticated Data Structures
di: Gregersen, Simon Oddershede, et al.
Pubblicazione: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
di: Pati, Viresh, et al.
Pubblicazione: (2026)

Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
di: Takahashi, Tenyo
Pubblicazione: (2025)

Logic of the Great, Logic of the Wise 2
di: Fedorchenko, Mikhail
Pubblicazione: (2026)

Reasons for Logic, Logic for Reasons
di: Heyndels, Sybren
Pubblicazione: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
di: Li, James, et al.
Pubblicazione: (2024)

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
di: Morishita, Terufumi, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

A Study on Actions for Atomic Logics
di: Espejo-Boix, Raül
Pubblicazione: (2024)

Extending Action Logic with Omega Iteration
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

Distribution-Free Normal Modal Logics
di: Hartonas, Chrysafis
Pubblicazione: (2024)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Reasoning about Medical Triage Optimization with Logic Programming
di: Patil, Jaikrishna Manojkumar, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)