Tootfinder

Hi #Math people! If you had half an hour a handful of incredibly bright, incredibly bored 10 year olds, what math would you teach them?
The 4th grade math curriculum is letting these kids down, and they are hungry for a challenge...and to see that math can be fun again!
#Thanks i…

If you’re a [physics] theorist interested in getting funding, obviously the thing to do was to pivot quickly from quantum computing to machine learning and AI,
and get to work on the people at Quanta [magazine] to provide suitable PR.
Today Quanta features an article explaining how “Using machine learning, string theorists are finally showing how microscopic configurations of extra dimensions translate into sets of elementary particles.”
Looking at these new neural network c…

A didactic example: floating point maths is dodgy
julia> sqrt(2)
1.4142135623730951
julia> 2/sqrt(2)
1.414213562373095
julia> 2/sqrt(2) == sqrt(2)
false
>>> math.sqrt(2)
1.4142135623730951
>>> 2/math.sqrt(2)
1.414213562373095
>>> 2/math.sqrt(2) == math.sqrt(2)
False
. di .16f sqrt(2)
1.4142135623730951
. di .16f 2/sqrt(2)
1.4142135623730949
. assert 2/sqrt(2) == sq…

I made a little bouncy basketball game in #godotengine. I really need to take a Vector math course, though. 😅

Jimmy Buffett's /Math Suks/ is about the equations from general relativity that describe the irresistible attraction that a black hole exercises on the matter in its accretion disk, and the ultimate fate of the latter.
#MisinterpretASong
#HashTagGames

An Analysis of the Math Requirements of 199 CS BS/BA Degrees at 158 U.S. Universities
Carla E. Brodley, McKenna Quam, Mark A. Weiss
https://arxiv.org/abs/2404.15177

An Analysis of the Math Requirements of 199 CS BS/BA Degrees at 158 U.S. Universities
For at least 40 years, there has been debate and disagreement as to the role of mathematics in the computer science curriculum. This paper presents the results of an analysis of the math requirements of 199 Computer Science BS/BA degrees from 158 U.S. universities, looking not only at which math courses are required, but how they are used as prerequisites (and corequisites) for computer science (CS) courses. Our analysis shows that while there is consensus that discrete math is critical for a C…

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

ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models
This paper introduces ConceptMath, a bilingual (English and Chinese), fine-grained benchmark that evaluates concept-wise mathematical reasoning of Large Language Models (LLMs). Unlike traditional benchmarks that evaluate general mathematical reasoning with an average accuracy, ConceptMath systematically organizes math problems under a hierarchy of math concepts, so that mathematical reasoning can be evaluated at different granularity with concept-wise accuracies. Based on our ConcepthMath, we e…

1945–2007: “Computers are fast and accurate at math!”
2008–2021: “Computers are accurate at math with blockchain!”
2022–2024: “Computers are at math with AI!”

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

Mathematical Opportunities in Digital Twins (MATH-DT)
The report describes the discussions from the Workshop on Mathematical Opportunities in Digital Twins (MATH-DT) from December 11-13, 2023, George Mason University. It illustrates that foundational Mathematical advances are required for Digital Twins (DTs) that are different from traditional approaches. A traditional model, in biology, physics, engineering or medicine, starts with a generic physical law (e.g., equations) and is often a simplification of reality. A DT starts with a specific eco…

🔊 #NowPlaying on KEXP's #ElSonido
Meth Math:
🎵 Mantis
#MethMath
https://open.spotify.com/track/7hWuZeWZjSclI6TO6tcQmN
https://methmath.bandcamp.com/track/mantis-2

Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset
Ke Wang, Junting Pan, Weikang Shi, Zimu Lu, Mingjie Zhan, Hongsheng Li
https://arxiv.org/abs/2402.14804

Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset
Recent advancements in Large Multimodal Models (LMMs) have shown promising results in mathematical reasoning within visual contexts, with models approaching human-level performance on existing benchmarks such as MathVista. However, we observe significant limitations in the diversity of questions and breadth of subjects covered by these benchmarks. To address this issue, we present the MATH-Vision (MATH-V) dataset, a meticulously curated collection of 3,040 high-quality mathematical problems wit…

2021 retro-link! https://pdf.math.dev/ - paged.js: beautiful PDFs from HTML.

[2024-04-26 Fri (UTC), 2 new articles found for math.CT Category Theory]

I remember when this happened so well. #math

The Time Everyone “Corrected” the World’s Smartest Woman - Priceonomics
In 1990, Marilyn vos Savant correctly answered a probability puzzle in her column for Parade Magazine. And then, the world called her an idiot.

Introducing Stable Code Instruct 3B
This #llm is an instruction-tuned Code LM based on Stable Code 3B. w/ natural language prompting, this model can handle a variety of tasks such as code generation, math and other software development related queries.

Kinda chilling to read this passage in Cathy O'Neil's Weapons of Math Destruction at the end of yet another week with news of humanities and social science subjects being cut at a UK university

I made a little bouncy basketball game in #godotengine. I really need to take a Vector math course, though. 😅

[2024-03-25 Mon (UTC), 3 new articles found for math.LO Logic]

[2024-02-26 Mon (UTC), 2 new articles found for math.NT Number Theory]

[2024-04-26 Fri (UTC), 6 new articles found for math.AG Algebraic Geometry]

[2024-04-25 Thu (UTC), no new articles found for math.CO Combinatorics]

[2024-03-25 Mon (UTC), no new articles found for math.SP Spectral Theory]

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

Fostering Human Learning in Sequential Decision-Making: Understanding the Role of Evaluative Feedback
Cognitive rehabilitation, STEM (science, technology, engineering, and math) skill acquisition, and coaching games such as chess often require tutoring decision-making strategies. The advancement of AI-driven tutoring systems for facilitating human learning requires an understanding of the impact of evaluative feedback on human decision-making and skill development. To this end, we conduct human experiments using Amazon Mechanical Turk to study the influence of evaluative feedback on human decis…

Me: Ahrr, let’s look up this thing on the internet real quick…
My Brain:
#math #procrastination

[2024-04-26 Fri (UTC), 5 new articles found for math-ph Mathematical Physics]

[2024-04-25 Thu (UTC), no new articles found for math.GT Geometric Topology]

[2024-02-26 Mon (UTC), 1 new article found for math.AT Algebraic Topology]

[2024-04-26 Fri (UTC), 1 new article found for math.GR Group Theory]

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Stefanos Chaliasos, Jens Ernstberger, David Theodore, David Wong, Mohammad Jahanara, Benjamin Livshits
https://arxiv.org/abs/2402.15293

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
Zero-knowledge proofs (ZKPs) have evolved from being a theoretical concept providing privacy and verifiability to having practical, real-world implementations, with SNARKs (Succinct Non-Interactive Argument of Knowledge) emerging as one of the most significant innovations. Prior work has mainly focused on designing more efficient SNARK systems and providing security proofs for them. Many think of SNARKs as "just math," implying that what is proven to be correct and secure is correct in practice…

[2024-02-26 Mon (UTC), 1 new article found for math.AC Commutative Algebra]

[2024-03-26 Tue (UTC), 6 new articles found for math.RT Representation Theory]

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

Tilted biorthogonal ensembles, Grothendieck random partitions, and determinantal tests
We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (arXiv:math/9907127 [math.RT]). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are \emph{no…

[2024-04-26 Fri (UTC), 1 new article found for math.QA Quantum Algebra]

[2024-03-26 Tue (UTC), 3 new articles found for math.GN General Topology]

[2024-04-26 Fri (UTC), 7 new articles found for math.DG Differential Geometry]

@… It just uses “touchio” and some ratiometric math on `touchin.raw_value`. Here’s an older version of the code that I was showing last Supercon: https://

[2024-04-26 Fri (UTC), 1 new article found for math.SG Symplectic Geometry]

[2024-03-25 Mon (UTC), 4 new articles found for math.DS Dynamical Systems]

[2024-03-25 Mon (UTC), 1 new article found for math.MG Metric Geometry]

[2024-03-26 Tue (UTC), 1 new article found for math.CV Complex Variables]

[2024-03-26 Tue (UTC), 3 new articles found for math.CT Category Theory]

[2024-03-26 Tue (UTC), 5 new articles found for math.LO Logic]

[2024-03-25 Mon (UTC), 13 new articles found for math.NT Number Theory]

[2024-04-25 Thu (UTC), no new articles found for math.AG Algebraic Geometry]

[2024-03-25 Mon (UTC), 7 new articles found for math.CO Combinatorics]

[2024-04-25 Thu (UTC), no new articles found for math-ph Mathematical Physics]

[2024-02-26 Mon (UTC), no new articles found for math.CT Category Theory]

From Large to Tiny: Distilling and Refining Mathematical Expertise for Math Word Problems with Weakly Supervision
Qingwen Lin, Boyan Xu, Zhengting Huang, Ruichu Cai
https://arxiv.org/abs/2403.14390

From Large to Tiny: Distilling and Refining Mathematical Expertise for Math Word Problems with Weakly Supervision
Addressing the challenge of high annotation costs in solving Math Word Problems (MWPs) through full supervision with intermediate equations, recent works have proposed weakly supervised task settings that rely solely on the final answer as a supervised signal. Existing leading approaches typically employ various search techniques to infer intermediate equations, but cannot ensure their semantic consistency with natural language descriptions. The rise of Large Language Models (LLMs) like ChatGPT…

[2024-02-26 Mon (UTC), 9 new articles found for math.OC Optimization and Control]

[2024-04-26 Fri (UTC), no new articles found for math.GT Geometric Topology]

[2024-03-26 Tue (UTC), 2 new articles found for math.AT Algebraic Topology]

[2024-04-25 Thu (UTC), no new articles found for math.GR Group Theory]

Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement Learning
Xiuqin Zhong, Shengyuan Yan, Gongqi Lin, Hongguang Fu, Liang Xu, Siwen Jiang, Lei Huang, Wei Fang
https://arxiv.org/abs/2403.14690

Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement Learning
In the context of online education, designing an automatic solver for geometric problems has been considered a crucial step towards general math Artificial Intelligence (AI), empowered by natural language understanding and traditional logical inference. In most instances, problems are addressed by adding auxiliary components such as lines or points. However, adding auxiliary components automatically is challenging due to the complexity in selecting suitable auxiliary components especially when …

I was very pleased to hear yesterday that this year’s Abel Prize has been awarded to Michel Talagrand. For more about Talagrand and his mathematics, see the Abel site, Quanta, NYT, Nature and elsewhere. Also, see lots of reactions on Twitter.
Almost exactly ten years ago I got an email from someone whose name I didn’t recognize, expressing interest in the notes I had made available online which would turn into the book on quantum mechanics.
He was reading the notes and had some c…

[2024-03-25 Mon (UTC), 3 new articles found for math.RT Representation Theory]

[2024-03-26 Tue (UTC), 7 new articles found for math.AC Commutative Algebra]

[2024-02-26 Mon (UTC), 1 new article found for math.LO Logic]

[2024-03-25 Mon (UTC), 2 new articles found for math.QA Quantum Algebra]

[2024-02-26 Mon (UTC), no new articles found for math.GN General Topology]

[2024-04-25 Thu (UTC), no new articles found for math.DG Differential Geometry]

[2024-04-25 Thu (UTC), no new articles found for math.NT Number Theory]

[2024-03-26 Tue (UTC), 3 new articles found for math.SG Symplectic Geometry]

Effective and Scalable Math Support: Evidence on the Impact of an AI- Tutor on Math Achievement in Ghana
Owen Henkel, Hannah Horne-Robinson, Nessie Kozhakhmetova, Amanda Lee
https://arxiv.org/abs/2402.09809

Effective and Scalable Math Support: Evidence on the Impact of an AI- Tutor on Math Achievement in Ghana
This study evaluates the impact of Rori, an AI powered conversational math tutor accessible via WhatsApp, on the math performance of approximately 1,000 students in grades 3-9 across 11 schools in Ghana. Each school was assigned to a treatment group or control group; the students in the control group continued their regular math instruction, while students in the treatment group engaged with Rori, for two 30-minute sessions per week over 8 months in addition to regular math instruction. We find…

[2024-03-25 Mon (UTC), 1 new article found for math.CV Complex Variables]

[2024-03-25 Mon (UTC), 5 new articles found for math.AG Algebraic Geometry]

[2024-02-26 Mon (UTC), 13 new articles found for math.CO Combinatorics]

[2024-03-25 Mon (UTC), 4 new articles found for math-ph Mathematical Physics]

[2024-03-25 Mon (UTC), 19 new articles found for math.OC Optimization and Control]

[2024-02-26 Mon (UTC), 1 new article found for math.LO Logic]

[2024-04-26 Fri (UTC), 15 new articles found for math.NT Number Theory]

[2024-04-26 Fri (UTC), 2 new articles found for math.AT Algebraic Topology]

[2024-02-26 Mon (UTC), 2 new articles found for math.GR Group Theory]

[2024-04-26 Fri (UTC), 4 new articles found for math.RT Representation Theory]

[2024-04-26 Fri (UTC), 4 new articles found for math.AC Commutative Algebra]

[2024-03-26 Tue (UTC), 2 new articles found for math.QA Quantum Algebra]

[2024-03-25 Mon (UTC), no new articles found for math.GN General Topology]

[2024-02-26 Mon (UTC), 7 new articles found for math.AG Algebraic Geometry]

[2024-02-26 Mon (UTC), no new articles found for math.SG Symplectic Geometry]

[2024-02-26 Mon (UTC), 8 new articles found for math.DG Differential Geometry]

[2024-04-25 Thu (UTC), no new articles found for math.OC Optimization and Control]

[2024-02-26 Mon (UTC), 3 new articles found for math-ph Mathematical Physics]

[2024-03-25 Mon (UTC), no new articles found for math.AT Algebraic Topology]

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

Spherical two-distance sets and graph eigenvalues
Let $N_{α,β}(d)$ denote the maximum size of a spherical two-distance set in $\mathbb{R}^d$ such that the inner products of distinct vectors only take $α$ and $β$. By considering the correspondence between spherical two-distance sets and graphs with specific spectral properties, we determine $N_{α,β}(d)$ for fixed $-1\leqβ<0\leqα<1$ and sufficiently large $d$, which extends the work in [Equiangular lines with a fixed angle, Ann. Math. 194 (2021) 729-743] and [Spherical two-distance sets …

[2024-03-25 Mon (UTC), no new articles found for math.AC Commutative Algebra]

[2024-04-25 Thu (UTC), no new articles found for math.RT Representation Theory]

[2024-03-25 Mon (UTC), 3 new articles found for math.GR Group Theory]

[2024-02-26 Mon (UTC), no new articles found for math.QA Quantum Algebra]

[2024-03-25 Mon (UTC), no new articles found for math.SG Symplectic Geometry]

[2024-04-25 Thu (UTC), no new articles found for math.GN General Topology]

[2024-04-26 Fri (UTC), 10 new articles found for math.OC Optimization and Control]

[2024-02-26 Mon (UTC), 3 new articles found for math-ph Mathematical Physics]

[2024-04-25 Thu (UTC), no new articles found for math.AT Algebraic Topology]

[2024-04-25 Thu (UTC), no new articles found for math.AC Commutative Algebra]

[2024-02-26 Mon (UTC), 1 new article found for math.RT Representation Theory]

[2024-03-25 Mon (UTC), 3 new articles found for math.GR Group Theory]

[2024-04-25 Thu (UTC), no new articles found for math.QA Quantum Algebra]

[2024-04-25 Thu (UTC), no new articles found for math.SG Symplectic Geometry]

[2024-04-26 Fri (UTC), no new articles found for math.GN General Topology]

[2024-03-26 Tue (UTC), 9 new articles found for math.GR Group Theory]