conftrace_

program abstraction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

library learning (1) actual cause (1) natural language annotation (1) situation calculus (1) search heuristic (1) abstract reasoning (1) abstraction framework (1) logic programming (1) program analysis (1) program synthesis (1)

Papers

From Actions to Programs as Abstract Actual Causes AAAI 2022 Leveraging Language to Learn Program Abstractions and Search Heuristics ICML 2021