https://irisma00.github.io/talk/example-talk/2030-06-01T13:00:00+00:00weeklyhttps://irisma00.github.io/event/2030-06-01T13:00:00+00:00weeklyhttps://irisma00.github.io/tag/information-retrieval/2026-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication-type/manuscript/2026-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2026-wrrf-query-adaptive-fusion/2026-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication_types/2026-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2026-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tags/2026-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/mentoring/2026-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/2026-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/shengdong-jiang/2026-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/formal-verification/2026-03-31T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/llms/2026-03-31T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2026-veriact/2026-03-31T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2025-acl-l2m2-memorization/2025-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication-type/workshop/2025-08-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/custo-yang/2025-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/derek-xu/2025-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/jianfeng-ma/2025-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/ragman/2025-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/sde/2025-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/winter-2024/2025-06-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2025-ipldsc-cdh-assistant/2025-05-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication-type/paper/2025-05-01T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/rag/2025-05-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/andy-tonthat/2024-09-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/avery-zhuang/2024-09-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/farhan-zaman/2024-09-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/mohammad-mirzaei/2024-09-01T00:00:00+00:00weeklyhttps://irisma00.github.io/people/ryan-zhuang/2024-09-01T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2024-sigcse-ragman/2024-07-14T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2024-fse-dafny/2024-02-02T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2024-arxiv-commit-messages-llms/2024-01-31T00:00:00+00:00weeklyhttps://irisma00.github.io/publication/2023-improving-the/2023-05-16T00:00:00+00:00weeklyhttps://irisma00.github.io/2022-10-24T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/academic/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/categories/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/category/demo/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/post/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/post/getting-started/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/%E5%BC%80%E6%BA%90/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/category/%E6%95%99%E7%A8%8B/2020-12-13T00:00:00+00:00weeklyhttps://irisma00.github.io/post/writing-technical-content/2019-07-12T00:00:00+00:00weeklyhttps://irisma00.github.io/post/jupyter/2019-09-05T00:00:00+00:00weeklyhttps://irisma00.github.io/slides/2019-02-05T00:00:00+00:00weeklyhttps://irisma00.github.io/slides/example/2019-02-05T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/deep-learning/2016-04-27T00:00:00+00:00weeklyhttps://irisma00.github.io/tag/demo/2016-04-27T00:00:00+00:00weeklyhttps://irisma00.github.io/project/example/2016-04-27T00:00:00+00:00weeklyhttps://irisma00.github.io/project/external-project/2016-04-27T00:00:00+00:00weeklyhttps://irisma00.github.io/project/2016-04-27T00:00:00+00:00weeklyhttps://irisma00.github.io/admin/weekly