Copertina

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gandarela, João Pedro, Carvalho, Danilo S., Freitas, André
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language Artificial Intelligence Logic in Computer Science I.2.7
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
di: Kim, Kyuhee, et al.
Pubblicazione: (2026)

Correct Chains, Wrong Answers: Dissociating Reasoning from Output in LLM Logic
di: Rao, Abinav, et al.
Pubblicazione: (2026)

ExpressivityBench: Can LLMs Communicate Implicitly?
di: Tint, Joshua, et al.
Pubblicazione: (2024)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
di: Yu, Hong Qing
Pubblicazione: (2025)

RomanLens: The Role Of Latent Romanization In Multilinguality In LLMs
di: Saji, Alan, et al.
Pubblicazione: (2025)

EduAdapt: A Question Answer Benchmark Dataset for Evaluating Grade-Level Adaptability in LLMs
di: Naeem, Numaan, et al.
Pubblicazione: (2025)

GFLean: An Autoformalisation Framework for Lean via GF
di: Pathak, Shashank
Pubblicazione: (2024)

Inference to the Best Explanation in Large Language Models
di: Dalal, Dhairya, et al.
Pubblicazione: (2024)

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
di: Pan, Muyu, et al.
Pubblicazione: (2025)

Teaching Probabilistic Logical Reasoning to Transformers
di: Nafar, Aliakbar, et al.
Pubblicazione: (2023)

Detecting Data Contamination in LLMs via In-Context Learning
di: Zawalski, Michał, et al.
Pubblicazione: (2025)

Text-Based Approaches to Item Difficulty Modeling in Large-Scale Assessments: A Systematic Review
di: Peters, Sydney, et al.
Pubblicazione: (2025)

Conditional and Modal Reasoning in Large Language Models
di: Holliday, Wesley H., et al.
Pubblicazione: (2024)

A Practical Approach for Building Production-Grade Conversational Agents with Workflow Graphs
di: Park, Chiwan, et al.
Pubblicazione: (2025)

Exploring Graph Representations of Logical Forms for Language Modeling
di: Sullivan, Michael
Pubblicazione: (2025)

Detecting and Steering LLMs' Empathy in Action
di: Cadile, Juan P.
Pubblicazione: (2025)

LLMs and Memorization: On Quality and Specificity of Copyright Compliance
di: Mueller, Felix B, et al.
Pubblicazione: (2024)

Training LLMs to Recognize Hedges in Spontaneous Narratives
di: Paige, Amie J., et al.
Pubblicazione: (2024)

Evaluating the Efficacy of Hybrid Deep Learning Models in Distinguishing AI-Generated Text
di: Oketunji, Abiodun Finbarrs
Pubblicazione: (2023)

Cultural Benchmarking of LLMs in Standard and Dialectal Arabic Dialogues
di: Kautsar, Muhammad Dehan Al, et al.
Pubblicazione: (2026)

Multilingual jailbreaking of LLMs using low-resource languages
di: Marx, Dylan, et al.
Pubblicazione: (2026)

LLMs as Signal Detectors: Sensitivity, Bias, and the Temperature-Criterion Analogy
di: Cacioli, Jon-Paul
Pubblicazione: (2026)

Measuring Reasoning Utility in LLMs via Conditional Entropy Reduction
di: Guo, Xu
Pubblicazione: (2025)

Middleware for LLMs: Tools Are Instrumental for Language Agents in Complex Environments
di: Gu, Yu, et al.
Pubblicazione: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
di: Aniva, Leni, et al.
Pubblicazione: (2024)

OpenFactCheck: A Unified Framework for Factuality Evaluation of LLMs
di: Iqbal, Hasan, et al.
Pubblicazione: (2024)

Benchmarking the Performance of Pre-trained LLMs across Urdu NLP Tasks
di: Tahir, Munief Hassan, et al.
Pubblicazione: (2024)

From Guessing to Asking: An Approach to Resolving the Persona Knowledge Gap in LLMs during Multi-Turn Conversations
di: Baskar, Sarvesh, et al.
Pubblicazione: (2025)

KisMATH: Do LLMs Have Knowledge of Implicit Structures in Mathematical Reasoning?
di: Saha, Soumadeep, et al.
Pubblicazione: (2025)

Old Habits Die Hard: How Conversational History Geometrically Traps LLMs
di: Simhi, Adi, et al.
Pubblicazione: (2026)

Plain language adaptations of biomedical text using LLMs: Comparision of evaluation metrics
di: Kocbek, Primoz, et al.
Pubblicazione: (2025)

Adaptive Interviewing for Persona Simulation in LLMs: Evidence-Grounded Reasoning Improves Decision Alignment
di: Su, Ruoxi, et al.
Pubblicazione: (2026)

TWIZ-v2: The Wizard of Multimodal Conversational-Stimulus
di: Ferreira, Rafael, et al.
Pubblicazione: (2023)

Do LLMs Know What They Know? Measuring Metacognitive Efficiency with Signal Detection Theory
di: Cacioli, Jon-Paul
Pubblicazione: (2026)

Context Is What You Need: The Maximum Effective Context Window for Real World Limits of LLMs
di: Paulsen, Norman
Pubblicazione: (2025)

Cetvel: A Unified Benchmark for Evaluating Language Understanding, Generation and Cultural Capacity of LLMs for Turkish
di: Er, Yakup Abrek, et al.
Pubblicazione: (2025)

Enhancing Hate Speech Detection on Social Media: A Comparative Analysis of Machine Learning Models and Text Transformation Approaches
di: Mishra, Saurabh, et al.
Pubblicazione: (2026)

Efficient Toxicity Detection in Gaming Chats: A Comparative Study of Embeddings, Fine-Tuned Transformers and LLMs
di: Tereshchenko, Yehor, et al.
Pubblicazione: (2025)

Fine-Tuned 'Small' LLMs (Still) Significantly Outperform Zero-Shot Generative AI Models in Text Classification
di: Bucher, Martin Juan José, et al.
Pubblicazione: (2024)

Below-Chance Blindness: Prompted Underperformance in Small LLMs Produces Positional Bias Rather than Answer Avoidance
di: Cacioli, Jon-Paul
Pubblicazione: (2026)