Rebecca Steiner

According to our database, Rebecca Steiner authored at least 4 papers between 2020 and 2026.

Collaborative distances:

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

2026

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs.

Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye, Edward Zhang, Ruslans Aleksejevs, Todor Antic, Polina Baron, Sujeet Bhalerao, Shubhrajit Bhattacharya, Zachary Burton, John Byrne, Hyungjun Choi, Nujhat Ahmed Disha, Koppány István Encz, Yuchen Fang, Robert Joseph George, Ebrahim Ghorbani, Alan Goldfarb, Jing Guo, Meghal Gupta, Stefano Huber, Annika Kanckos, Minjung Kang, Hyun Jong Kim, Dino Lorenzini, Levi Lorenzo, Tianyi Mao, Giovanni Marzenta, Ariane M. Masuda, Lukas Mauth, Ana Mickovic, Andres Miniguano-Trujillo, Antoine Moulin, Wenqi Ni, Tomos Parry, Kevin Ren, Hossein Roodbarani, Mathieu Rundström, Manjil Saikia, Detchat Samart, Rebecca Steiner, Connor Stewart, Dhara Thakkar, Jeffrey Tse, Vasiliki Velona, Yunhai Xiang, Sibel Yalçin, Jun Yan, Ji Zeng, Arman Cohan, Quanquan C. Liu

CoRR, February, 2026

2024

A Random Walk Approach to Broadcasting on Random Recursive Trees.

Ernst Althaus, Lisa Hartung, Rebecca Steiner

CoRR, 2024

2022

On the Optimality of the Greedy Garbage Collection Strategy for SSDs.

Ernst Althaus, Petra Berenbrink, André Brinkmann, Rebecca Steiner

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

2020

DelveFS - An Event-Driven Semantic File System for Object Stores.

Marc-André Vef, Rebecca Steiner, Reza Salkhordeh, Jörg Steinkamp, Florent Vennetier, Jean-François Smigielski, André Brinkmann

Proceedings of the IEEE International Conference on Cluster Computing, 2020