← Authors

Nir Lipovetzky

14 papers · 2013–2025 · 4 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (7) 🌈 Renaissance Researcher (8) πŸ—ΊοΈ 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

Miquel Ramirez (5) Krista A. Ehinger (3) Chao Lei (3) Hector Geffner (3) Adrian R. Pearce (2) Stephanie Rosenthal (1) Fabio Patrizi (1) Yanchuan Chang (1) Ming Gao (1) Wolfgang HΓΆnig (1)

Research topics

Education (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
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