activity
20232026
most citedAssessing the Interpretability of Programmatic Policies with Large Language Models

2 citations · 2 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.AI2024

Exponential Speedups by Rerooting Levin Tree Search

Laurent Orseau, Marcus Hutter, Levi H. S. Lelis

Levin Tree Search (LTS) (Orseau et al., 2018) is a search algorithm for deterministic environments that uses a user-specified policy to guide the search. It comes with a formal gua…

cs.LG2024

Searching for Programmatic Policies in Semantic Spaces

Rubens O. Moraes, Levi H. S. Lelis

Syntax-guided synthesis is commonly used to generate programs encoding policies. In this approach, the set of programs, that can be written in a domain-specific language defines th…