Tootfinder

Ambient-Stable Transfer-Free Graphdiyne Wafers with Superhigh Hole Mobility at Room Temperature
Beining Ma, Jianyuan Qi, Xinghai Shen
https://arxiv.org/abs/2510.09998 https://…

Ambient-Stable Transfer-Free Graphdiyne Wafers with Superhigh Hole Mobility at Room Temperature
Graphdiyne (GDY) is recognized as a compelling candidate for the fabrication of next-generation high-speed low-energy electronic devices due to its inherent p-type semiconductor characteristics. However, the development of GDY for applications in field-effect transistors (FETs), complementary metal-oxide-semiconductor (CMOS), and logic devices remains constrained by the relatively low carrier mobility reported in current experimental studies. Herein, the synthesis of layer-controlled hydrogen-s…

Autoformalizer with Tool Feedback
Qi Guo, Jianing Wang, Jianfei Zhang, Deyang Kong, Xiangzhou Huang, Xiangyu Xi, Wei Wang, Jingang Wang, Xunliang Cai, Shikun Zhang, Wei Ye
https://arxiv.org/abs/2510.06857

Autoformalizer with Tool Feedback
Autoformalization addresses the scarcity of data for Automated Theorem Proving (ATP) by translating mathematical problems from natural language into formal statements. Efforts in recent work shift from directly prompting large language models to training an end-to-end formalizer model from scratch, achieving remarkable advancements. However, existing formalizer still struggles to consistently generate valid statements that meet syntactic validity and semantic consistency. To address this issue,…

BatonVoice: An Operationalist Framework for Enhancing Controllable Speech Synthesis with Linguistic Intelligence from LLMs
Yue Wang, Ruotian Ma, Xingyu Chen, Zhengliang Shi, Wanshun Chen, Huang Liu, Jiadi Yao, Qu Yang, Qingxuan Jiang, Fanghua Ye, Juntao Li, Min Zhang, Zhaopeng Tu, Xiaolong Li, Linus
https://arxiv.org/abs/2509.26514…

BatonVoice: An Operationalist Framework for Enhancing Controllable Speech Synthesis with Linguistic Intelligence from LLMs
The rise of Large Language Models (LLMs) is reshaping multimodel models, with speech synthesis being a prominent application. However, existing approaches often underutilize the linguistic intelligence of these models, typically failing to leverage their powerful instruction-following capabilities. This limitation hinders the model's ability to follow text instructions for controllable Text-to-Speech~(TTS). To address this, we propose a new paradigm inspired by ``operationalism'' that decouples…

How scientists are exploring the use of quantum sensors, developed by startups like Q-CTRL, as a secure GPS alternative with military and civilian applications (Mike Cherney/Wall Street Journal)
https://www.wsj.com/tech/the…

If you're free Wednesday night in SF, check out this panel on social housing at 518 Valencia. Sounds like it'll be good (I unfortunately can't make it):
Wed, Oct 22, 7:30pm
Social Housing: Challenging YIMBYs and NIMBYs
"What we’re doing on housing isn’t working. We’ve upzoned, streamlined, deregulated. And still, the crisis deepens. There is a movement waiting to be built—...rooted in care, solidarity, and the belief that everyone deserves a place to live.&qu…