Simulated annealing for optimization of graphs and sequences

MizAR 60 for Mizar 50

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2023 · 76.3K citations · Full text

Computing, Computer Science, Computational Linguistics +14

Particle swarm optimization

James Kennedy, R.C. Eberhart · 2002 · 47.5K citations

Architecture, Bioinformatics, Directed Evolution +7

Optimization by Simulated Annealing

Scott Kirkpatrick, C. D. Gelatt, M.P. Vecchi · Science · 1983 · 44.6K citations

Natural Sciences, Mathematics, Algorithms +10

A Coefficient of Agreement for Nominal Scales

Jacob Cohen · Educational and Psychological Measurement · 1960 · 41.3K citations

Education, Educational Assessment, Educational Measurement +8

Glove: Global Vectors for Word Representation

Jeffrey Pennington, Richard Socher, Christopher D. Manning · 2014 · 33.8K citations

Computing, Computer Science, Computational Linguistics +14