5 papers
From Search to Synthesis: Training LLMs as Zero-Shot Workflow Generators
Gan Luo, Zihan Qin, Bin Dong +1
Large language models (LLMs) excel across a wide range of tasks, yet their instance-specific solutions often lack the structural consistency needed for reliable deployment. Workflo…
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…
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…
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…
A Semantic Search Engine for Mathlib4
Guoxiong Gao, Haocheng Ju, Jiedong Jiang +2
The interactive theorem prover Lean enables the verification of formal mathematical proofs and is backed by an expanding community. Central to this ecosystem is its mathematical li…