Pratik, Kumar

5 publications

ICLRW 2025 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving Sara Rajaee, Kumar Pratik, Gabriele Cesa, Arash Behboodi

TMLR 2025 Neural Lattice Reduction: A Self-Supervised Geometric Deep Learning Approach Giovanni Luca Marchetti, Gabriele Cesa, Kumar Pratik, Arash Behboodi

ICMLW 2023 Equivariant Self-Supervised Deep Pose Estimation for Cryo EM Gabriele Cesa, Kumar Pratik, Arash Behboodi

NeurIPSW 2023 Neural Lattice Reduction: A Self-Supervised Geometric Deep Learning Approach Giovanni Luca Marchetti, Gabriele Cesa, Kumar Pratik, Arash Behboodi

ICML 2022 Equivariant Priors for Compressed Sensing with Unknown Orientation Anna Kuzina, Kumar Pratik, Fabio Valerio Massoli, Arash Behboodi