first-order logic

ComLQ: Benchmarking Complex Logical Queries in Information Retrieval AAAI 2026 Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning AAAI 2026 Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy AAAI 2026 Expressive Power of Graph Transformers via Logic AAAI 2026 Extending First-Order Logic for Factual Reasoning over Knowledge Graphs ACL 2026 FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale EACL 2026 GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning Capabilities SemEval 2026 HHU-SyLo at SemEval-2026 Task 11: Logic in the Loop – Hybridizing LLMs and Theorem Provers for Robust Formal Reasoning SemEval 2026 Implicit Learning for Reasoning in First-Order Probabilistic Logic UAI 2026 Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026 Making Logic a First-Class Citizen in Generative ML for Networking NSDI 2026 NeuroRule: Bridging Vision and Logic with Differentiable Rule Induction CVPR 2026 NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models EACL 2026 ReEfBench: Quantifying the Reasoning Efficiency of LLMs ACL 2026 The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic AAAI 2026 Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026 UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning SemEval 2026 YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language Models SemEval 2026 Assessing the Sensitivity and Alignment of FOL Closeness Metrics EMNLP 2025 A Theorem-Proving-Based Evaluation of Neural Semantic Parsing EMNLP 2025 Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection IJCNLP 2025 Complete Symmetry Breaking for Finite Models AAAI 2025 Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning ICLR 2025 Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025 Extending Complex Logical Queries on Uncertain Knowledge Graphs ACL 2025