Academic

Academic

Academic · 1 min

Differentiable Rule Induction from Raw Sequence Inputs

arXiv:2602.13583v1 Announce Type: new Abstract: Rule learning-based models are widely used in highly interpretable scenarios due to their transparent structures. Inductive logic programming (ILP), a …

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Feng Yang
4 views
Academic · 1 min

A First Proof Sprint

arXiv:2602.13587v1 Announce Type: new Abstract: This monograph reports a multi-agent proof sprint on ten research-level problems, combining rapid draft generation with adversarial verification, targeted repair, …

Joseph Corneli
31 views
Academic · 1 min

AllMem: A Memory-centric Recipe for Efficient Long-context Modeling

arXiv:2602.13680v1 Announce Type: new Abstract: Large Language Models (LLMs) encounter significant performance bottlenecks in long-sequence tasks due to the computational complexity and memory overhead inherent …

Ziming Wang, Xiang Wang, Kailong Peng, Lang Qin, Juan Gabriel Kostelec, Christos Sourmpis, Axel Laborieux, Qinghai Guo
10 views