Levi H. S. Lelis
19 papers · 2013–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (34) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π§¬
Topic Evolution
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(84)
π
Trend Setter
π
Century Club Β· Bronze
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
β
The Questioner
(2)
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Artificial Intelligence
(14)
Core AI
(14)
Machine Learning
(9)
Mathematics & Optimization
(7)
Optimization
(7)
Learning Types
(6)
Reinforcement Learning
(4)
Optimization & Theory
(4)
Applications Β· Reinforcement Learning
(3)
Core Methods
(3)
Application Areas
(2)
Computer Science
(1)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Applications Β· Computer Science
(1)
Keywords
program synthesis
(5)
local search
(4)
search algorithm
(3)
programmatic policies
(2)
state-space search
(2)
tree search
(2)
real-time strategy
(2)
monte carlo tree search
(2)
game strategy
(2)
heuristic search
(2)
reinforcement learning
(2)
domain-specific language
(2)
programmatic strategy
(2)
semantic space
(1)
simulated annealing
(1)
game artificial intelligence
(1)
nash equilibrium
(1)
best-first search
(1)
game theory
(1)
policy optimization
(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
Can You Improve My Code? Optimizing Programs with Local Search
IJCAI 2023
Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies
IJCAI 2023
Levin Tree Search with Context Models
IJCAI 2023
What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies
AAAI 2022
Improving the Performance-Compatibility Tradeoff with Personalized Objective Functions
AAAI 2021
Policy-Guided Heuristic Search with Guarantees
AAAI 2021
Programmatic Strategies for Real-Time Strategy Games
AAAI 2021
Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective
IJCAI 2020
Be Inaccurate but Donβt Be Indecisive: How Error Distribution Can Affect User Experience
AAAI 2019
Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games
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