Nir Lipovetzky
14 papers · 2013–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Academic Marathon (12) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (4) π Cross-Pollinator (7)
πΊοΈ
Taxonomy Completionist
(23)
π
Conference Polyglot
(4)
π
Academic Marathon
(12)
π
Century Club
(14)
π
Conference Pioneer
ποΈ
Keyword Collector
(66)
Conferences
IJCAI (8)
AAAI (4)
ACL (1)
NIPS (1)
Top co-authors
Research topics
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
State-Based Disassembly Planning
AAAI 2025
Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts
AAAI 2025
Generalized Planning for the Abstraction and Reasoning Corpus
AAAI 2024
Model AI Assignments 2024
AAAI 2024
Width-based Lookaheads with Learnt Base Policies and Heuristics Over the Atari-2600 Benchmark
NIPS 2021
Width-Based Algorithms for Common Problems in Control, Planning and Reinforcement Learning
IJCAI 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