Search papers, labs, and topics across Lattice.
Kuaishou Technology
3
0
4
LLM agents can learn complex tasks more efficiently by adaptively injecting skills only when their utility is confirmed through outcome-aware likelihood comparisons on existing data, bypassing expensive environment rollouts.
Fully autonomous autoformalization has breached research-level ML theory, generating 490k lines of sorry-free Lean code while exposing 28 subtle bugs and proof gaps across peer-reviewed optimization literature.
SoulAuth, an open-source Rust reference implementation for Humans and long-lived AIActors, is presented, arguing that any subject that must persist under its own identity and remain independently attributable should have an ActorIdentity that is not replaced by an Account, Credential, Client, AuthSession, IdentityBinding, or runtime instance.
