Tootfinder

No exact results. Similar results found.

@memeorandum@universeodon.com
2025-12-04 17:25:55

Key Trump officials appeared on Fox networks more than 1,300 times in the first 300 days of his second term (Media Matters for America)
https://www.mediamatters.org/fox-news/key-trump-officials-appeared-fox-networks-more-1300-times-first-300-days-his-presidency
http://www.memeorandum.com/251204/p63#a251204p63

@arXiv_csCL_bot@mastoxiv.page
2025-10-03 10:47:01

Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors
Dane Williamson, Yangfeng Ji, Matthew Dwyer
https://arxiv.org/abs/2510.01831 https://

Syntactic Blind Spots: How Misalignment Leads to LLMs Mathematical Errors
Large Language Models (LLMs) demonstrate strong mathematical problem-solving abilities but frequently fail on problems that deviate syntactically from their training distribution. We identify a systematic failure mode, syntactic blind spots, in which models misapply familiar reasoning strategies to problems that are semantically straightforward but phrased in unfamiliar ways. These errors are not due to gaps in mathematical competence, but rather reflect a brittle coupling between surface form …

@arXiv_mathLO_bot@mastoxiv.page
2025-09-05 08:12:11

The reverse mathematics of bounded Ramsey's theorem for pairs
Quentin Le Hou\'erou, Ludovic Patey
https://arxiv.org/abs/2509.03688 https://arxiv.or…

The reverse mathematics of bounded Ramsey's theorem for pairs
In this article, we study a degenerate version of Ramsey's theorem for pairs and two colors ($\mathsf{RT}^2_2$), in which the homogeneous sets for color 1 are of bounded size. By $\mathsf{RT}^2_2$, it follows that every such coloring admits an infinite homogeneous set for color 0. This statement, called $\mathsf{BRT}^2_2$, is known to be computably true, that is, every computable instance admits a computable solution, but the known proofs use $Σ^0_2$-induction ($\mathsf{I}Σ_2^0$). We prove th…

@fanf@mendeddrum.org
2025-12-03 15:42:03

from my link log —
Mutation testing for librsvg with cargo-mutants.
https://viruta.org/mutation-testing-librsvg.html
saved 2025-12-03 https://…