Deebakkarthi Chinnasame Rani

• Academics
• Research
• Projects
• Misc.

• Recent posts
• 2026-03-23 Meeting Notes
• 2026-03-22 Stanford CS230 | Autumn 2025 | Lecture 8: Agents, Prompts, and RAG
• 2026-03-22 Real Time Embedded Midterm prep
• 2026-03-20 Meeting Notes
• 2026-03-18 Automatic Assertions Generation using LLMs using Lean4 feedback
• 2026-03-17 Fault Isolation
• 2026-03-17 Graduate Presentation
• 2026-03-14 Software Logic Midterm Project
• 2026-03-14 Oracle
• 2026-03-14 Mutation
• See archive...
• Tags
• rss

---