Nir Lipovetzky
14 papers · 2013–2025 · 4 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 ↓+5 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (23)
🧭
Keyword Pioneer
🗃️
Keyword Collector
(64)
💎
Century Club · Bronze
🚀
Conference Pioneer
🌈
Renaissance Researcher
(6)
Venues
Top co-authors
Research topics
Artificial Intelligence
(9)
Core AI
(9)
Knowledge & Reasoning
(4)
Machine Learning
(4)
Reasoning
(4)
Deep Learning
(2)
Reinforcement Learning
(2)
Optimization & Theory
(2)
Interdisciplinary
(1)
Natural Language Processing
(1)
Robotics
(1)
Application Areas
(1)
Applications · Natural Language Processing
(1)
Applications · Reinforcement Learning
(1)
Capabilities
(1)
Keywords
automated planning
(4)
program synthesis
(2)
width-based planning
(2)
heuristic search
(2)
large language model
(2)
educational resources
(1)
code generation
(1)
path planning
(1)
search algorithm
(1)
model-based reinforcement learning
(1)
novelty detection
(1)
software engineering
(1)
symbolic planning
(1)
feature mapping
(1)
control signal
(1)
model-free reinforcement learning
(1)
atari game
(1)
physics simulation
(1)
policy learning
(1)
ai education
(1)
Papers
Planning-Driven Programming: A Large Language Model Programming Workflow
ACL 2025
Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts
AAAI 2025
State-Based Disassembly Planning
AAAI 2025
Generalized Planning for the Abstraction and Reasoning Corpus
AAAI 2024
Model AI Assignments 2024
AAAI 2024
Width-Based Algorithms for Common Problems in Control, Planning and Reinforcement Learning
IJCAI 2021
Width-based Lookaheads with Learnt Base Policies and Heuristics Over the Atari-2600 Benchmark
NeurIPS 2021
Boundary Extension Features for Width-Based Planning with Simulators on Continuous-State Domains
IJCAI 2020
Handling non-local dead-ends in Agent Planning Programs
IJCAI 2017
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators
IJCAI 2017
Real--Time UAV Maneuvering via Automated Planning in Simulations
IJCAI 2017
Sequencing Operator Counts
IJCAI 2016
Classical Planning with Simulators: Results on the Atari Video Games
IJCAI 2015
Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners
IJCAI 2013