Tabu search Cited in 1,027 Documents (1991–2022) Software Authors: Glover, Fred; Taillard, Eric; de Werra, Dominique Related Software: Scatter Search; CPLEX; VRP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
Reluplex Cited in 81 Documents (2017–2024) Software Authors: Katz, Guy; Barrett, Clark; Dill, David; Julian, Kyle; Kochenderfer, Mykel Related Software: AI2; Marabou; NNV; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
AlphaZero Cited in 79 Documents (2018–2024) Software Authors: DeepMind; Silver, David; Hubert, Thomas; Schrittwieser, Julian; Hassabis, Demis Related Software: Adam; GitHub; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CLIPS Cited in 64 Documents (1992–2020) Software Authors: Riley, Gary; Giarranto Related Software: Jess; Protege; MARGOT; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
Grad-CAM Cited in 45 Documents (2018–2024) Software Authors: Selvaraju, Ramprasaath R.; Cogswell, Michael; Das, Abhishek; Vedantam, Ramakrishna; Parikh, Devi; Batra, Dhruv Related Software: ImageNet; shap; AlexNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ViT Cited in 43 Documents (2021–2024) Software Authors: Dosovitskiy, Alexey; Beyer, Lucas; Kolesnikov, Alexander; Weissenborn, Dirk; Zhai, Xiaohua; Unterthiner, Thomas; Dehghani, Mostafa; Minderer, Matthias; Heigold, Georg; Gelly, Sylvain; Uszkoreit, Jakob; Houlsby, Neil Related Software: Tensor2Tensor; ImageNet; BERT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Torch Cited in 33 Documents (2003–2024) Software Authors: Collobert, R.; Bengio, S.; Mariethoz, J. Related Software: TensorFlow; Caffe; Theano; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GNMT Cited in 43 Documents (2018–2024) Software Authors: Wu, Yonghui; Schuster, Mike; Chen, Zhifeng; Le, Quoc V.; Norouzi, Mohammad; Macherey, Wolfgang; Krikun, Maxim; Cao, Yuan; Gao, Qin; Macherey, Klaus; Klingner, Jeff; Shah, Apurva; Johnson, Melvin; Liu, Xiaobing; Kaiser, Łukasz; Gouws, Stephan; Kato, Yoshikiyo; Kudo, Taku; Kazawa, Hideto; Stevens, Keith; Kurian, George; Patil, Nishant; Wang, Wei; Young, Cliff; Smith, Jason; Riesa, Jason; Rudnick, Alex; Vinyals, Oriol; Corrado, Greg; Hughes, Macduff; Dean, Jeffrey Related Software: ImageNet; AlexNet; Adam; … Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Python Web Graph Generator Cited in 47 Documents (2013–2024) Software Authors: Sathe, Saket Related Software: Repast Suite; NetLogo; invGauss; … Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistical mechanics, structure of matter (82-XX); …
AOA Cited in 42 Documents (2021–2024) Software Authors: Abualigah, Laith; Diabat, Ali; Mirjalili, Seyedali; Abd Elaziz, Mohamed; Gandomi, Amir H. Related Software: GWO; WOA; SSA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
DELORES Cited in 24 Documents (2000–2022) Software Authors: Maher, Michael; Miller, Tristan Related Software: DR-Prolog; LegalRuleML; swrl; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
ToulBar2 Cited in 27 Documents (2007–2023) Software Authors: Schiex, Thomas; Givry, Simon de; Allouche, David Related Software: mplp2; NumberJack; MaxHS; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
SOMA Cited in 23 Documents (2002–2023) Software Authors: Zelinka, Ivan; Lampinen, Jouni Related Software: GSA; YDSE; Honey badger algorithm; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
AHA Cited in 22 Documents (2022–2024) Software Authors: Zhao, Weiguo; Wang, Liying; Mirjalili, Seyedali Related Software: GWO; WOA; AOA; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
DeepAR Cited in 22 Documents (2021–2024) Software Authors: Salinas, David; Flunkert, Valentin; Gasthaus, Jan Related Software: forecast; Tensor2Tensor; expsmooth; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Computer science (68-XX); …
Edward Cited in 17 Documents (2017–2024) Software Authors: Tran, D.; Kucukelbir, A.; Dieng, A. B.; Rudolph, M.; Liang, D.; Blei, D. M. Related Software: Stan; TensorFlow; PyMC; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); …
ShapeNet Cited in 16 Documents (2019–2024) Software Authors: Chang, Angel X.; Funkhouser, Thomas; Guibas, Leonidas; Hanrahan, Pat; Huang, Qixing; Li, Zimo; Savarese, Silvio; Savva, Manolis; Song, Shuran; Su, Hao; Xiao, Jianxiong; Yi, Li; Yu, Fisher Related Software: PointNet; 3D-R2N2; Adam; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CARLA Cited in 13 Documents (2019–2024) Software Authors: Dosovitskiy, Alexey; Ros, German; Codevilla, Felipe; Lopez, Antonio; Koltun, Vladlen Related Software: OpenAI Gym; MuJoCo; GAZEBO; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX); …
DeepMath Cited in 19 Documents (2017–2023) Software Authors: Alemi, Alex A.; Chollet, Francois; Een, Niklas; Irving, Geoffrey; Szegedy, Christian; Urban, Josef Related Software: ENIGMA; E Theorem Prover; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)
ALBERT Cited in 11 Documents (2021–2024) Software Authors: Lan, Zhenzhong; Chen, Mingda; Goodman, Sebastian; Gimpel, Kevin; Sharma, Piyush; Soricut, Radu Related Software: BERT; RoBERTa; GloVe; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
DeepProbLog Cited in 18 Documents (2020–2023) Software Authors: Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; Raedt, Luc De Related Software: ProbLog; NeurASP; Adam; … Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX); …
Orbital library Cited in 19 Documents (2008–2024) Software Authors: Platzer, André Related Software: z3; KeYmaera; QEPCAD; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
RLlib Cited in 8 Documents (2020–2024) Software Authors: The Ray Team Revision; Eric Liang, Richard Liaw, Philipp Moritz, Robert Nishihara, Roy Fox, Ken Goldberg, Joseph E. Gonzalez, Michael I. Jordan, Ion Stoica Related Software: OpenAI Gym; Dopamine; PyTorch; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DLV-EX Cited in 16 Documents (2007–2021) Software Authors: Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista Related Software: Clingcon; Clingo; OntoDLV; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
PointCNN Cited in 13 Documents (2019–2023) Software Authors: Li, Yangyan; Bu, Rui; Sun, Mingchao; Wu, Wei; Di, Xinhan; Chen, Baoquan Related Software: PointNet; VoxNet; VoxelNet; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FPROLOG Cited in 13 Documents (1985–2023) Software Authors: Martin, T.P.; Baldwin, J.F.; Pilsworth, B.W. Related Software: FRIL; Ciao; Fuzzydl; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Statistics (62-XX); …
gaol Cited in 14 Documents (2004–2023) Software Authors: Goualard, F. Related Software: PROFIL/BIAS; filib++; INTLAB; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
graph2vec Cited in 14 Documents (2018–2024) Software Authors: Narayanan, Annamalai; Chandramohan, Mahinthan; Venkatesan, Rajasekar; Chen, Lihui; Liu, Yang; Jaiswal, Shantanu Related Software: node2vec; DeepWalk; Sub2vec; … Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
MEBN Cited in 11 Documents (2008–2018) Software Authors: Laskey, Kathryn Blackmond Related Software: BLOG; PR-OWL; IBAL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX); …
NeuroSAT Cited in 15 Documents (2019–2024) Software Authors: Selsam, Daniel; Lamm, Matthew; Bünz, Benedikt; Liang, Percy; Moura, Leonardo de; Dill, David L. Related Software: Gurobi; z3; E Theorem Prover; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PMLB Cited in 12 Documents (2018–2024) Software Authors: Olson, Randal S.; Cava, William La; Orzechowski, Patryk; Urbanowicz, Ryan J.; Moore, Jason H. Related Software: Scikit; UCI-ml; GitHub; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
hmm Cited in 12 Documents (2004–2020) Software Authors: Murphy, K Related Software: R; Matlab; Brain Connectivity Toolbox; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
Ray Cited in 11 Documents (2021–2024) Software Authors: Moritz, Philipp; Nishihara, Robert; Wang, Stephanie; Tumanov, Alexey; Liaw, Richard; Liang, Eric; Elibol, Melih; Yang, Zongheng; Paul, William; Jordan, Michael I.; Stoica, Ion Related Software: TensorFlow; GitHub; OpenAI Gym; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SUNNY Cited in 13 Documents (2014–2023) Software Authors: Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo Related Software: SATzilla; MiniZinc; Proteus; … Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
BioJava Cited in 5 Documents (2009–2017) Software Authors: Prlic, Andreas; Yates, Andrew; Bliven, Spencer E.; Rose, Peter W.; Jacobsen, Julius; Troshin, Peter V.; Chapman, Mark; Gao, Jianjiong; Koh, Chuan Hock; Foisy, Sylvain; Holland, Richard; Rimsa, Gediminas; Heuer, Michael L.; Brandstatter-Muller, H.; Bourne, Philip E.; Willis, Scooter Related Software: Biopython; bioperl; MMTK; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Theta* Cited in 12 Documents (2010–2023) Software Authors: Daniel, Kenny; Nash, Alex; Koenig, Sven; Felner, Ariel Related Software: Anya; Matlab; Visual MISER; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CTADEL Cited in 12 Documents (1998–2020) Software Authors: Engelen, Van; Alexander, Robert Related Software: Mathematica; FINGER; SciNapse; … Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
HOList Cited in 11 Documents (2020–2023) Software Authors: Bansal, Kshitij; Loos, Sarah M.; Rabe, Markus N.; Szegedy, Christian; Wilcox, Stewart Related Software: ENIGMA; TacticToe; Isabelle/HOL; … Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX)
Cluster-GCN Cited in 9 Documents (2021–2024) Software Authors: Chiang, Wei-Lin; Liu, Xuanqing; Si, Si; Li, Yang; Bengio, Samy; Hsieh, Cho-Jui Related Software: FastGCN; DeepWalk; GNNAutoScale; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
3D-R2N2 Cited in 8 Documents (2019–2021) Software Authors: Choy, Christopher B.; Xu, Danfei; Gwak, JunYoung; Chen, Kevin; Savarese, Silvio Related Software: ShapeNet; PointNet; Adam; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
InfoGraph Cited in 7 Documents (2020–2024) Software Authors: Sun, Fan-Yun; Hoffmann, Jordan; Verma, Vikas; Tang, Jian Related Software: node2vec; PyTorch; GCC; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
MLP-Mixer Cited in 9 Documents (2022–2023) Software Authors: Tolstikhin, Ilya; Houlsby, Neil; Kolesnikov, Alexander; Beyer, Lucas; Zhai, Xiaohua; Unterthiner, Thomas; Yung, Jessica; Steiner, Andreas; Keysers, Daniel; Uszkoreit, Jakob; Lucic, Mario; Dosovitskiy, Alexey Related Software: BERT; Adam; GPT-3; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NumPyro Cited in 7 Documents (2021–2024) Software Authors: Phan, Du; Pradhan, Neeraj; Jankowiak, Martin Related Software: Pyro; NUTS; TensorFlow; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Wikipedia Miner Cited in 4 Documents (2012–2019) Software Authors: Milne, David; Witten, Ian H. Related Software: DBpedia; YAGO; MENTA; … Main Fields: Statistics (62-XX); Computer science (68-XX)
ALM Cited in 8 Documents (2012–2020) Software Authors: Daniela Inclezan; Gelfond, Michael Related Software: PEORL; VerbNet; CCalc; … Main Fields: Computer science (68-XX)
cplint Cited in 8 Documents (2017–2022) Software Authors: Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo Related Software: ProbLog; SWI-Prolog; Aleph; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
MOPO Cited in 8 Documents (2021–2024) Software Authors: Yu, Tianhe; Thomas, Garrett; Yu, Lantao; Ermon, Stefano; Zou, James; Levine, Sergey; Finn, Chelsea; Ma, Tengyu Related Software: D4RL; SEAL; Entropy-SGD; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
RETAIN Cited in 7 Documents (2021–2023) Software Authors: Choi, Edward; Bahadori, Mohammad Taha; Kulas, Joshua A.; Schuetz, Andy; Stewart, Walter F.; Sun, Jimeng Related Software: BioBERT; word2vec; BERT; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX); …
TorchIO Cited in 0 Documents Software Authors: Pérez-García, Fernando; Sparks, Rachel; Ourselin, Sebastien Related Software: NiftyNet; PyTorch; Python; … Main Fields: –
VERIFAI Cited in 6 Documents (2021–2024) Software Authors: Dreossi, Tommaso; Fremont, Daniel J.; Ghosh, Shromona; Kim, Edward; Ravanbakhsh, Hadi; Vazquez-Chanlatte, Marcell; Seshia, Sanjit A. Related Software: Reluplex; NNV; Apollo; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
WEBWEAVR-III Cited in 8 Documents (1999–2015) Software Authors: Xiang, Yang Related Software: MIM Main Fields: Statistics (62-XX); Computer science (68-XX)
NeuroLKH Cited in 7 Documents (2022–2023) Software Authors: Xin, Liang; Song, Wen; Cao, Zhiguang; Zhang, Jie Related Software: POMO; LKH; Gurobi; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
OBOE Cited in 7 Documents (2019–2023) Software Authors: Yang, Chengrun; Akimoto, Yuji; Kim, Dae Won; Udell, Madeleine Related Software: Hyperband; auto-sklearn; SMAC; … Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX); …
PEORL Cited in 6 Documents (2019–2021) Software Authors: Yang, Fangkai; Lyu, Daoming; Liu, Bo; Gustafson, Steven Related Software: REBA; BWIBots; ALM; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
Sever Cited in 7 Documents (2019–2023) Software Authors: Diakonikolas, Ilias; Kamath, Gautam; Kane, Daniel M.; Li, Jerry; Steinhardt, Jacob; Stewart, Alistair Related Software: SparseLOGREG; UCI-ml; Find; … Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Computer science (68-XX); …
Vadalog Cited in 5 Documents (2021–2023) Software Authors: Bellomarini, Luigi; Gottlob, Georg; Sallinger, Emanuel Related Software: Datalog; RDFox; LUBM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
WaveGlow Cited in 5 Documents (2021–2022) Software Authors: Prenger, Ryan; Valle, Rafael; Catanzaro, Bryan Related Software: Glow; Adam; nsf; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Captum Cited in 1 Document (2021) Software Authors: Kokhlikyan, Narine; Miglani, Vivek; Martin, Miguel; Wang, Edward; Alsallakh, Bilal; Reynolds, Jonathan; Melnikov, Alexander; Kliushkina, Natalia; Araya, Carlos; Yan, Siqi; Reblitz-Richardson, Orion Related Software: PyTorch; InterpretML; Alibi Explain; … Main Fields: Computer science (68-XX)
GraphRNN Cited in 6 Documents (2020–2023) Software Authors: You, Jiaxuan; Ying, Rex; Ren, Xiang; Hamilton, William L.; Leskovec, Jure Related Software: DeepWalk; node2vec; NetGAN; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
MONAI Cited in 0 Documents Software Authors: Cardoso, M. Jorge; et al. Related Software: NiftyNet; TorchIO; Python; … Main Fields: –
OR-Gym Cited in 4 Documents (2022–2024) Software Authors: Hubbs, Christian D.; Perez, Hector D.; Sarwar, Owais; Sahinidis, Nikolaos V.; Grossmann, Ignacio E.; Wassick, John M. Related Software: OpenAI Gym; CPLEX; Ray; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
ChainerRL Cited in 1 Document (2021) Software Authors: Fujita, Yasuhiro; Kataoka, Toshiki; Nagarajan, Prabhat; Ishikawa, Takahiro Related Software: RLlib; rlpyt; Dopamine; … Main Fields: Computer science (68-XX)
FedHealth Cited in 3 Documents (2021–2023) Software Authors: Chen, Yiqiang; Wang, Jindong; Yu, Chaohui; Gao, Wen; Qin, Xin Related Software: SCAFFOLD; FetchSGD; MNIST; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
libagf Cited in 5 Documents (2016–2018) Software Authors: Mills, Peter Related Software: PRMLT; ifs; pLoc-mEuk; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); …
PyKEEN Cited in 2 Documents (2023) Software Authors: Ali, Mehdi; Berrendorf, Max; Hoyt, Charles Tapley; Vermue, Laurent; Sharifzadeh, Sahand; Tresp, Volker; Lehmann, Jens Related Software: DGL-KE; RotatE; YAGO; … Main Fields: Computer science (68-XX)
Pykg2vec Cited in 1 Document (2021) Software Authors: Yu, Shih Yuan; Chhetri, Sujit Rokka; Canedo, Arquimedes; Goyal, Palash; Faruque, Mohammad Abdullah Al Related Software: OpenKE; AmpliGraph; Python; … Main Fields: Computer science (68-XX)
CORe50 Cited in 3 Documents (2019–2022) Software Authors: Lomonaco, Vincenzo; Maltoni, Davide Related Software: iCaRL; PyTorch; CIFAR; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)
FFES Cited in 3 Documents (2000–2006) Software Authors: Blostein, Dorothea; Smithies, Steve; Novins, Kevin; Zanibbi, Richard; Rose, Arlis; Tausky, David; Willan, Nick Related Software: MathBrush; Maple Main Fields: Computer science (68-XX)
FiLM Cited in 3 Documents (2020–2024) Software Authors: Perez, Ethan; Strub, Florian; Vries, Harm de; Dumoulin, Vincent; Courville, Aaron Related Software: Python; torchdiffeq; FourCastNet; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
LSTMVis Cited in 2 Documents (2018–2021) Software Authors: Strobelt, Hendrik; Gehrmann, Sebastian; Pfister, Hanspeter; Rush, Alexander M. Related Software: TensorFlow; PyTorch; CUDA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
NLocalSAT Cited in 3 Documents (2021–2023) Software Authors: Zhang, Wenjie; Sun, Zeyu; Zhu, Qihao; Li, Ge; Cai, Shaowei; Xiong, Yingfei; Zhang, Lu Related Software: CCAnr; YalSAT; Lingeling; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
PPFNet Cited in 3 Documents (2019–2023) Software Authors: Deng, Haowen; Birdal, Tolga; Ilic, Slobodan Related Software: PointNet; 3DMatch; PPF-FoldNet; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
PrASP Cited in 4 Documents (2016–2022) Software Authors: Nickles, Matthias Related Software: ProbLog; PRISM; Clingo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
subgraph2vec Cited in 2 Documents (2019–2020) Software Authors: Narayanan, Annamalai; Chandramohan, Mahinthan; Chen, Lihui; Liu, Yang; Saminathan, Santhoshkumar Related Software: node2vec; Python; FastDTW; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
SUNRISE Cited in 3 Documents (2022–2024) Software Authors: Lee, Kimin; Laskin, Michael; Srinivas, Aravind; Abbeel, Pieter Related Software: OpenAI Gym; AlphaZero; MuJoCo; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
TinyBERT Cited in 2 Documents (2022–2023) Software Authors: Jiao, Xiaoqi; Yin, Yichun; Shang, Lifeng; Jiang, Xin; Chen, Xiao; Li, Linlin; Wang, Fang; Liu, Qun Related Software: BERT; Tensor2Tensor; RoBERTa; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TopicRNN Cited in 3 Documents (2019–2022) Software Authors: Dieng, Adji B.; Wang, Chong; Gao, Jianfeng; Paisley, John Related Software: TensorFlow; torchdiffeq; Tensor2Tensor; … Main Fields: Statistics (62-XX); Computer science (68-XX)
ViZDoom Cited in 2 Documents (2018–2020) Software Authors: Kempka, Michał; Wydmuch, Marek; Runc, Grzegorz; Toczek, Jakub; Jaśkowski, Wojciech Related Software: Adam; AI2-THOR; MuJoCo; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Adv-BNN Cited in 3 Documents (2021–2023) Software Authors: Liu, Xuanqing; Li, Yao; Wu, Chongruo; Hsieh, Cho-Jui Related Software: MagNet; Fashion-MNIST; PRMLT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
bnmonitor Cited in 2 Documents (2022–2023) Software Authors: Leonelli, Manuele; Ramanathan, Ramsiya; Wilkerson, Rachel Related Software: stagedtrees; gRain; bnlearn; … Main Fields: Computer science (68-XX)
Colorization Transformer Cited in 1 Document (2022) Software Authors: Kumar, Manoj; Weissenborn, Dirk; Kalchbrenner, Nal Related Software: ImageNet; TransGAN; DeblurGAN; … Main Fields: Computer science (68-XX)
CVAE-GAN Cited in 3 Documents (2020–2023) Software Authors: Bao, Jianmin; Chen, Dong; Wen, Fang; Li, Houqiang; Hua, Gang Related Software: Steerable pyramid; darch; DeLiGAN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
DACBench Cited in 2 Documents (2023–2024) Software Authors: Eimer, Theresa; Biedenkapp, André; Reimer, Maximilian; Adriaensen, Steven; Hutter, Frank; Lindauer, Marius Related Software: GitHub; Paramils; COCO; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
GamePad Cited in 3 Documents (2019–2023) Software Authors: Huang, Daniel; Dhariwal, Prafulla; Song, Dawn; Sutskever, Ilya Related Software: E Theorem Prover; TacticToe; NeuroSAT; … Main Fields: Computer science (68-XX)
GAN Lab Cited in 1 Document (2021) Software Authors: Kahng, Minsuk; Thorat, Nikhil; Chau, Duen Horng; Viégas, Fernanda; Wattenberg, Martin Related Software: ConvNetJS; TensorFlow; LSTMVis; … Main Fields: Operator theory (47-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
IsarStep Cited in 3 Documents (2021–2023) Software Authors: Li, Wenda; Yu, Lei; Wu, Yuhuai; Paulson, Lawrence C. Related Software: Isabelle/HOL; Automath; HOList; … Main Fields: Computer science (68-XX)
LMS evaluation Cited in 2 Documents (2010–2014) Software Authors: Cavus, Nadire Related Software: FLINTSTONES Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
LoRA Cited in 1 Document (2024) Software Authors: Hu, Edward J.; Shen, Yelong; Wallis, Phillip; Allen-Zhu, Zeyuan; Li, Yuanzhi; Wang, Shean; Wang, Lu; Chen, Weizhu Related Software: PyTorch; Transformers; BERT; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
MazeBase Cited in 1 Document (2020) Software Authors: Sukhbaatar, Sainbayar; Szlam, Arthur; Synnaeve, Gabriel; Chintala, Soumith; Fergus, Rob Related Software: BWAPI; RMSprop; OpenAI Gym; … Main Fields: Computer science (68-XX)
MidiNet Cited in 2 Documents (2020–2023) Software Authors: Yang, Li-Chia; Chou, Szu-Yu; Yang, Yi-Hsuan Related Software: Adam; MuseGAN; LakhNES; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
2P-Kt Cited in 2 Documents (2022) Software Authors: Ciatto, Giovanni; Calegari, Roberta; Omicini, Andrea Related Software: Prolog; SWI-Prolog; ReSpecT; … Main Fields: Computer science (68-XX)
Aequitas Cited in 1 Document (2021) Software Authors: Saleiro, Pedro; Kuester, Benedict; Hinkson, Loren; London, Jesse; Stevens, Abby; Anisfeld, Ari; Rodolfa, Kit T.; Ghani, Rayid Related Software: H2O; Fairlearn; DALEX; … Main Fields: Computer science (68-XX)
AI2-THOR Cited in 0 Documents Software Authors: Kolve, Eric; Mottaghi, Roozbeh; Han, Winson; VanderBilt, Eli; Weihs, Luca; Herrasti, Alvaro; Gordon, Daniel; Zhu, Yuke; Gupta, Abhinav; Farhadi, Ali Related Software: ViZDoom; GloVe; ArraMon; … Main Fields: Computer science (68-XX)
ALFRED Cited in 1 Document (2022) Software Authors: Shridhar, Mohit; Thomason, Jesse; Gordon, Daniel; Bisk, Yonatan; Han, Winson; Mottaghi, Roozbeh; Zettlemoyer, Luke; Fox, Dieter Related Software: ViZDoom; GloVe; ArraMon; … Main Fields: Computer science (68-XX)
BPA Cited in 2 Documents (2018) Software Authors: Ivorra, Benjamin Related Software: COMSOL; Matlab; Theta* Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
CleanNet Cited in 2 Documents (2021–2023) Software Authors: Lee, Kuang-Huei; He, Xiaodong; Zhang, Lei; Yang, Linjun Related Software: mixup; Inception-v4; CIFAR; … Main Fields: Statistics (62-XX); Computer science (68-XX)
CleanX Cited in 0 Documents Software Authors: Moore, Candace Makeda; Murphy, Andrew; Sivokon, Oleg; Musoke, Patrice J Related Software: Python; Mimicry; TF-GAN; … Main Fields: –
CLISP Cited in 1 Document (1990) Software Authors: Haible, Bruno; Stoll, Michael Related Software: criterion; nofib; SmallCheck; … Main Fields: Computer science (68-XX)
d3rlpy Cited in 1 Document (2021) Software Authors: Seno, Takuma; Imai, Michita Related Software: Dopamine; ChainerRL; PyTorch; … Main Fields: Computer science (68-XX)
EVE Cited in 1 Document (1992) Software Authors: Baras, P.; Blum, J.; Paumier, J.C.; Witomski, P.; Rechenmann, F. Related Software: ELLPACK Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)