conftrace_

symbolic abstraction

8 papers

Explore in graph

Co-occurring keywords

symbolic planning (40) motion planning (385) application network (1) match-action rule (1) nonlinear programming (4) nonlinear constraint (2) predicate invention (11) logic rule (28) domain mismatch (28) logical rule (36)

Papers

Evolving Agents ACL 2026

Emergence of symbolic abstraction heads for in-context learning in large language models COLING 2025

High-level Programming for Application Networks NSDI 2025

Predicate Invention for Bilevel Planning AAAI 2023

Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction NIPS 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