3 papers
cs.AI2026
Agentic System as Compressor: Quantifying System Intelligence in Bits
Zihan Qin, Hongrui Zhang
Large language models are turning from isolated predictors into agentic systems: they call tools, retrieve evidence, obey environment constraints, use verifiers, and complete tasks…
cs.NE2025
Biological Processing Units: Leveraging an Insect Connectome to Pioneer Biofidelic Neural Architectures
Siyu Yu, Zihan Qin, Tingshan Liu +4
The complete connectome of the Drosophila larva brain offers a unique opportunity to investigate whether biologically evolved circuits can support artificial intelligence. We conve…
cs.CL2024
Herald: A Natural Language Annotated Lean 4 Dataset
Guoxiong Gao, Yutong Wang, Jiedong Jiang +4
Verifiable formal languages like Lean have profoundly impacted mathematical reasoning, particularly through the use of large language models (LLMs) for automated reasoning. A signi…