NeedleChain: Measuring Intact Context Comprehension Capability of Large Language Models
arXiv:2507.22411v2 Announce Type: replace-cross Abstract: Recent reports suggest that LLMs can handle increasingly long contexts. However, many existing benchmarks for…
Improving Autoformalization Using Direct Dependency Retrieval
arXiv:2511.11990v4 Announce Type: replace Abstract: The convergence of deep learning and formal mathematics has spurred research in formal verification. Statement…
Computing Evolutionarily Stable Strategies in Multiplayer Games
arXiv:2511.20859v5 Announce Type: replace-cross Abstract: We present an algorithm for computing all evolutionarily stable strategies in nondegenerate normal-form games with…
Neural Brain Fields: A NeRF-Inspired Approach for Generating Nonexistent EEG Electrodes
arXiv:2601.00012v1 Announce Type: cross Abstract: Electroencephalography (EEG) data present unique modeling challenges because recordings vary in length, exhibit very low…