cs.LG 2604.03789

Automated Conjecture Resolution with Formal Verification

An end-to-end framework combining natural language reasoning and formal verification to automate research-level mathematical proofs, demonstrated on open problems with minimal human input.

Haocheng Ju, Guoxiong Gao, Jiedong Jiang et al.

2026-04-05 48 citations 44
cs.LG 2604.03208

Hierarchical Planning with Latent World Models

Hierarchical Planning with Latent World Models (HWM) enables zero-shot long-horizon visual control, achieving 70% success on real robot tasks, with 3× less computation.

Wancong Zhang, Basile Terver, Artem Zholus et al.

2026-04-04 44