Happy to share that our paper “SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models” has been accepted to OOPSLA. SymGPT combines large language models (LLMs) with symbolic execution to automatically verify whether Ethereum smart contracts comply with Ethereum Request for Comment (ERC) rules. SymGPT instructs an LLM to translate ERC rules into a domain-specific language, synthesizes constraints from the translated rules to model potential rule violations, and performs symbolic execution for violation detection. In […]

Ver mais

arXiv:2603.14578v1 Announce Type: new Abstract: Scaling laws for neural networks, in which the loss decays as a power-law in the number of parameters, data, and compute, depend fundamentally on the spectral structure of the data covariance, with power-law eigenvalue decay appearing ubiquitously in vision and language tasks. A central question is whether this spectral structure is preserved or destroyed when data passes through the basic building block of a neural network: a random linear projection followed by a […]

Ver mais

arXiv:2603.15292v1 Announce Type: new Abstract: Simulation plays a central role in scientific discovery. In many applications, the bottleneck is no longer running a simulator; it is choosing among large families of plausible simulators, each corresponding to different forward models/hypotheses consistent with observations. Over large model families, classical Bayesian workflows for model selection are impractical. Furthermore, amortized model selection methods typically hard-code a fixed model prior or complexity penalty at training time, requiring users to commit to a particular […]

Ver mais

Federated learning (FL) faces two structural tensions: gradient sharing enables data-reconstruction attacks, while non-IID client distributions degrade aggregation quality. We introduce PTOPOFL, a framework that addresses both challenges simultaneously by replacing gradient communication with topological descriptors derived from persistent homology (PH). Clients transmit only 48-dimensional PH feature vectors-compact shape summaries whose many-to-one structure makes inversion provably ill-posed-rather than model gradients. The server performs topology-guided personalised aggregation: clients are clustered by Wasserstein similarity between their PH diagrams, intra-cluster models […]

Ver mais

arXiv:2603.12901v1 Announce Type: new Abstract: While diffusion models have emerged as a powerful class of generative models, their learning dynamics remain poorly understood. We address this issue first by empirically showing that standard diffusion models trained on natural images exhibit a distributional simplicity bias, learning simple, pair-wise input statistics before specializing to higher-order correlations. We reproduce this behaviour in simple denoisers trained on a minimal data model, the mixed cumulant model, where we precisely control both pair-wise and […]

Ver mais

arXiv:2602.04971v1 Announce Type: new Abstract: In this work, we study multi-sensor scheduling for remote state estimation over wireless multiple-input multiple-output (MIMO) fading channels using a novel semantic over-the-air (SemOTA) aggregation approach. We first revisit Kalman filtering with conventional over-the-air (OTA) aggregation and highlight its transmit power limitations. To balance power efficiency and estimation performance, we formulate the scheduling task as a finite-horizon dynamic programming (DP) problem. By analyzing the structure of the optimal Q-function, we show that the […]

Ver mais

Hello! I was wondering how to even start studying for RL internships and if there was the equivalent of leetcode for these sort of internships. Im unsure if these interviews build on top of a swe internship or if i need to focus on something else entirely. Any advice would be greatly appreciated! submitted by /u/ResolutionOriginal80 [link] [comments]

Ver mais

Teilhard de Chardin charts how scientific inquiry evolved from occult secrets to aesthetic contemplation before the nineteenth century’s discovery of deep time ignited a revolutionary mysticism: humanity advancing toward a future it could shape. When materialism’s promise collapsed, leaving researchers spiritually adrift, Teilhard argues only Christianity can provide the animating soul science desperately needs—transforming the laboratory into a site of cosmic love.

Ver mais