← Search

Arash Behboodi

13 accepted papers

2025

Differentiable and Learnable Wireless Simulation with Geometric Transformers

ICLR 2025poster

Modelling the propagation of electromagnetic wireless signals is critical for designing modern communication systems. Wireless ray tracing simulators model signal propagation based on the 3D geometry and other scene parameters, but their accuracy is fundamentally limited by underlying modelling assu…

Cited by 0SourcePDFScholar
2025

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving

ACL 2025finding

The most promising recent methods for AI reasoning require applying variants of reinforcement learning (RL) either on rolled out trajectories from the LLMs, even for the step-wise rewards, or large quantities of human-annotated trajectory data. The reliance on the rolled-out trajectory renders the c…

Cited by 0SourcePDFScholar
2025

Multi-Draft Speculative Sampling: Canonical Decomposition and Theoretical Limits

ICLR 2025spotlight

We consider multi-draft speculative sampling, where the proposal sequences are sampled independently from different draft models. At each step, a token-level draft selection scheme takes a list of valid tokens as input and produces an output token whose distribution matches that of the target mode…

Cited by 0SourcePDFScholar
2024

An Information Theoretic Perspective on Conformal Prediction

NeurIPS 2024poster

Conformal Prediction (CP) is a distribution-free uncertainty estimation framework that constructs prediction sets guaranteed to contain the true answer with a user-specified probability. Intuitively, the size of the prediction set encodes a general notion of uncertainty, with larger sets associated…

Cited by 23SourcePDFScholar
2023

Pruning vs Quantization: Which is Better?

NeurIPS 2023poster

Neural network pruning and quantization techniques are almost as old as neural networks themselves. However, to date, only ad-hoc comparisons between the two have been published. In this paper, we set out to answer the question of which is better: neural network quantization or pruning? By answering…

2023

WiNeRT: Towards Neural Ray Tracing for Wireless Channel Modelling and Differentiable Simulations

ICLR 2023poster

In this paper, we work towards a neural surrogate to model wireless electro-magnetic propagation effects in indoor environments. Such neural surrogates provide a fast, differentiable, and continuous representation of the environment and enables end-to-end optimization for downstream tasks (e.g., net…

Cited by 40SourcePDFScholar
2022

Equivariant Priors for compressed sensing with unknown orientation

ICML 2022spotlight

In compressed sensing, the goal is to reconstruct the signal from an underdetermined system of linear measurements. Thus, prior knowledge about the signal of interest and its structure is required. Additionally, in many scenarios, the signal has an unknown orientation prior to measurements. To addre…

Cited by 2SourcePDFScholar
2022

On the symmetries of the synchronization problem in Cryo-EM: Multi-Frequency Vector Diffusion Maps on the Projective Plane

NeurIPS 2022accept

Cryo-Electron Microscopy (Cryo-EM) is an important imaging method which allows high-resolution reconstruction of the 3D structures of biomolecules. It produces highly noisy 2D images by projecting a molecule's 3D density from random viewing directions. Because the projection directions are unknown,…

Cited by 3SourcePDFScholar
2020

Adversarial Risk Bounds through Sparsity based Compression

AISTATS 2020poster

Neural networks have been shown to be vulnerable against minor adversarial perturbations of their inputs, especially for high dimensional data under $\ell_\infty$ attacks.To combat this problem, techniques like adversarial training have been employed to obtain models that are robust on the training…

2020

Gradient $\ell_1$ Regularization for Quantization Robustness

ICLR 2020poster

We analyze the effect of quantizing weights and activations of neural networks on their loss and derive a simple regularization scheme that improves robustness against post-training quantization. By training quantization-ready networks, our approach enables storing a single set of weights that can b…

Cited by 66SourceScholar