Cover Image

Robustness of Neurosymbolic Reasoners on First-Order Logic Problems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bansal, Hannah, Kurniawan, Kemal, Frermann, Lea
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
by: Olausson, Theo X., et al.
Published: (2023)

Narrative Media Framing in Political Discourse
by: Otmakhova, Yulia, et al.
Published: (2025)

Not all ANIMALs are equal: metaphorical framing through source domains and semantic frames
by: Otmakhova, Yulia, et al.
Published: (2026)

Connecting the Dots in News Analysis: Bridging the Cross-Disciplinary Disparities in Media Bias and Framing
by: Vallejo, Gisela, et al.
Published: (2023)

FOLIO: Natural Language Reasoning with First-Order Logic
by: Han, Simeng, et al.
Published: (2022)

MoDEM: Mixture of Domain Expert Models
by: Simonds, Toby, et al.
Published: (2024)

Generating bilingual example sentences with large language models as lexicography assistants
by: Merx, Raphael, et al.
Published: (2024)

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
by: Ryu, Hyun, et al.
Published: (2024)

Retain or Reframe? A Computational Framework for the Analysis of Framing in News Articles and Reader Comments
by: Guida, Matteo, et al.
Published: (2025)

LLMs for Argument Mining: Detection, Extraction, and Relationship Classification of pre-defined Arguments in Online Comments
by: Guida, Matteo, et al.
Published: (2025)

Conflicts, Villains, Resolutions: Towards models of Narrative Media Framing
by: Frermann, Lea, et al.
Published: (2023)

Word reuse and combination support efficient communication of emerging concepts
by: Xu, Aotao, et al.
Published: (2024)

Article and Comment Frames Shape the Quality of Online Comments
by: Guida, Matteo, et al.
Published: (2026)

Generative Debunking of Climate Misinformation
by: Zanartu, Francisco, et al.
Published: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

Comparing Moral Values in Western English-speaking societies and LLMs with Word Associations
by: Xiang, Chaoyi, et al.
Published: (2025)

Place Matters: Comparing LLM Hallucination Rates for Place-Based Legal Queries
by: Curran, Damian, et al.
Published: (2025)

Improving Image Captioning by Mimicking Human Reformulation Feedback at Inference-time
by: Berger, Uri, et al.
Published: (2025)

Surveying the Landscape of Image Captioning Evaluation: A Comprehensive Taxonomy, Trends and Metrics Analysis
by: Berger, Uri, et al.
Published: (2024)

Measuring Pragmatic Influence in Large Language Model Instructions
by: Geng, Yilin, et al.
Published: (2026)

WHoW: A Cross-domain Approach for Analysing Conversation Moderation
by: Chen, Ming-Bin, et al.
Published: (2024)

On the Interplay between Human Label Variation and Model Fairness
by: Kurniawan, Kemal, et al.
Published: (2025)

To Aggregate or Not to Aggregate. That is the Question: A Case Study on Annotation Subjectivity in Span Prediction
by: Kurniawan, Kemal, et al.
Published: (2024)

Moderation Matters:Measuring Conversational Moderation Impact in English as a Second Language Group Discussion
by: Gao, Rena, et al.
Published: (2025)

Automated Business Process Analysis: An LLM-Based Approach to Value Assessment
by: De Michele, William, et al.
Published: (2025)

A Joint Multitask Model for Morpho-Syntactic Parsing
by: Inostroza, Demian, et al.
Published: (2025)

Large Language Models Are Neurosymbolic Reasoners
by: Fang, Meng, et al.
Published: (2024)

Training and Evaluating with Human Label Variation: An Empirical Study
by: Kurniawan, Kemal, et al.
Published: (2025)

Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
by: Chan, Jason, et al.
Published: (2026)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
by: Cao, Chuxue, et al.
Published: (2025)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
by: Ganguly, Debargha, et al.
Published: (2024)

Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

CommonMorph: Participatory Morphological Documentation Platform
by: Mahmudi, Aso, et al.
Published: (2026)

CIG: Measuring Conversational Information Gain in Deliberative Dialogues with Semantic Memory Dynamics
by: Chen, Ming-Bin, et al.
Published: (2026)

Enhancing Transformers for Generalizable First-Order Logical Entailment
by: Zheng, Tianshi, et al.
Published: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
by: Allen, Bradley P., et al.
Published: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
by: Nezhad, Sina Bagheri, et al.
Published: (2025)

FOL2NS: Generating Natural Sentences from First-Order Logic
by: Jia, Mei
Published: (2026)

Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
by: Olivier, François, et al.
Published: (2025)

Learning Semantic Structure through First-Order-Logic Translation
by: Chaturvedi, Akshay, et al.
Published: (2024)