Training language-model agents to play long-horizon strategy games is hard because deterministic feedback is sparse and often arrives only at the end of a game. In-game scores can offer dense signals, but they do not reliably predict future outcomes: in 8-68% of position pairs across eight strategy games, the higher-sc...
Yanchen Liu, Xinyu Che, Brihi Joshi et al.· 0 citations
This work argues that agent memory for biomolecule optimization should instead be indexable, quantitative, and structured, and introduces MEMIG, a memory construction framework that addresses each insight with a domain-grounded identifier and accumulates the quantitative effect measured by a property oracle.
Yun-Hui Jang, Zach Wang, Jai Doshi et al.· 0 citations
Two expert pruning methods are proposed under the unified structure-preserving framework: Projection Energy Expert Pruning (PEEP), which preserves the functional subspace by maximizing weighted projection energy, and Distributional Coverage Expert Pruning (DCEP), which preserves the distributional geometry by minimizin...
Tian Wang, Yong-Ding Tao, Yihong Dong et al.· 0 citations
As Large Language Models (LLMs) become increasingly multilingual, distinguishing human-written from AI-generated text is essential for maintaining information integrity. However, research remains English-centric, with limited benchmarks for low-resource languages such as Hindi. To address this gap, we introduce SHAKTI,...
Large language models offer a promising route to register-transfer-level (RTL) design, but reliable implementations require checking and revision based on electronic design automation (EDA) tools' feedback. Existing RTL-specialized models often lack learned interaction with such EDA tools or rely on separate generation...
Wenxuan Shi, Yaoyu Zhu, Di Huang et al.· 0 citations
LLM-guided program evolution can produce mathematical constructions, but validity, generality, and reproducibility require distinct evidence. We develop a researcher-in-the-loop discovery pipeline that combines program evolution, exact evaluation, mathematical generalization, certified nonexistence checks, and formal p...
The ability to integrate new information and deduce its consequences is central to learning, understanding, and reasoning in large language models (LLMs). Whether information arrives during training or in-context, models must not only store local facts, but propagate their long-range implications globally. To explore i...
Alexander Detkov, Dashiel Karish, Matthew Oleynikov et al.· 0 citations
Large Language Models (LLMs) can generate toxic content, motivating effective test-time detoxification. Existing representation steering methods often rely on static or coarse interventions and provide imprecise guidance because they inadequately model transitions between toxic and non-toxic generations. We propose Tra...
Aishan Liu, Yisong Xiao, Xianglong Liu et al.· 0 citations
FrontierMat, a benchmark of 330 problems drawn from frontier academic and industrial research in fields including aerospace, semiconductors, embodied intelligence and nuclear fusion, is introduced, providing a testbed for measuring progress toward language models that support frontier materials R&D.
Feng Chen, Jian-Guo Huang, Yu-Shan Xiao et al.· 0 citations
Genetic programming (GP) has been widely used to learn scheduling rules for dynamic flexible job shop scheduling (DFJSS). However, trained rules tend to only generalise to tasks of similar scales and distributions, and when task characteristics change, learned rules often suffer significant performance degradation. Mor...
Luyao Zhu, Fangfang Zhang, Yi Mei et al.· 0 citations
Agentic systems increasingly gate individual steps with a pointwise judge that scores a response against a criterion. Small language models are attractive for this role because they can be served and specialized efficiently. Such a judge must locate the criterion's decision boundary, but pointwise labels under-determin...
Mohammad Zangooei, Peyvand Teymoori, Mohammad Robati Shirzad et al.· 0 citations
The Pairwise Coordination Policy (PCP), which uses exact one- and two-task problems to estimate how pairs of tasks delay each other when they share the human, is proposed.