Get started
Author

Katharina Stein

Observed name: Stein, Katharina
Institution: Saarland University
Observed institution: Saarland University
OpenAlex ID: A5003474115
Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning
2025 · Katharina Stein, Daniel Fišer, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2
PDF
Representing Implicit Positive Meaning of Negated Statements in AMR
2021 · Katharina Stein, Lucia Donatelli · 2
PDF
Provably Complete Generalized Planning with LLMs
2026 · Stein, Katharina, Jain, Chaahat, et al. · arXiv (Cornell University)
PDF
Generating Instance Generators in PDDL Planning
2026 · Müller, Nicola J., Rudolph, Naya, et al. · arXiv (Cornell University)
PDF
Improved Generalized Planning with LLMs Through Strategy Refinement and Reflection
2026 · Katharina Stein, Nils Hodel, et al. · Proceedings of the International Conference on Automated Planning and Scheduling
PDF
On the Ability of Transformers to Verify Plans
2026 · Sarrof, Yash, Du, Yupei, et al. · arXiv (Cornell University)
PDF
SHAPELURN: An Interactive Language Learning Game with Logical Inference
2021 · Katharina Stein, Leonie Harter, et al.
PDF
Works count: 9
Citation count: 4
H-index: 2
I10-index:
Year
Topic
Type