:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Yingji, Carvalho, Danilo S., Valentino, Marco, Pratt-Hartmann, Ian, Freitas, Andre
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language
Accesso online:	https://arxiv.org/abs/2402.00723
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards Controllable Natural Language Inference through Lexical Inference Types
di: Zhang, Yingji, et al.
Pubblicazione: (2023)

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

Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoder
di: Zhang, Yingji, et al.
Pubblicazione: (2022)

Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoder
di: Zhang, Yingji, et al.
Pubblicazione: (2025)

Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
di: Zhang, Yingji, et al.
Pubblicazione: (2023)

LangVAE and LangSpace: Building and Probing for Language Model VAEs
di: Carvalho, Danilo S., et al.
Pubblicazione: (2025)

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

TRACE for Tracking the Emergence of Semantic Representations in Transformers
di: Aljaafari, Nura, et al.
Pubblicazione: (2025)

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

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

Formal Semantic Control over Language Models
di: Zhang, Yingji
Pubblicazione: (2026)

Is Inference Mediated by Distinct Semantic Structures in LLMs? A Mechanistic Interpretation
di: Aljaafari, Nura, et al.
Pubblicazione: (2026)

Emergence and Localisation of Semantic Role Circuits in LLMs
di: Aljaafari, Nura, et al.
Pubblicazione: (2025)

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

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

Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents
di: Quan, Xin, et al.
Pubblicazione: (2026)

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

GeoMathCode: Understanding Interleaved Math-Code Reasoning for Geometry Problem Solving
di: Zhang, Yingji, et al.
Pubblicazione: (2026)

Reasoning with Natural Language Explanations
di: Valentino, Marco, et al.
Pubblicazione: (2024)

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

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
di: Zhang, Lan, et al.
Pubblicazione: (2025)

Monotonic Reference-Free Refinement for Autoformalization
di: Zhang, Lan, et al.
Pubblicazione: (2026)

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

Does Table Source Matter? Benchmarking and Improving Multimodal Scientific Table Understanding and Reasoning
di: Yang, Bohao, et al.
Pubblicazione: (2025)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
di: Meadows, Jordan, et al.
Pubblicazione: (2023)

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models
di: Rozanova, Julia, et al.
Pubblicazione: (2023)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
di: Jullien, Mael, et al.
Pubblicazione: (2024)

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

The Mechanics of Conceptual Interpretation in GPT Models: Interpretative Insights
di: Aljaafari, Nura, et al.
Pubblicazione: (2024)

Interpreting token compositionality in LLMs: A robustness analysis
di: Aljaafari, Nura, et al.
Pubblicazione: (2024)

TRACE: Training and Inference-Time Interpretability Analysis for Language Models
di: Aljaafari, Nura, et al.
Pubblicazione: (2025)

CARMA: Enhanced Compositionality in LLMs via Advanced Regularisation and Mutual Information Alignment
di: Aljaafari, Nura, et al.
Pubblicazione: (2025)

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

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

Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
di: Madusanka, Tharindu, et al.
Pubblicazione: (2025)

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

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

Logics for the Relational Syllogistic
di: Pratt-Hartmann, Ian, et al.
Pubblicazione: (2008)

Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
di: Jullien, Mael, et al.
Pubblicazione: (2025)

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