Tootfinder

"Autoformalization of mathematical theorems? No shit!"
"what mathematicians need is ... not elementary statements of math olympiad problems, but the most advanced mathematical concepts that the human mind is capable to grasp despite the fact that they involve extremely intricate and sometimes combinatorically involved constructions.
"I am not sure that we fully know what it means to understand these concepts, but I am certain that it doesn't reduce to being…

Right-wing media solidify around "able-bodied" myth as Senate GOP weighs Medicaid cuts (John Knefel/Media Matters for America)
https://www.mediamatters.org/health-care/right-wing-media-solidify-around-able-bodied-myth-senate-gop-weighs-medicaid-cuts
http://www.memeorandum.com/250604/p56#a250604p56

#LB Dando boost no meu próprio post pois ele não teve um único like e, por mais que eu tenha gostos peculiares, eu me recuso a acreditar que só eu tenha gargalhado com essa bizarrice.
https://social.linu…

Tunable Epsilon Near Zero Metamaterial with Rotating Obround-Shaped Meta-Atoms
Rustam Balafendiev, Gagandeep Kaur, Jim A. Enriquez, Gaganpreet Singh, Alexander J. Millar, Jon E. Gudmundsson, Pavel Belov
https://arxiv.org/abs/2506.04428

Tunable Epsilon Near Zero Metamaterial with Rotating Obround-Shaped Meta-Atoms
A new design of a microwave-range ENZ metamaterial consisting of rods with an obround cross-section is proposed. The plasma frequency of the metamaterial can be tuned by rotating the constituent meta-atoms. Tunability of the plasma frequency by 26% is demonstrated both experimentally and numerically. The observed tuning range is dramatically higher than in the one observed in natural materials at optical range.

Multimodal Mathematical Reasoning with Diverse Solving Perspective
Wenhao Shi, Zhiqiang Hu, Yi Bin, Yang Yang, See-Kiong Ng, Heng Tao Shen
https://arxiv.org/abs/2507.02804

Multimodal Mathematical Reasoning with Diverse Solving Perspective
Recent progress in large-scale reinforcement learning (RL) has notably enhanced the reasoning capabilities of large language models (LLMs), especially in mathematical domains. However, current multimodal LLMs (MLLMs) for mathematical reasoning often rely on one-to-one image-text pairs and single-solution supervision, overlooking the diversity of valid reasoning perspectives and internal reflections. In this work, we introduce MathV-DP, a novel dataset that captures multiple diverse solution tra…

TikTok users are posting AI-generated videos, seemingly made with Google's Veo 3, depicting racist and antisemitic tropes that have garnered millions of views (Abbie Richards/Media Matters for America)
https://www.mediamatters.org/tiktok/racist

Racist AI-generated videos are the newest slop garnering millions of views on TikTok

This https://arxiv.org/abs/2505.23703 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
Enhancing the mathematical reasoning capabilities of LLMs has garnered significant attention in both the mathematical and computer science communities. Recent works have made substantial progress in both Natural Language (NL) reasoning and Formal Language (FL) reasoning by leveraging the potential of pure Reinforcement Learning (RL) methods on base models. However, RL approaches struggle to impart new capabilities not presented in the base model, highlighting the need to integrate more knowledg…

Zahlen, bitte! Fünf IBM-Peepshows für herandwachsende Mathematiknerds
Das Ehepaar Ray und Charles Eames waren nicht nur erfolgreiche Architekten, sondern prägten mit sehenswerten Kurz- und Lehrfilmen das Image von IBM.

This https://arxiv.org/abs/2505.18492 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAI_…

Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions
Mathematical reasoning lies at the heart of artificial intelligence, underpinning applications in education, program verification, and research-level mathematical discovery. Mathematical competitions, in particular, present two challenging problem types: theorem-proving, requiring rigorous proofs of stated conclusions, and answer-construction, involving hypothesizing and formally verifying mathematical objects. Large Language Models (LLMs) effectively generate creative candidate answers but str…

Reconfigurable Ultrafast Thermal Metamaterial Pixel Arrays by Dual-Gate Graphene Transistors
Yibai Zhong, Xiu Liu, Zexiao Wang, Tianyi Huang, Jingyi Zou, Sen Lin, Xiao Luo, Zhuo Li, Rui Cheng, Xu Zhang, Sheng Shen
https://arxiv.org/abs/2506.04372

Reconfigurable Ultrafast Thermal Metamaterial Pixel Arrays by Dual-Gate Graphene Transistors
Thermal signatures represent ubiquitous infrared appearances of objects, carrying their unique spectral fingerprints. Despite extensive efforts to decipher and manipulate thermal-infrared signals, the ability to fully control them across spatial, temporal and spectral domains remains a significant challenge due to the slow speed, diffuse and broadband emitting nature of thermal emission in most materials. Here, we demonstrate a reconfigurable ultrafast thermal metamaterial pixel array that inte…