Levi H. S. Lelis
19 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Academic Marathon (12) π Interdisciplinary Bridge π Conference Polyglot (2) π§ Keyword Pioneer π Cross-Pollinator (4)
π
Cross-Pollinator
(4)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(34)
π§¬
Topic Evolution
π₯
Unstoppable
(7)
π
Trend Setter
π
Conference Pioneer
π
Century Club
(19)
ποΈ
Keyword Collector
(86)
β
The Questioner
(2)
Conferences
IJCAI (12)
AAAI (7)
Top co-authors
Keywords
program synthesis
(5)
local search
(4)
search algorithm
(3)
game strategy
(2)
programmatic strategy
(2)
tree search
(2)
monte carlo tree search
(2)
reinforcement learning
(2)
real-time strategy
(2)
heuristic search
(2)
domain-specific language
(2)
programmatic policies
(2)
semantic space
(1)
simulated annealing
(1)
game artificial intelligence
(1)
nash equilibrium
(1)
best-first search
(1)
game theory
(1)
policy optimization
(1)
two-player zero-sum game
(1)
Papers
InnateCoder: Learning Programmatic Options with Foundation Models
IJCAI 2025
Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint)
AAAI 2024
Searching for Programmatic Policies in Semantic Spaces
IJCAI 2024
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies
IJCAI 2023
Levin Tree Search with Context Models
IJCAI 2023
Can You Improve My Code? Optimizing Programs with Local Search
IJCAI 2023
What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies
AAAI 2022
Programmatic Strategies for Real-Time Strategy Games
AAAI 2021
Policy-Guided Heuristic Search with Guarantees
AAAI 2021
Improving the Performance-Compatibility Tradeoff with Personalized Objective Functions
AAAI 2021
Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective
IJCAI 2020
Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games
AAAI 2019
Be Inaccurate but Donβt Be Indecisive: How Error Distribution Can Affect User Experience
AAAI 2019
Iterative Budgeted Exponential Search
IJCAI 2019
Procedural Generation of Initial States of Sokoban
IJCAI 2019
On Creating Complementary Pattern Databases
IJCAI 2017
Stratified Strategy Selection for Unit Control in Real-Time Strategy Games
IJCAI 2017
Heuristic Subset Selection in Classical Planning
IJCAI 2016
Predicting the Size of Depth-First Branch and Bound Search Trees
IJCAI 2013