Imagen de Portada

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Su, DiJia, Zhu, Hanlin, Xu, Yingchen, Jiao, Jiantao, Tian, Yuandong, Zheng, Qinqing
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language Artificial Intelligence Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
por: Su, DiJia, et al.
Publicado: (2024)

Training Large Language Models to Reason in a Continuous Latent Space
por: Hao, Shibo, et al.
Publicado: (2024)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
por: Hulak, David B., et al.
Publicado: (2026)

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
por: Işık, İlker, et al.
Publicado: (2024)

Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication
por: Tarau, Paul
Publicado: (2026)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
por: Ukhanov, Evgeny
Publicado: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
por: Wan, Yuxuan, et al.
Publicado: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
por: Carl, Merlin
Publicado: (2023)

Bialgebraic Reasoning on Stateful Languages
por: Goncharov, Sergey, et al.
Publicado: (2025)

Toward a Theory of Tokenization in LLMs
por: Rajaraman, Nived, et al.
Publicado: (2024)

Generics and Default Reasoning in Large Language Models
por: Kirkpatrick, James Ravi, et al.
Publicado: (2025)

Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamics
por: Zhu, Hanlin, et al.
Publicado: (2024)

Efficient Prompt Caching via Embedding Similarity
por: Zhu, Hanlin, et al.
Publicado: (2024)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
por: Guzmán, Manuel Vargas, et al.
Publicado: (2025)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
por: Bourigault, Pauline, et al.
Publicado: (2026)

Making first order linear logic a generating grammar
por: Slavnov, Sergey
Publicado: (2022)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
por: Su, Yuheng, et al.
Publicado: (2026)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
por: Świechowski, Maciej, et al.
Publicado: (2026)

From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
por: Bayat, Farima Fatahi, et al.
Publicado: (2025)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
por: Liu, Yinhong, et al.
Publicado: (2024)

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
por: Carl, Merlin
Publicado: (2023)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
por: Xu, Chen, et al.
Publicado: (2024)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
por: Nguyen, Long S. T., et al.
Publicado: (2025)

Meta-Rewarding Language Models: Self-Improving Alignment with LLM-as-a-Meta-Judge
por: Wu, Tianhao, et al.
Publicado: (2024)

Reliable Conversational Agents under ASP Control that Understand Natural Language
por: Zeng, Yankai
Publicado: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
por: Li, Jinzheng, et al.
Publicado: (2026)

Domain Reasoning in TopKAT
por: Zhang, Cheng, et al.
Publicado: (2024)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
por: Joosten, Joost J., et al.
Publicado: (2026)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
por: Vollmer, Victoria, et al.
Publicado: (2024)

Llemma: An Open Language Model For Mathematics
por: Azerbayev, Zhangir, et al.
Publicado: (2023)

Reasonable Space for the $λ$-Calculus, Logarithmically
por: Accattoli, Beniamino, et al.
Publicado: (2022)

Bialgebraic Reasoning on Higher-Order Program Equivalence
por: Goncharov, Sergey, et al.
Publicado: (2024)

Improved Algorithm for Reachability in $d$-VASS
por: Fu, Yuxi, et al.
Publicado: (2024)

Examining Reasoning LLMs-as-Judges in Non-Verifiable LLM Post-Training
por: Liu, Yixin, et al.
Publicado: (2026)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
por: Paganoni, Marco, et al.
Publicado: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
por: Mathiasen, Anders Alnor, et al.
Publicado: (2025)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
por: Bao, Jialu, et al.
Publicado: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
por: Li, Fangjun, et al.
Publicado: (2024)