:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Meadows, Jordan, Valentino, Marco, Teney, Damien, Freitas, Andre
Formato:	Preprint
Publicado:	2023
Materias:	Computation and Language Machine Learning
Acceso en línea:	https://arxiv.org/abs/2305.12563
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Multi-Operational Mathematical Derivations in Latent Space
por: Valentino, Marco, et al.
Publicado: (2023)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
por: Meadows, Jordan, et al.
Publicado: (2023)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
por: Kim, Geonhee, et al.
Publicado: (2024)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
por: Valentino, Marco, et al.
Publicado: (2023)

A Survey in Mathematical Language Processing
por: Meadows, Jordan, et al.
Publicado: (2022)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
por: Thayaparan, Mokanarangan, et al.
Publicado: (2024)

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
por: Ranaldi, Leonardo, et al.
Publicado: (2025)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
por: Zhang, Lan, et al.
Publicado: (2025)

Procedural Pretraining: Warming Up Language Models with Abstract Data
por: Jiang, Liangze, et al.
Publicado: (2026)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
por: Xu, Lei, et al.
Publicado: (2025)

Leaner Transformers: More Heads, Less Depth
por: Saratchandran, Hemanth, et al.
Publicado: (2025)

Reasoning with Natural Language Explanations
por: Valentino, Marco, et al.
Publicado: (2024)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
por: Zhang, Lan, et al.
Publicado: (2025)

Attention Meets Post-hoc Interpretability: A Mathematical Perspective
por: Lopardo, Gianluigi, et al.
Publicado: (2024)

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
por: Bruno, Alessio
Publicado: (2026)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
por: Quan, Xin, et al.
Publicado: (2025)

An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems
por: Hao, Yuren, et al.
Publicado: (2025)

Do Generalisation Results Generalise?
por: Boglioni, Matteo, et al.
Publicado: (2025)

Evaluating Robustness of Reward Models for Mathematical Reasoning
por: Kim, Sunghwan, et al.
Publicado: (2024)

OOD-Chameleon: Is Algorithm Selection for OOD Generalization Learnable?
por: Jiang, Liangze, et al.
Publicado: (2024)

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
por: Rozanova, Julia, et al.
Publicado: (2024)

Evaluating K-Fold Cross Validation for Transformer Based Symbolic Regression Models
por: Kislay, Kaustubh, et al.
Publicado: (2024)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
por: Quan, Xin, et al.
Publicado: (2024)

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
por: Quan, Xin, et al.
Publicado: (2024)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
por: Ranaldi, Leonardo, et al.
Publicado: (2024)

Rethinking the Evaluation of Alignment Methods: Insights into Diversity, Generalisation, and Safety
por: Janiak, Denis, et al.
Publicado: (2025)

Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
por: Meadows, Jordan, et al.
Publicado: (2024)

Generalization or Hallucination? Understanding Out-of-Context Reasoning in Transformers
por: Huang, Yixiao, et al.
Publicado: (2025)

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
por: Wysocka, Magdalena, et al.
Publicado: (2024)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
por: Zhang, Yingji, et al.
Publicado: (2025)

Transformers Pretrained on Procedural Data Contain Modular Structures for Algorithmic Reasoning
por: Shinnick, Zachary, et al.
Publicado: (2025)

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
por: Meadows, Jordan, et al.
Publicado: (2026)

NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models
por: Liang, Feng, et al.
Publicado: (2025)

Jailbreaking Large Language Models with Symbolic Mathematics
por: Bethany, Emet, et al.
Publicado: (2024)

Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correction
por: Li, Xiaoyuan, et al.
Publicado: (2024)

Advancing Multi-Step Mathematical Reasoning in Large Language Models through Multi-Layered Self-Reflection with Auto-Prompting
por: Loureiro, André de Souza, et al.
Publicado: (2025)

Do We Always Need the Simplicity Bias? Looking for Optimal Inductive Biases in the Wild
por: Teney, Damien, et al.
Publicado: (2025)

Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning
por: Lyu, Chengqi, et al.
Publicado: (2025)

Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical Reasoning
por: Singh, Joykirat, et al.
Publicado: (2024)

DRA-GRPO: Your GRPO Needs to Know Diverse Reasoning Paths for Mathematical Reasoning
por: Chen, Xiwen, et al.
Publicado: (2025)