MohammadMahdi Jahanara

According to our database, MohammadMahdi Jahanara authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On the Power of Interactive Proofs for Learning.

Tom Gur, Mohammad Mahdi Jahanara, Mohammad Mahdi Khodabandeh, Ninad Rajgopal, Bahar Salamatian, Igor Shinkar

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

2023

Private Boosted Decision Trees via Smooth Re-Weighting.

MohammadMahdi Jahanara, Vahid R. Asadi, Marco Carmosino, Akbar Rafiey, Bahar Salamatian

J. Priv. Confidentiality, August, 2023

Automated Analysis of Halo2 Circuits.

Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2020

Toward Probabilistic Checking against Non-Signaling Strategies with Constant Locality.

Mohammad Mahdi Jahanara, Sajin Koroth, Igor Shinkar

Electron. Colloquium Comput. Complex., 2020

2018

UniqueID: Decentralized Proof-of-Unique-Human.

MohammadJavad Hajialikhani, MohammadMahdi Jahanara

CoRR, 2018