Shreyas Srinivas

According to our database, Shreyas Srinivas authored at least 6 papers between 2023 and 2026.

Collaborative distances:

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

2026

A Counterexample to EFX; n ≥ 3 Agents, m ≥ n + 5 Items, Monotone Valuations; via SAT-Solving.

Hannaneh Akrami, Alexander Mayorov, Kurt Mehlhorn, Shreyas Srinivas, Christoph Weidenbach

CoRR, April, 2026

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 2025

Latch Based Design for Fast Voltage Droop Response.

Shreyas Srinivas, Ian W. Jones, Goran Panic, Christoph Lenzen

CoRR, January, 2025

Clock Distribution with Gradient TRIX.

Shreyas Srinivas, Christoph Lenzen

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2025

2024

Brief Announcement: Clock Distribution with Gradient TRIX.

Christoph Lenzen, Shreyas Srinivas

Proceedings of the 38th International Symposium on Distributed Computing, 2024

2023

Gradient TRIX.

Christoph Lenzen, Shreyas Srinivas

CoRR, 2023