Tootfinder

#LB Curioso que eu falei sobre isso recentemente: https://social.linux.pizza/@matematico314/114780310900091846

Non-Standard Models of Homotopy Type Theory
Nima Rasekh
https://arxiv.org/abs/2508.07736 https://arxiv.org/pdf/2508.07736

Non-Standard Models of Homotopy Type Theory
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its formalization via proof assistants. In order to better comprehend the mathematical implications of homotopy type theory, a variety of models have been constructed and studied. Here a model is understood as a model category with suitable properties implementing the various type theoretical constructors and axioms. A first e…

(Tilaajille) Luontodokumentit ovat muuttuneet: mukaan ovat tulleet ihmiset, pahiksiksi #luonto

Luontodokumentit ovat muuttuneet: mukaan ovat tulleet ihmiset, pahiksiksi
Nykypäivän luontodokumenteissa viitataan usein ihmisen osuuteen ilmastonmuutoksessa ja lajikadossa. Ongelmaratkaisijan rooleja alkaa kuitenkin olla tarjolla.

Viture Luma: Neue Display-Brillen bieten bis zu 173 Zoll Bildschirmdiagonale
Ab Juli kommen vier neue Modelle der Viture-Luma-Serie auf den Markt. Wir klären, wie sich die Smart Glasses mit Schwerpunkt Medienwiedergabe unterscheiden.

Shape-to-Music: A Musical Representation for Structural Topologies of Mechanical Metamaterials
Sofia Cassara, Buminhan Sansa, Saltuk Yildiz, Waris Khan, Pinar Acar
https://arxiv.org/abs/2509.09020

Shape-to-Music: A Musical Representation for Structural Topologies of Mechanical Metamaterials
Mechanical metamaterials are increasingly attracting interest in engineering applications due to their unique mechanical properties and lightweight nature. This study develops a novel sound-based representation to characterize the topologies of mechanical metamaterials, including spinodal designs and porous cellular structures. Two distinct frameworks are introduced: an image-based approach, where material topologies are divided into grids and their relative densities are mapped to evolving mel…

Replaced article(s) found for cs.AI. https://arxiv.org/list/cs.AI/new
[1/5]:
- From Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
Shubhra Mishra, Gabriel Poesia, Noah D. Goodman

Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
Pranav Pawar, Dhwaj Jain, Varun Gupta, Kaustav Dedhia, Dashrath Kale, Sudhir Dhekane
https://arxiv.org/abs/2509.07238

Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
This paper presents a practical investigation into fine-tuning model parameters for mathematical reasoning tasks through experimenting with various configurations including randomness control, reasoning depth, and sampling strategies, careful tuning demonstrates substantial improvements in efficiency as well as performance. A holistically optimized framework is introduced for five state-of-the-art models on mathematical reasoning tasks, exhibiting significant performance boosts while maintainin…

Capillary Rise in Pipes with Variable Cross Section
Isidora Rapaji\'c (Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia, Department of Mathematics and Informatics, Faculty of Sciences, Novi Sad, Serbia), Srboljub Simi\'c (Department of Mathematics and Informatics, Faculty of Sciences, Novi Sad, Serbia)
https://…

Capillary Rise in Pipes with Variable Cross Section
This work proposes an ODE model for a capillary rise in pipes with variable cross section and compares it to the lubrication theory model. Two key assumptions are made: (1) radius of the pipe varies with axial coordinate, and (2) pipe's convergence angle is small. The model reduction process involves the identification of critical parameters and simplifies the governing equations by neglecting higher-order terms. Under appropriate scaling, it is shown that generalized Washburn's equation for ca…

Mathematical Framework of Subwavelength Resonance in Elastic Metascreen
Wei Wu, Youzi He
https://arxiv.org/abs/2507.07837 https://arx…

Mathematical Framework of Subwavelength Resonance in Elastic Metascreen
In this paper we provide a mathematical framework based on asymptotic analysis of layer potential operators for determining the existence of subwavelength resonance in elastic metascreen and resonance frequency calculation. We consider the case of high shear modulus contrast between metascreen inclusions and background medium. When the shear modulus of inclusions tends to infinity, we prove the occurrence of subwavelength resonance and demonstrate the dramatic change of scattered field due to s…

RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning
Ziye Chen, Chengwei Qin, Yao Shu
https://arxiv.org/abs/2509.07711 https://…

RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning
As large language models (LLMs) reach high scores on established mathematical benchmarks, such as GSM8K and MATH, the research community has turned to International Mathematical Olympiad (IMO) problems to push the evaluation frontier. However, existing Olympiad-level benchmarks suffer from practical constraints that introduce grading noise and potential bias, such as heterogeneous answer formats requiring model-based judges and a reliance on potentially flawed solutions. We introduce RIMO, a tw…