LLM | Guangyu HUhttps://guangyuhu.me/tag/llm/LLMWowchemy (https://wowchemy.com)en-us© 2026 Guangyu HuSat, 01 Aug 2026 00:00:00 +0000https://guangyuhu.me/media/icon_hu6538e1dfe75408a7f53e3e32c6b9c68d_2141_512x512_fill_lanczos_center_2.pngLLMhttps://guangyuhu.me/tag/llm/IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checkinghttps://guangyuhu.me/publication/ijcai26-ic3-evolve/Sat, 01 Aug 2026 00:00:00 +0000https://guangyuhu.me/publication/ijcai26-ic3-evolve/Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarizationhttps://guangyuhu.me/publication/acl26-multi-role-summarization/Wed, 01 Jul 2026 00:00:00 +0000https://guangyuhu.me/publication/acl26-multi-role-summarization/