Joerg Hoffmann

5 papers · 2016–2023 · 3 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 ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird 📈 Trend Setter

Venues

AAAI (2) IJCAI (2) COLING (1)

Top co-authors

Maximilian Fickert (2) Siddhant Sharma (1) Tianyi Gu (1) Maximilian Schwenger (1) David M. Howcroft (1) Marcel Vinzent (1) Wheeler Ruml (1) Álvaro Torralba (1) Daniel Gnad (1) Vera Demberg (1)

Research topics

Artificial Intelligence (4) Core AI (4) Knowledge & Reasoning (2) Machine Learning (2) Optimization & Theory (2) Reasoning (2) Mathematics & Optimization (1) Natural Language Processing (1) Generation (1) Learning Types (1) Optimization (1)

Keywords

heuristic search (3) classical planning (2) state-space search (2) formal methods (1) linear programming (1) neural network verification (1) safety verification (1) real-time search (1) predicate abstraction (1) nogood learning (1) delete relaxation (1) ai planning (1) plan synthesis (1) grammar-based generation (1) dead-end detection (1) state-transition system (1) belief reasoning (1) suboptimal search (1) policy verification (1) belief modeling (1)

Papers

Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023 Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search AAAI 2020 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning IJCAI 2018 Unchaining the Power of Partial Delete Relaxation, Part II: Finding Plans with Red-Black State Space Search IJCAI 2018 From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation COLING 2016