Tootfinder

Och FFS.
"#Firefox will grow from a browser into a broader ecosystem of trusted software."
"It will evolve into a modern AI #browser and support a portfolio of new and trusted software additions."
One job. A browser has ONE. SINGLE. JOB.

VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
Lesly Miculicich, Mihir Parmar, Hamid Palangi, Krishnamurthy Dj Dvijotham, Mirko Montanari, Tomas Pfister, Long T. Le
https://arxiv.org/abs/2510.05156

VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
The deployment of autonomous AI agents in sensitive domains, such as healthcare, introduces critical risks to safety, security, and privacy. These agents may deviate from user objectives, violate data handling policies, or be compromised by adversarial attacks. Mitigating these dangers necessitates a mechanism to formally guarantee that an agent's actions adhere to predefined safety constraints, a challenge that existing systems do not fully address. We introduce VeriGuard, a novel framework th…

Dynamical Pathways to the Misalignment of the VHS 1256-1257 System
Liz Holzknecht, Smadar Naoz, Cheyanne Shariat
https://arxiv.org/abs/2509.21452 https://a…

Dynamical Pathways to the Misalignment of the VHS 1256-1257 System
Circumbinary planets (CBPs) provide a unique window into planet formation and dynamical evolution in complex gravitational environments. Their orbits are shaped not only by the protoplanetary disk but also by the perturbations from two stellar hosts, making them sensitive probes of both early- and late-stage dynamical processes. In this work, we investigate the unusual architecture of the VHS J125601.92-125723.9 system, where a retrograde, nearly polar tertiary orbits an extremely low-mass subs…

Atlas-free Brain Network Transformer
Shuai Huang, Xuan Kan, James J. Lah, Deqiang Qiu
https://arxiv.org/abs/2510.03306 https://arxiv.org/pdf/2510.03306

Atlas-free Brain Network Transformer
Current atlas-based approaches to brain network analysis rely heavily on standardized anatomical or connectivity-driven brain atlases. However, these fixed atlases often introduce significant limitations, such as spatial misalignment across individuals, functional heterogeneity within predefined regions, and atlas-selection biases, collectively undermining the reliability and interpretability of the derived brain networks. To address these challenges, we propose a novel atlas-free brain network…

Joint Neural SDF Reconstruction and Semantic Segmentation for CAD Models
Shen Fan, Przemyslaw Musialski
https://arxiv.org/abs/2510.03837 https://arxiv.org/…

Joint Neural SDF Reconstruction and Semantic Segmentation for CAD Models
We propose a simple, data-efficient pipeline that augments an implicit reconstruction network based on neural SDF-based CAD parts with a part-segmentation head trained under PartField-generated supervision. Unlike methods tied to fixed taxonomies, our model accepts meshes with any number of parts and produces coherent, geometry-aligned labels in a single pass. We evaluate on randomly sampled CAD meshes from the ABC dataset with intentionally varied part cardinalities, including over-segmented s…