| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
Trans. Mach. Learn. Res.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICML
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction.
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICLR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Trans. Mach. Learn. Res.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
SoftwareX
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICML
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICLR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICLR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
ICML
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2024 | A* | conf |
ICLR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
NeurIPS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
NeurIPS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
NeurIPS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
KDD
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
NeurIPS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
ICML
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
ICML
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
NeurIPS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A* | conf |
ICLR
|
| 2024 | A* | conf |
ICML
|
| 2024 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ICML
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
EMNLP
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
NeurIPS
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ICML
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ICLR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ICLR
|
| 2023 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
NeurIPS
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
NeurIPS
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
ICLR
|
| 2022 | A* | conf |
NeurIPS
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
ICML
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
ICML
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
NeurIPS
|
| 2022 | J | jnl |
CoRR
|
| 2022 | A* | conf |
ICLR
|
| 2021 | A* | conf |
ICLR
|
| 2021 | A* | conf |
NeurIPS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A* | conf |
NeurIPS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A* | conf |
NeurIPS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
SIGMETRICS (Abstracts)
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Commun. ACM
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A* | conf |
ICLR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
ICML
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
ICLR
|
| 2020 | A* | conf |
ICLR
|
| 2020 | A* | conf |
ICML
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
NeurIPS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
ICML
|
| 2020 | J | jnl |
CoRR
|
| 2020 | A* | conf |
NeurIPS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
EMNLP (Findings)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
FSTTCS
|
| 2020 | J | jnl |
CoRR
|
| 2019 | — | conf |
ICLR (Poster)
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
ICML
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
NeurIPS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
ICML
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
NeurIPS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | A* | conf |
NeurIPS
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ICLR (Poster)
|
| 2018 | — | conf |
ICLR (Poster)
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ACL (1)
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
COLT
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ICLR (Poster)
|
| 2018 | J | jnl |
Commun. ACM
|
| 2018 | J | jnl |
Trans. Assoc. Comput. Linguistics
|
| 2018 | J | jnl |
NeuroImage
|
| 2018 | A* | conf |
ICML
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
ICML
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ICLR (Workshop)
|
| 2017 | — | conf |
ICLR (Poster)
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | A* | conf |
ICML
|
| 2017 | J | jnl |
CoRR
|
| 2017 | A* | conf |
COLT
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | A* | conf |
STOC
|
| 2017 | J | jnl |
CoRR
|
| 2016 | J | jnl |
J. ACM
|
| 2016 | J | jnl |
Trans. Assoc. Comput. Linguistics
|
| 2016 | J | jnl |
SIAM J. Comput.
|
| 2016 | J | jnl |
CoRR
|
| 2016 | J | jnl |
CoRR
|
| 2016 | A* | conf |
ICML
|
| 2016 | J | jnl |
CoRR
|
| 2016 | J | jnl |
CoRR
|
| 2015 | J | jnl |
Int. J. Data Anal. Tech. Strateg.
|
| 2015 | A | conf |
STACS
|
| 2015 | J | jnl |
Algorithmica
|
| 2015 | J | jnl |
Random Walks on Context Spaces: Towards an Explanation of the Mysteries of Semantic Word Embeddings.
CoRR
|
| 2015 | A* | conf |
COLT
|
| 2015 | J | jnl |
CoRR
|
| 2015 | J | jnl |
J. ACM
|
| 2015 | J | jnl |
CoRR
|
| 2014 | J | jnl |
CoRR
|
| 2014 | A* | conf |
COLT
|
| 2014 | A* | conf |
ICML
|
| 2014 | — | conf |
T4E
|
| 2014 | J | jnl |
Bull. EATCS
|
| 2013 | — | conf |
ICML (2)
|
| 2013 | J | jnl |
CoRR
|
| 2013 | J | jnl |
CoRR
|
| 2013 | A* | conf |
FOCS
|
| 2013 | J | jnl |
CoRR
|
| 2012 | — | conf |
NIPS
|
| 2012 | J | jnl |
CoRR
|
| 2012 | A* | conf |
STOC
|
| 2012 | A* | conf |
EC
|
| 2012 | J | jnl |
CoRR
|
| 2012 | A* | conf |
FOCS
|
| 2012 | J | jnl |
SIAM J. Comput.
|
| 2012 | J | jnl |
IEEE Trans. Inf. Theory
|
| 2012 | J | jnl |
CoRR
|
| 2012 | — | conf |
APPROX-RANDOM
|
| 2012 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 2012 | J | jnl |
CoRR
|
| 2012 | J | jnl |
Bull. EATCS
|
| 2012 | J | jnl |
Theory Comput.
|
| 2011 | J | jnl |
CoRR
|
| 2011 | J | jnl |
Commun. ACM
|
| 2011 | J | jnl |
CoRR
|
| 2011 | J | jnl |
CoRR
|
| 2011 | — | conf |
ICALP (1)
|
| 2011 | — | conf |
APPROX-RANDOM
|
| 2011 | B | conf |
ISAAC
|
| 2011 | J | jnl |
Comput. Complex.
|
| 2011 | C | conf |
FIE
|
| 2010 | A | conf |
ICS
|
| 2010 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 2010 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 2010 | J | jnl |
CoRR
|
| 2010 | J | jnl |
SIAM J. Comput.
|
| 2010 | — | conf |
SWAT
|
| 2010 | A* | conf |
FOCS
|
| 2009 | — | book |
|
| 2009 | J | jnl |
J. ACM
|
| 2009 | A* | conf |
STOC
|
| 2009 | — | conf |
ICALP (1)
|
| 2008 | J | jnl |
Commun. ACM
|
| 2008 | A* | conf |
STOC
|
| 2007 | A* | conf |
STOC
|
| 2007 | J | jnl |
Discret. Comput. Geom.
|
| 2006 | J | jnl |
Math. Program.
|
| 2006 | — | conf |
APPROX-RANDOM
|
| 2006 | A* | conf |
SODA
|
| 2006 | A* | conf |
STOC
|
| 2006 | J | jnl |
Theory Comput.
|
| 2005 | A* | conf |
STOC
|
| 2005 | A* | conf |
FOCS
|
| 2005 | J | jnl |
Commun. ACM
|
| 2005 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 2005 | A* | conf |
FOCS
|
| 2005 | A* | conf |
STOC
|
| 2004 | A* | conf |
FOCS
|
| 2004 | J | jnl |
J. Sched.
|
| 2004 | J | jnl |
Algorithmica
|
| 2004 | A* | conf |
STOC
|
| 2004 | — | ch. |
Computational Complexity Theory
|
| 2004 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 2003 | A* | conf |
ICALP
|
| 2003 | J | jnl |
SIAM J. Comput.
|
| 2003 | J | jnl |
Math. Program.
|
| 2003 | — | ed. |
RANDOM-APPROX
|
| 2003 | J | jnl |
J. Comput. Syst. Sci.
|
| 2003 | J | jnl |
CoRR
|
| 2003 | J | jnl |
Comb.
|
| 2003 | B | conf |
FCT
|
| 2002 | — | conf |
NIPS
|
| 2002 | J | jnl |
Math. Program.
|
| 2002 | A* | conf |
SODA
|
| 2002 | A* | conf |
STOC
|
| 2002 | A* | conf |
FOCS
|
| 2001 | — | conf |
FSTTCS
|
| 2001 | A* | conf |
STOC
|
| 2000 | A* | conf |
SODA
|
| 2000 | — | conf |
APPROX
|
| 1999 | A* | conf |
STOC
|
| 1999 | A* | conf |
SODA
|
| 1999 | J | jnl |
J. Comput. Syst. Sci.
|
| 1998 | A* | conf |
SODA
|
| 1998 | A* | conf |
STOC
|
| 1998 | J | jnl |
Polynomial Time Approximation Schemes for Euclidean Traveling Salesman and other Geometric Problems.
J. ACM
|
| 1998 | J | jnl |
J. ACM
|
| 1998 | J | jnl |
J. ACM
|
| 1998 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1998 | A* | conf |
STOC
|
| 1997 | A* | conf |
STOC
|
| 1997 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1997 | — | conf |
RANDOM
|
| 1997 | A* | conf |
FOCS
|
| 1997 | — | conf |
Network Design: Connectivity and Facilities Location
|
| 1997 | J | jnl |
Theor. Comput. Sci.
|
| 1997 | J | jnl |
J. Comput. Syst. Sci.
|
| 1996 | A* | conf |
FOCS
|
| 1996 | J | jnl |
SIAM J. Comput.
|
| 1996 | A* | conf |
FOCS
|
| 1995 | A* | conf |
STOC
|
| 1995 | A* | conf |
FOCS
|
| 1994 | A* | conf |
STOC
|
| 1993 | A* | conf |
FOCS
|
| 1992 | A* | conf |
FOCS
|
| 1992 | A* | conf |
FOCS
|
| 1990 | A* | conf |
STOC
|