conftrace_

neuro-symbolic system

12 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (3) syllogistic reasoning (2) belief bia (2) knowledge graph (2) formal verification (2) symbolic verifier (1) llm agent (1) rule-based generation (1) commonsense question answering (1) symbolic verification (1)

Papers

Dual-View Consistency Testing for Content-Invariant Multilingual Syllogistic Reasoning SemEval 2026 Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis ACL 2026 FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction SemEval 2026 IndustryAssetEQA: A Neurosymbolic Operational Intelligence System for Embodied Question Answering in Industrial Asset Maintenance ACL 2026 Proofbusters at SemEval-2026 Task 11: Neuro-Symbolic Syllogistic Reasoning via LLM-Guided Structure Extraction and Deterministic Validation SemEval 2026 Towards an Ontology-Driven Approach to Document Bias (Abstract Reprint) AAAI 2026 Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models IJCAI 2025 LLM Agents Implement an NLG System from Scratch: Building Interpretable Rule-Based RDF-to-Text Generators EMNLP 2025 Optimizing Neural Network Representations of Boolean Networks ICLR 2025 Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible ICML 2025 Techniques for Symbol Grounding with SATNet NeurIPS 2021 Towards Generalizable Neuro-Symbolic Systems for Commonsense Question Answering EMNLP 2019