conftrace_

symbolic abstraction

11 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) symbolic planning (2) motion planning (2) application network (1) match-action rule (1) nonlinear programming (1) nonlinear constraint (1) predicate invention (1) logic rule (1) neuro-symbolic system (1)

Papers

Evolving Agents ACL 2026 Proofbusters at SemEval-2026 Task 11: Neuro-Symbolic Syllogistic Reasoning via LLM-Guided Structure Extraction and Deterministic Validation SemEval 2026 Emergence of symbolic abstraction heads for in-context learning in large language models COLING 2025 From Real World to Logic and Back: Learning Generalizable Relational Concepts For Long Horizon Robot Planning CoRL 2025 High-level Programming for Application Networks NSDI 2025 VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning ICLR 2025 Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction NeurIPS 2023 Predicate Invention for Bilevel Planning AAAI 2023 Simultaneously Learning Transferable Symbols and Language Groundings from Perceptual Data for Instruction Following RSS 2020 Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019 Learning-Based Abstractions for Nonlinear Constraint Solving IJCAI 2017