← Search

Gabriele Cesa

7 accepted papers

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
2024

A Probabilistic Approach to Learning the Degree of Equivariance in Steerable CNNs

ICML 2024poster

Steerable convolutional neural networks (SCNNs) enhance task performance by modelling geometric symmetries through equivariance constraints on weights. Yet, unknown or varying symmetries can lead to overconstrained weights and decreased performance. To address this, this paper introduces a probabili…

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