Tootfinder

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
Ruida Wang, Jiarui Yao, Rui Pan, Shizhe Diao, Tong Zhang
https://arxiv.org/abs/2510.11769 https://

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
Solving math problems through verifiable languages such as Lean has significantly impacted both the mathematics and computer science communities. Current state-of-the-art models are often trained with expensive online Reinforcement Learning (RL) or expert iteration. However, these approaches rely on fixed problem sets, which causes inefficient training and limits the model to tackle complex problems. To overcome these limitations, we propose GAR: Generative Adversarial Reinforcement learning, a…

Living Off the LLM: How LLMs Will Change Adversary Tactics
Sean Oesch, Jack Hutchins, Luke Koch, Kevin Kurian
https://arxiv.org/abs/2510.11398 https://arxi…

Living Off the LLM: How LLMs Will Change Adversary Tactics
In living off the land attacks, malicious actors use legitimate tools and processes already present on a system to avoid detection. In this paper, we explore how the on-device LLMs of the future will become a security concern as threat actors integrate LLMs into their living off the land attack pipeline and ways the security community may mitigate this threat.

Blaine's talk is SO GOOD @… - I'm going to get his slides too, and we should embed the hertzog video.
Speaking of great talks, will we have more or less tears at this year's #ATmosphereConf?

Blaine Cook: Network Punk, Welcome to the Jungle - ATProto Community
ATmosphereConf Seattle 2025

Patrick Mahomes overcomes unprecedented start to lead Chiefs win: 'We can battle through adversity' https://www.nfl.com/news/patrick-mahomes-overcomes-unprecedented-start-to-lead-chiefs-win-we-can-battle-through-adve…

Give us feedback on what you want to see in Vancouver in March!
Please share this far and wide: this is not just a tech conference, it's building the communities and shared spaces that we want together.
#WeCanJustDoThings
https://

Moody Urbanity II 🟩
情绪化城市 II 🟩
📷 Nikon FE
🎞️ Lucky SHD 400
#filmphotography #Photography #blackandwhite

Decoding Deception: Understanding Automatic Speech Recognition Vulnerabilities in Evasion and Poisoning Attacks
Aravindhan G, Yuvaraj Govindarajulu, Parin Shah
https://arxiv.org/abs/2509.22060

Decoding Deception: Understanding Automatic Speech Recognition Vulnerabilities in Evasion and Poisoning Attacks
Recent studies have demonstrated the vulnerability of Automatic Speech Recognition systems to adversarial examples, which can deceive these systems into misinterpreting input speech commands. While previous research has primarily focused on white-box attacks with constrained optimizations, and transferability based black-box attacks against commercial Automatic Speech Recognition devices, this paper explores cost efficient white-box attack and non transferability black-box adversarial attacks o…

The first step on the road to #TNC26 starts today… with the opening of the Call for Proposals!
Next year, our community will gather in Helsinki 🇫🇮 under the theme Digital Sisu—inspired by the Finnish word “sisu,” which embodies inner strength, tenacity, and determination in the face of adversity.
💡 If you have a story to share, or a vision that can shape the conversation—we want to hear f…

The 2026 #ATmosphereConf is aiming to be about 2x this year.
If we hit 350-500, then year after 2027 will be roughly double and we need to start planning a year ahead to secure venues.
And! Start planning your 2026 regional confs too!
We’re growing and need to plan for it!

ATmosphereConf News
News from the ATProtocol Community Conference, aka ATmosphereConf. March 26th - 29th, Vancouver, BC, Canada

You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
Richard A. Dubniczky, Bertalan Borsos, Tihanyi Norbert
https://arxiv.org/abs/2510.03761

You Have Been LaTeXpOsEd: A Systematic Analysis of Information Leakage in Preprint Archives Using Large Language Models
The widespread use of preprint repositories such as arXiv has accelerated the communication of scientific results but also introduced overlooked security risks. Beyond PDFs, these platforms provide unrestricted access to original source materials, including LaTeX sources, auxiliary code, figures, and embedded comments. In the absence of sanitization, submissions may disclose sensitive information that adversaries can harvest using open-source intelligence. In this work, we present the first lar…