Tootfinder

Replaced article(s) found for econ.EM. https://arxiv.org/list/econ.EM/new
[1/1]:
- Nonparametric Treatment Effect Identification in School Choice
Jiafeng Chen
https://arxiv.org/abs/2112.03872
- Potential weights and implicit causal designs in linear regression
Jiafeng Chen
https://arxiv.org/abs/2407.21119 https://mastoxiv.page/@arXiv_econEM_bot/112885535340833628
- Reinterpreting demand estimation
Jiafeng Chen
https://arxiv.org/abs/2503.23524 https://mastoxiv.page/@arXiv_econEM_bot/114262944644769755
- A step towards the integration of machine learning and classic model-based survey methods
Tomasz \.Z\k{a}d{\l}o, Adam Chwila
https://arxiv.org/abs/2402.07521 https://mastoxiv.page/@arXiv_statME_bot/111924442633277025
- Galerkin-ARIMA: A Two-Stage Polynomial Regression Framework for Fast Rolling One-Step-Ahead Forec...
Haojie Liu, Zihan Lin
https://arxiv.org/abs/2507.07469 https://mastoxiv.page/@arXiv_statML_bot/114833708254543213
toXiv_bot_toot

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 89209 nodes and 237010 edges.

Will this be the year I finally make a submission or two for albums that have been missed at https://metal-archives.com as I now have an account there? Only time will tell. But maybe, because it's bugging me that some of these (admittedly very weird, underground) albums aren't listed there 😂

A simple formalization of alpha-equivalence
Kalmer Apinis, Danel Ahman
https://arxiv.org/abs/2507.10181 https://arxiv.org/pdf/2507.10…

A simple formalization of alpha-equivalence
While teaching untyped $λ$-calculus to undergraduate students, we were wondering why $α$-equivalence is not directly inductively defined. In this paper, we demonstrate that this is indeed feasible. Specifically, we provide a grounded, inductive definition for $α$-equivalence and show that it conforms to the specification provided in the literature. The work presented in this paper is fully formalized in the Rocq Prover.

Dependent Multiplicities in Dependent Linear Type Theory
Maximilian Dor\'e
https://arxiv.org/abs/2507.08759 https://arxiv.org/pdf…

Dependent Multiplicities in Dependent Linear Type Theory
We present a novel dependent linear type theory in which the multiplicity of some variable - i.e., the number of times the variable can be used in a program - can depend on other variables. This allows us to give precise resource annotations to many higher-order functions that cannot be adequately typed in any other system. Inspired by the Dialectica translation, our typing discipline is obtained by embedding linear logic into dependent type theory and specifying how the embedded logic interact…

On Barriers to Archival Audio Processing
Peter Sullivan, Muhammad Abdul-Mageed
https://arxiv.org/abs/2507.08768 https://arxiv.org/pdf…

On Barriers to Archival Audio Processing
In this study, we leverage a unique UNESCO collection of mid-20th century radio recordings to probe the robustness of modern off-the-shelf language identification (LID) and speaker recognition (SR) methods, especially with respect to the impact of multilingual speakers and cross-age recordings. Our findings suggest that LID systems, such as Whisper, are increasingly adept at handling second-language and accented speech. However, speaker embeddings remain a fragile component of speech processing…

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[4/5]:
- Data-driven system identification using quadratic embeddings of nonlinear dynamics
Stefan Klus, Joel-Pascal Ntwali N'konzi

Data Depth as a Risk
Arturo Castellanos, Pavlo Mozharovskyi
https://arxiv.org/abs/2507.08518 https://arxiv.org/pdf/2507.08518

Data Depth as a Risk
Data depths are score functions that quantify in an unsupervised fashion how central is a point inside a distribution, with numerous applications such as anomaly detection, multivariate or functional data analysis, arising across various fields. The halfspace depth was the first depth to aim at generalising the notion of quantile beyond the univariate case. Among the existing variety of depth definitions, it remains one of the most used notions of data depth. Taking a different angle from the q…

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[3/5]:
- Answer Generation for Questions With Multiple Information Sources in E-Commerce
Anand A. Rajasekar, Nikesh Garera

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[1/5]:
- Pocket2Mol: Efficient Molecular Sampling Based on 3D Protein Pockets
Xingang Peng, Shitong Luo, Jiaqi Guan, Qi Xie, Jian Peng, Jianzhu Ma