Stechly, Kaya
6 papers on CoChat
Most cited papers
- Verified
LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
Kambhampati, S., Valmeekam, K., Guan, L., Verma, M., Stechly, K., Bhambri, S., Saldyt, L., & Murthy, A. (2024) · arXiv
AI-based Problem Solving and PlanningLogic, Reasoning, and Knowledge
Cited by 237
- Verified
On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks
Stechly, K., Valmeekam, K., & Kambhampati, S. (2024) · arXiv
Topic ModelingAI-based Problem Solving and Planning
Cited by 120
- Verified
LLMs Still Can't Plan; Can LRMs? A Preliminary Evaluation of OpenAI's o1 on PlanBench
Valmeekam, K., Stechly, K., & Kambhampati, S. (2024) · arXiv
AI-based Problem Solving and PlanningTopic Modeling
Cited by 107
- Verified
Chain of Thoughtlessness? An Analysis of CoT in Planning
Stechly, K., Valmeekam, K., & Kambhampati, S. (2024) · arXiv
AI-based Problem Solving and PlanningDecision-Making and Behavioral Economics
Cited by 16
- Verified
Chain of Thoughtlessness? An Analysis of CoT in Planning
Stechly, K., Valmeekam, K., & Kambhampati, S. (2024) · Advances in Neural Information Processing Systems 37
AI-based Problem Solving and PlanningDecision-Making and Behavioral Economics
Cited by 16
- Verified
GPT-4 Doesn't Know It's Wrong: An Analysis of Iterative Prompting for Reasoning Problems
Stechly, K., Marquez, M., & Kambhampati, S. (2023) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 11
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free