Valmeekam, Karthik
10 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
Can Large Language Models Really Improve by Self-critiquing Their Own Plans?
Valmeekam, K., Marquez, M., & Kambhampati, S. (2023) · arXiv
AI-based Problem Solving and PlanningNatural Language Processing Techniques
Cited by 90
- Verified
PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change
Valmeekam, K., Marquez, M., Olmo, A., Sreedharan, S., & Kambhampati, S. (2023) · Advances in Neural Information Processing Systems 36
AI-based Problem Solving and PlanningTopic Modeling
Cited by 70
- Verified
PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change
Valmeekam, K., Marquez, M., Olmo, A., Sreedharan, S., & Kambhampati, S. (2022) · arXiv
AI-based Problem Solving and PlanningTopic Modeling
Cited by 70
- Verified
Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning
Guan, L., Valmeekam, K., Sreedharan, S., & Kambhampati, S. (2023) · arXiv
AI-based Problem Solving and PlanningReinforcement Learning in Robotics
Cited by 64
- 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
Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning
Gundawar, A., Verma, M., Guan, L., Valmeekam, K., Bhambri, S., & Kambhampati, S. (2024) · arXiv
Topic ModelingAI-based Problem Solving and Planning
Cited by 3
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free