Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Position: LLMs can’t plan, but can help planning in LLM-modulo frameworks

Published in International Conference on Machine Learning (ICML) as Spotlight, 2024

This work proposes a novel neuro-symbolic approach for reliable planning with LLMs by having external model-based verifiers and critics in a bi-directional interaction regime.

Recommended citation: Kambhampati, S., Valmeekam, K., Guan, L., Verma, M., Stechly, K., Bhambri, S., ... & Murthy, A. B. (2024, June). Position: LLMs can’t plan, but can help planning in LLM-modulo frameworks. In Forty-first International Conference on Machine Learning.
Download Paper

Paper Title Number 4

Published in GitHub Journal of Bugs, 2024

This paper is about fixing template issue #693.

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper

talks

teaching

CSE 571 Artificial Intelligence

Graduate-level Course in Artificial Intelligence, SCAI, Arizona State University, 2023

Instructor: Dr. Subbarao Kambhampati
Graduate Teaching Assistant for around 120 Students. Responsibilities involved Design of programming Assignments and grading schemes, holding Office Hours, Assessment, Review and Grading of exams, course coordination and logistics.

CSE 565 - Software Verification, Validation & Testing

Graduate-level Course, SCAI, Arizona State University, 2024

Instructors: Dr. James Collofello, Dr. Robert Lynn Carter, and Dr. Ayca Tuzmen
Graduate Teaching Associate for around 500 Students. Responsibilities involved Course instruction, holding Office Hours, Design of assignments and grading schemes, Review of exams and course coordination with grading staff.

Intro to Informatics

Undergraduate Course, SCAI, Arizona State University, 2023

Instructor: Dr. Dianne Hansford
Teaching Assistant for around 60 Students. Responsibilities involved holding office hours, project guidance, course assessment and grading. Topics covered Java, SQL, Web Design including HTML, CSS, D3.jS, and Game Development.