:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Meadows, Jordan, Freitas, Andre
Format:	Preprint
Publié:	2022
Sujets:	Computation and Language
Accès en ligne:	https://arxiv.org/abs/2205.15231
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
par: Meadows, Jordan, et autres
Publié: (2023)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
par: Meadows, Jordan, et autres
Publié: (2023)

Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
par: Meadows, Jordan, et autres
Publié: (2024)

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
par: Meadows, Jordan, et autres
Publié: (2026)

Multi-Operational Mathematical Derivations in Latent Space
par: Valentino, Marco, et autres
Publié: (2023)

Consistent Autoformalization for Constructing Mathematical Libraries
par: Zhang, Lan, et autres
Publié: (2024)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
par: Zhang, Lan, et autres
Publié: (2025)

Mathematical Language Models: A Survey
par: Liu, Wentao, et autres
Publié: (2023)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
par: Zhang, Lan, et autres
Publié: (2025)

Bridging Compositional and Distributional Semantics: A Survey on Latent Semantic Geometry via AutoEncoder
par: Zhang, Yingji, et autres
Publié: (2025)

Conformal Prediction for Natural Language Processing: A Survey
par: Campos, Margarida M., et autres
Publié: (2024)

Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models
par: Ranaldi, Leonardo, et autres
Publié: (2024)

A Survey on Large Language Models for Mathematical Reasoning
par: Wang, Peng-Yuan, et autres
Publié: (2025)

Reasoning with Natural Language Explanations
par: Valentino, Marco, et autres
Publié: (2024)

TRACE: Training and Inference-Time Interpretability Analysis for Language Models
par: Aljaafari, Nura, et autres
Publié: (2025)

Natural Language Processing for Dialects of a Language: A Survey
par: Joshi, Aditya, et autres
Publié: (2024)

A Survey on Stereotype Detection in Natural Language Processing
par: Cignarella, Alessandra Teresa, et autres
Publié: (2025)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
par: Zhang, Yingji, et autres
Publié: (2025)

Natural Language Processing for Human Resources: A Survey
par: Otani, Naoki, et autres
Publié: (2024)

Natural Language Processing with Commonsense Knowledge: A Survey
par: Xie, Yubo, et autres
Publié: (2021)

Natural Language Processing of Privacy Policies: A Survey
par: Adhikari, Andrick, et autres
Publié: (2025)

Autograding Mathematical Induction Proofs with Natural Language Processing
par: Zhao, Chenyan, et autres
Publié: (2024)

A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges
par: Yan, Yibo, et autres
Publié: (2024)

Improve Mathematical Reasoning in Language Models by Automated Process Supervision
par: Luo, Liangchen, et autres
Publié: (2024)

Retrieval-Augmented Generation for Natural Language Processing: A Survey
par: Wu, Shangyu, et autres
Publié: (2024)

Detecting Greenwashing: A Natural Language Processing Literature Survey
par: Calamai, Tom, et autres
Publié: (2025)

Accelerating Antibiotic Discovery with Large Language Models and Knowledge Graphs
par: Delmas, Maxime, et autres
Publié: (2025)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
par: Valentino, Marco, et autres
Publié: (2023)

A Systematic Survey of Natural Language Processing for the Greek Language
par: Bakagianni, Juli, et autres
Publié: (2024)

Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents
par: Quan, Xin, et autres
Publié: (2026)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
par: Kim, Geonhee, et autres
Publié: (2024)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
par: Ranaldi, Leonardo, et autres
Publié: (2024)

A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics
par: Wei, Ting-Ruen, et autres
Publié: (2025)

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
par: Quan, Xin, et autres
Publié: (2026)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
par: Jullien, Mael, et autres
Publié: (2024)

Empowering Cross-lingual Abilities of Instruction-tuned Large Language Models by Translation-following demonstrations
par: Ranaldi, Leonardo, et autres
Publié: (2023)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
par: Thayaparan, Mokanarangan, et autres
Publié: (2024)

Large Language Model for Table Processing: A Survey
par: Lu, Weizheng, et autres
Publié: (2024)

Computational Politeness in Natural Language Processing: A Survey
par: Priya, Priyanshu, et autres
Publié: (2024)

Topological Data Analysis Applications in Natural Language Processing: A Survey
par: Uchendu, Adaku, et autres
Publié: (2024)