共找到 20 条结果
Design space exploration for future distributed Machine Learning systems suffers from a lack of readily available workload representation that enables flexible exploration across the stack. We present Flint, a framework that bridges this gap by leveraging the Intermediate Representation of Machine Learning framework compilers. The compiler does the heavy weight lifting of understanding and preserving the behavior of the original model code. Flint can collect the workload representation of arbitrary cluster size because it interfaces with the compiler before hardware execution. We validate the workload graph against post-execution traces and show the flexibility of Flint through a design space exploration case study.
We prove the convergence of the FLINT-HILLS series and establish new criteria for a similar type of diophantine or lacunary series, which faces issues due to spaced long terms coming from the trigonometric nature of functions, e.g., cosecant in the FLINT-HILLS series. We connect the FLINT-HILLS series to the Fermi-Dirac integral via the Riemann-Stieltjes integral and YOUNG'S inequality criteria but also proved that the upper bound of the irrationality measure of pi is equal or lower than 2.5 expected if the FLINT-HILLS series converged.
Infants are most vulnerable to child maltreatment, which may be due in part to economic instability during the perinatal period. In 2024, Rx Kids was launched in Flint, Michigan, achieving near 100% aggregate take up and providing every expectant mother with unconditional cash transfers during pregnancy and infancy. Synthetic difference-in-differences was used to compare changes in allegations of maltreatment within the first six months of life in Flint before and after implementation of Rx Kids relative to the corresponding change in control cities without the program. In the three years prior to the implementation of Rx Kids, the proportion of infants with a maltreatment allegation within the first six months of life was 21.7% in Flint and 19.5% among control cities. After implementation of Rx Kids in 2024, the maltreatment allegation rate dropped to 15.5% in Flint, falling below the maltreatment allegation rate of 20.6% among the control cities. Rx Kids was associated with a statistically significant 7.0 percentage-point decrease in the maltreatment allegation rate (p = 0.021), corresponding to a 32% decrease relative to the pre-intervention period. There was a decrease in the r
We present FLINT (learning-based FLow estimation and temporal INTerpolation), a novel deep learning-based approach to estimate flow fields for 2D+time and 3D+time scientific ensemble data. FLINT can flexibly handle different types of scenarios with (1) a flow field being partially available for some members (e.g., omitted due to space constraints) or (2) no flow field being available at all (e.g., because it could not be acquired during an experiment). The design of our architecture allows to flexibly cater to both cases simply by adapting our modular loss functions, effectively treating the different scenarios as flow-supervised and flow-unsupervised problems, respectively (with respect to the presence or absence of ground-truth flow). To the best of our knowledge, FLINT is the first approach to perform flow estimation from scientific ensembles, generating a corresponding flow field for each discrete timestep, even in the absence of original flow information. Additionally, FLINT produces high-quality temporal interpolants between scalar fields. FLINT employs several neural blocks, each featuring several convolutional and deconvolutional layers. We demonstrate performance and accur
Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We demonstrate this by introducing a new Macaulay2 package implementing p-adic numbers using FLINT via this interface. We discuss implementation details such as memory allocation, interaction with Macaulay2's garbage collector, and object-oriented design decisions that mirror the existing implementations of the real and complex number fields in Macaulay2.
We develop, from first principles, a theory connecting the algebra of the Stirling-cosecant decomposition csc^q(z) = sum_k a_{q,k} V_k(z) + E_q(z) with the irrationality measure mu(pi) and the spectral theory of SL(2, Z), leading to an analogue of the Riemann Hypothesis for the Flint Hills auxiliary series. Part I (Algebra) proves the Master Theorem a_{q,k} = (sin z / z)^(-q) * z^(q-k), determines denominators via a von Staudt-Clausen product, identifies boundary coefficients as Wallis ratios a_{2m+1,1} = binomial(2m, m) / 4^m, and establishes recurrence and convolution identities. Part II (Analytic number theory) gives the Hurwitz zeta form H_k(s) = sum_n V_k(n)/n^s, proves sigma(H_k) = k(mu(pi) - 1), and derives F(q,s) converges iff mu(pi) < s/q + 1, recovering the case (2,3). Part III (Automorphic bridges) shows H_k(s) = A_k(s) K_k(1 - s) and K_k(u) = D_k(u) H_k(1 - u), yielding meromorphic continuation with a single pole at s = 1 of residue 2/(pi^k (k - 1)), and induces a functional equation for D(s, rho; pi). Part IV expresses Xi_fl_k(s; pi) = H_k(s) - (2/(pi^k (k - 1))) zeta(s) as a spectral sum over Maass-Hecke forms, implying Xi_fl_k(s; pi) = Xi_fl_k(1 - s; pi) for even
We introduce a geometric-arithmetic approach to the analysis of the Flint Hills series, linking its convergence behavior to the irrationality measure of pi. The framework highlights the interplay between the distribution of near-multiples of pi and the growth rate of denominator sequences, offering new insights into the arithmetic structure underlying this famous unsolved problem.
Flint is a frame-based and action-centered language developed by Van Doesburg et al. to capture and compare different interpretations of sources of norms (e.g. laws or regulations). The aim of this research is to investigate whether Flint is susceptible to paradoxes that are known to occur in normative systems. The example of library lending regulations -- first introduced by Sergot to argue for including deontic concepts in legal knowledge representation -- is central to this analysis. The hypothesis is that Flint is capable of expressing Sergot's library example without the occurrence of deontic paradoxes (most notably: the Chisholm paradox). This research is a first step towards a formal analysis of the expressive power of Flint as a language and furthers understanding of the relation between Flint and existing deontic logics.
When the residents of Flint learned that lead had contaminated their water system, the local government made water-testing kits available to them free of charge. The city government published the results of these tests, creating a valuable dataset that is key to understanding the causes and extent of the lead contamination event in Flint. This is the nation's largest dataset on lead in a municipal water system. In this paper, we predict the lead contamination for each household's water supply, and we study several related aspects of Flint's water troubles, many of which generalize well beyond this one city. For example, we show that elevated lead risks can be (weakly) predicted from observable home attributes. Then we explore the factors associated with elevated lead. These risk assessments were developed in part via a crowd sourced prediction challenge at the University of Michigan. To inform Flint residents of these assessments, they have been incorporated into a web and mobile application funded by \texttt{Google.org}. We also explore questions of self-selection in the residential testing program, examining which factors are linked to when and how frequently residents voluntaril
It is unknown whether the Flint-Hills series $\sum_{n=1}^\infty \frac{1}{n^3\sin^2(n)}$ converges. Alekseyev (2011) connected this question to the irrationality measure of $π$, that $μ(π) > \frac{5}{2}$ would imply divergence of the Flint-Hills series. In this paper we established a near-complete converse, that $μ(π) < \frac{5}{2}$ would imply convergence. The associated results on the density of close rational approximations may be of independent interest. The remaining edge case of $μ(π) = \frac{5}{2}$ is briefly addressed, with evidence that it would be hard to resolve.
Serverless architectures organized around loosely-coupled function invocations represent an emerging design for many applications. Recent work mostly focuses on user-facing products and event-driven processing pipelines. In this paper, we explore a completely different part of the application space and examine the feasibility of analytical processing on big data using a serverless architecture. We present Flint, a prototype Spark execution engine that takes advantage of AWS Lambda to provide a pure pay-as-you-go cost model. With Flint, a developer uses PySpark exactly as before, but without needing an actual Spark cluster. We describe the design, implementation, and performance of Flint, along with the challenges associated with serverless analytics.
The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous attacks due to the unintentional introduction of bugs. Over a billion dollars worth of currency has been stolen since its release in July 2015. As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts. We propose Flint, a new statically-typed programming language specifically designed for writing robust smart contracts. Flint's features enforce the writing of safe and predictable code. To encourage good practices, we introduce protection blocks. Protection blocks restrict who can run code and when (using typestate) it can be executed. To prevent vulnerabilities relating to the unintentional loss of currency, Flint Asset traits provide safe atomic operations, ensuring the state of contracts is always consistent. Writes to state are restricted, simplifying reasoning about smart contracts.
Recovery from the Flint Water Crisis has been hindered by uncertainty in both the water testing process and the causes of contamination. In this work, we develop an ensemble of predictive models to assess the risk of lead contamination in individual homes and neighborhoods. To train these models, we utilize a wide range of data sources, including voluntary residential water tests, historical records, and city infrastructure data. Additionally, we use our models to identify the most prominent factors that contribute to a high risk of lead contamination. In this analysis, we find that lead service lines are not the only factor that is predictive of the risk of lead contamination of water. These results could be used to guide the long-term recovery efforts in Flint, minimize the immediate damages, and improve resource-allocation decisions for similar water infrastructure crises.
In this note, we study the flint hills series of the form \begin{align} \sum \limits_{n=1}^{\infty}\frac{1}{(\sin^2n) n^3} onumber \end{align} via a certain method. The method essentially works by erecting certain pillars sufficiently close to the terms in the series and evaluating the series at those spots. This allows us to relate the convergence and the divergence of the series to other series that are somewhat tractable. In particular, we show that the convergence of the flint hill series relies very heavily on the condition that for any small $ε>0$ \begin{align} \bigg|\sum \limits_{i=0}^{\frac{n+1}{2}}\sum \limits_{j=0}^{i}(-1)^{i-j}\binom{n}{2i+1} \binom{i}{j}\bigg|^{2s} \leq |(\sin^2n)|n^{2s+2-ε} onumber \end{align} for some $s\in \mathbb{N}$.
It is not known whether the Flint Hills series $\sum_{n=1}^{\infty} \frac{1}{n^3\cdot\sin(n)^2}$ converges. We show that this question is closely related to the irrationality measure of $π$, denoted $μ(π)$. In particular, convergence of the Flint Hills series would imply $μ(π) \leq 2.5$ which is much stronger than the best currently known upper bound $μ(π)\leq 7.6063...$. This result easily generalizes to series of the form $\sum_{n=1}^{\infty} \frac{1}{n^u\cdot |\sin(n)|^v}$ where $u,v>0$. We use the currently known bound for $μ(π)$ to derive conditions on $u$ and $v$ that guarantee convergence of such series.
Standard evaluation practices assume that large language model (LLM) outputs are stable when prompts are embedded in contextually equivalent discourses. Here, we test this assumption in the setting of gender inference. Using a controlled pronoun selection task, we introduce minimal, theoretically uninformative discourse context and find that this induces large, systematic shifts in model outputs. Correlations with cultural gender stereotypes, present in decontextualized settings, weaken or disappear once context is introduced, while theoretically irrelevant features, such as the gender of a pronoun for an unrelated referent, become the most informative predictors of model behavior. A Contextuality-by-Default analysis reveals that, in 19--52\% of cases across models, this dependence persists after accounting for all marginal effects of context on individual outputs and cannot be attributed to simple pronoun repetition. These findings show that LLM outputs violate contextual invariance even under near-identical syntactic formulations, with implications for bias benchmarking and deployment in high-stakes settings.
A potential concern when simulating populations of large language models (LLMs) is data contamination, i.e. the possibility that training data may shape outcomes in unintended ways. While this concern is important and may hinder certain experiments with multi-agent models, it does not preclude the study of genuinely emergent dynamics in LLM populations. The recent critique by Barrie and Törnberg [1] of the results of Flint Ashery et al. [2] offers an opportunity to clarify that self-organisation and model-dependent emergent dynamics can be studied in LLM populations, highlighting how such dynamics have been empirically observed in the specific case of social conventions.
Recent work reports that Large Reasoning Models (LRMs) undergo a collapse in performance on solving puzzles beyond certain perplexity thresholds. In subsequent discourse, questions have arisen as to whether the nature of the task muddles an evaluation of true reasoning. One potential confound is the requirement that the model keep track of the state space on its own. We provide a large language model (LLM) with an environment interface for Tower of Hanoi problems, allowing it to make a move with a tool call, provide written justification, observe the resulting state space, and reprompt itself for the next move. We observe that access to an environment interface does not delay or eradicate performance collapse. Furthermore, LLM-parameterized policy analysis reveals increasing divergence from both optimal policies and uniformly random policies, suggesting that the model exhibits mode-like collapse at each level of complexity, and that performance is dependent upon whether the mode reflects the correct solution for the problem. We suggest that a similar phenomena might take place in LRMs.
Language is, as commonly theorized, largely arbitrary. Yet, systematic relationships between phonetics and semantics have been observed in many specific cases. To what degree could those systematic relationships manifest themselves in large scale, quantitative investigations--both in previously identified and unidentified phenomena? This work undertakes a distributional approach to quantifying phonosemantic iconicity at scale across 6 diverse languages (English, Spanish, Hindi, Finnish, Turkish, and Tamil). In each language, we analyze the alignment of morphemes' phonetic and semantic similarity spaces with a suite of statistical measures, and discover an array of interpretable phonosemantic alignments not previously identified in the literature, along with crosslinguistic patterns. We also analyze 5 previously hypothesized phonosemantic alignments, finding support for some such alignments and mixed results for others.
We introduce the Sumudu Neural Operator (SNO), a neural operator rooted in the properties of the Sumudu Transform. We leverage the relationship between the polynomial expansions of transform pairs to decompose the input space as coefficients, which are then transformed into the Sumudu Space, where the neural operator is parameterized. We evaluate the operator in ODEs (Duffing Oscillator, Lorenz System, and Driven Pendulum) and PDEs (Euler-Bernoulli Beam, Burger's Equation, Diffusion, Diffusion-Reaction, and Brusselator). SNO achieves superior performance to FNO on PDEs and demonstrates competitive accuracy with LNO on several PDE tasks, including the lowest error on the Euler-Bernoulli Beam and Diffusion Equation. Additionally, we apply zero-shot super-resolution to the PDE tasks to observe the model's capability of obtaining higher quality data from low-quality samples. These preliminary findings suggest promise for the Sumudu Transform as a neural operator design, particularly for certain classes of PDEs.