conftrace_

predicate logic

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) automated reasoning (2) logical reasoning (2) property graph (1) attention guidance (1) symbolic ai (1) symbolic grounding (1) theory induction (1) first-order predicate logic (1) counterexample guided inductive synthesis (1)

Papers

BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots IJCAI 2025 Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis AAAI 2025 LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024 Predicated Diffusion: Predicate Logic-Based Attention Guidance for Text-to-Image Diffusion Models CVPR 2024 Bayesian Argumentation-Scheme Networks: A Probabilistic Model of Argument Validity Facilitated by Argumentation Schemes EMNLP 2021 NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints NAACL 2021 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020 Logic on MARS: Ontologies for Generalised Property Graphs IJCAI 2017