https://amit9oct.github.io/2023-10-09-AutomaticTheoremProvingAndLanguageAgents/ 2023-10-09T00:00:00+05:30 https://amit9oct.github.io/aboutme/ https://amit9oct.github.io/ https://amit9oct.github.io/resume/ https://amit9oct.github.io/tags/ https://amit9oct.github.io/assets/resume/PublicResume.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2022.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2023.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2024_v1.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2024_v2.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2025_v1.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2025_v2.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2025_v3.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2025_v4.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/assets/resume/PublicResume_old_v2025_v5.pdf 2025-11-28T08:42:40+05:30 https://amit9oct.github.io/googled7195c20eab8df02.html 2025-11-28T08:42:40+05:30