Academic

Academic · 1 min

Automated Conjecture Resolution with Formal Verification

arXiv:2604.03789v1 Announce Type: new Abstract: Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving …

Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong

6 views Apr 7

Academic · 1 min

CountsDiff: A Diffusion Model on the Natural Numbers for Generation and Imputation of Count-Based Data

arXiv:2604.03779v1 Announce Type: new Abstract: Diffusion models have excelled at generative tasks for both continuous and token-based domains, but their application to discrete ordinal data …

Renzo G. Soatto, Anders Hoel, Greycen Ren, Shorna Alam, Stephen Bates, Nikolaos P. Daskalakis, Caroline Uhler, Maria Skoularidou

5 views Apr 7

Academic · 1 min

Automated Attention Pattern Discovery at Scale in Large Language Models

arXiv:2604.03764v1 Announce Type: new Abstract: Large language models have found success by scaling up capabilities to work in general settings. The same can unfortunately not …

Jonathan Katzy, Razvan-Mihai Popescu, Erik Mekkes, Arie van Deursen, Maliheh Izadi

11 views Apr 7

Academic · 1 min

Delayed Homomorphic Reinforcement Learning for Environments with Delayed Feedback

arXiv:2604.03641v1 Announce Type: new Abstract: Reinforcement learning in real-world systems is often accompanied by delayed feedback, which breaks the Markov assumption and impedes both learning …

Jongsoo Lee, Jangwon Kim, Soohee Han

14 views Apr 7

Academic · 1 min

Algebraic Diversity: Group-Theoretic Spectral Estimation from Single Observations

arXiv:2604.03634v1 Announce Type: new Abstract: We prove that temporal averaging over multiple observations can be replaced by algebraic group action on a single observation for …

Mitchell A. Thornton

32 views Apr 7

Academic · 1 min

Neural Global Optimization via Iterative Refinement from Noisy Samples

arXiv:2604.03614v1 Announce Type: new Abstract: Global optimization of black-box functions from noisy samples is a fundamental challenge in machine learning and scientific computing. Traditional methods …

Qusay Muzaffar, David Levin, Michael Werman

13 views Apr 7

Academic · 1 min

BlazeFL: Fast and Deterministic Federated Learning Simulation

arXiv:2604.03606v1 Announce Type: new Abstract: Federated learning (FL) research increasingly relies on single-node simulations with hundreds or thousands of virtual clients, making both efficiency and …

Kitsuya Azuma, Takayuki Nishio

18 views Apr 7

Academic · 1 min

Evaluation of Bagging Predictors with Kernel Density Estimation and Bagging Score

arXiv:2604.03599v1 Announce Type: new Abstract: For a larger set of predictions of several differently trained machine learning models, known as bagging predictors, the mean of …

Philipp Seitz, Jan Schmitt, Andreas Schiffler

14 views Apr 7

Academic · 1 min

Simple yet Effective: Low-Rank Spatial Attention for Neural Operators

arXiv:2604.03582v1 Announce Type: new Abstract: Neural operators have emerged as data-driven surrogates for solving partial differential equations (PDEs), and their success hinges on efficiently modeling …

Zherui Yang, Haiyang Xin, Tao Du, Ligang Liu

7 views Apr 7

Academic · 1 min

Choosing the Right Regularizer for Applied ML: Simulation Benchmarks of Popular Scikit-learn Regularization Frameworks

arXiv:2604.03541v1 Announce Type: new Abstract: This study surveys the historical development of regularization, tracing its evolution from stepwise regression in the 1960s to recent advancements …

Benjamin S. Knight, Ahsaas Bajaj

12 views Apr 7

Academic · 1 min

Online learning of smooth functions on $\mathbb{R}$

arXiv:2604.03525v1 Announce Type: new Abstract: We study adversarial online learning of real-valued functions on $\mathbb{R}$. In each round the learner is queried at $x_t\in\mathbb{R}$, predicts …

Jesse Geneson, Kuldeep Singh, Alexander Wang

7 views Apr 7

Academic · 1 min

Improving Feasibility via Fast Autoencoder-Based Projections

arXiv:2604.03489v1 Announce Type: new Abstract: Enforcing complex (e.g., nonconvex) operational constraints is a critical challenge in real-world learning and control systems. However, existing methods struggle …

Maria Chzhen, Priya L. Donti

19 views Apr 7

Automated Conjecture Resolution with Formal Verification

CountsDiff: A Diffusion Model on the Natural Numbers for Generation and Imputation of Count-Based Data

Automated Attention Pattern Discovery at Scale in Large Language Models

Delayed Homomorphic Reinforcement Learning for Environments with Delayed Feedback

Algebraic Diversity: Group-Theoretic Spectral Estimation from Single Observations

Neural Global Optimization via Iterative Refinement from Noisy Samples

BlazeFL: Fast and Deterministic Federated Learning Simulation

Evaluation of Bagging Predictors with Kernel Density Estimation and Bagging Score

Simple yet Effective: Low-Rank Spatial Attention for Neural Operators

Choosing the Right Regularizer for Applied ML: Simulation Benchmarks of Popular Scikit-learn Regularization Frameworks

Online learning of smooth functions on $\mathbb{R}$

Improving Feasibility via Fast Autoencoder-Based Projections

JCG, PC

HSOLLC Co., Ltd.