Conversational Search: From Fundamentals to Frontiers in the LLM Era
Fengran Mo, Chuan Meng, Mohammad Aliannejadi, Jian-Yun Nie
https://arxiv.org/abs/2506.10635
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…
Causal Sufficiency and Necessity Improves Chain-of-Thought Reasoning
Xiangning Yu, Zhuohan Wang, Linyi Yang, Haoxuan Li, Anjie Liu, Xiao Xue, Jun Wang, Mengyue Yang
https://arxiv.org/abs/2506.09853
AbstentionBench: Reasoning LLMs Fail on Unanswerable Questions
Polina Kirichenko, Mark Ibrahim, Kamalika Chaudhuri, Samuel J. Bell
https://arxiv.org/abs/2506.09038
This https://arxiv.org/abs/2505.21177 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCG_…
This https://arxiv.org/abs/2506.04907 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…
ScaleRTL: Scaling LLMs with Reasoning Data and Test-Time Compute for Accurate RTL Code Generation
Chenhui Deng, Yun-Da Tsai, Guan-Ting Liu, Zhongzhi Yu, Haoxing Ren
https://arxiv.org/abs/2506.05566
Intelligent Design 4.0: Paradigm Evolution Toward the Agentic AI Era
Shuo Jiang, Min Xie, Frank Youhua Chen, Jian Ma, Jianxi Luo
https://arxiv.org/abs/2506.09755
This https://arxiv.org/abs/2503.23630 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…
This https://arxiv.org/abs/2506.03437 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…