Marco Carmosino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | STACS | Simple Circuit Extensions for XOR in PTIME. | Marco Carmosino, Ngu Dang, Tim Jackman |
| 2025 | STOC | Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap. | Stefan Grosser, Marco Carmosino |
| 2024 | MFCS | On the Number of Quantifiers Needed to Define Boolean Functions. | Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta |
| 2022 | ALT | Learning with Distributional Inverters. | Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, R. Ramyaa, Manuel Sabin |
| 2021 | FOCS | LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. | Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor C. Oliveira |
| 2021 | ICALP | Lifting for Constant-Depth Circuits and Applications to MCSP. | Marco Carmosino, Kenneth Hoover, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova |
| 2020 | SIGCSE | Adaptive Rubrics. | Marco Carmosino, Mia Minnes |