Reluplex Cited in 29 Documents (2017–2022) Software Authors: Guy Katz, Clark Barrett, David Dill, Kyle Julian, Mykel Kochenderfer Related Software: AI2; Marabou; Adam; … Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …
neuralnet Cited in 9 Documents (2011–2023) Software Authors: Frauke Günther; Stefan Fritsch Related Software: R; keras; pls; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
DehazeNet Cited in 8 Documents (2016–2022) Software Authors: Cai, Bolun; Xu, Xiangmin; Jia, Kui; Qing, Chunmei; Tao, Dacheng Related Software: AOD-Net; LBFGS-B; DnCNN; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
GELUs Cited in 3 Documents (2020–2023) Software Authors: Dan Hendrycks, Kevin Gimpel Related Software: Adam; PyTorch; L-BFGS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
PINNeik Cited in 5 Documents (2022–2023) Software Authors: Umair bin Waheed, Ehsan Haghighat, Tariq Alkhalifah, Chao Song, Qi Hao Related Software: EikoNet; DeepXDE; Adam; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TOuNN Cited in 5 Documents (2021–2023) Software Authors: Aaditya Chandrasekhar; Krishnan Suresh Related Software: Adam; GitHub; L-BFGS-B; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
ALEC Cited in 3 Documents (2001–2020) Software Authors: Abraham, Ajith; Nath, Baikunth Related Software: Global Optimization Toolbox For Maple Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
RecurJac Cited in 3 Documents (2019–2021) Software Authors: Huan Zhang, Pengchuan Zhang, Cho-Jui Hsieh Related Software: Reluplex; AI2; Riss; … Main Fields: Computer science (68-XX)
Drop-Activation Cited in 1 Document (2021) Software Authors: Liang, Senwei; Khoo, Yuehaw; Yang, Haizhao Related Software: AutoAugment; CIFAR; GitHub; … Main Fields: Statistics (62-XX); Computer science (68-XX)
NES Cited in 1 Document (2023) Software Authors: Grubas, Serafim; Duchkov, Anton; Loginov, Georgy Related Software: PINNtomo; HypoSVI; Keras; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
RFASTfMRI Cited in 1 Document (2020) Software Authors: Israel A Almodovar-Rivera; Ranjan Maitra Related Software: mixture; PGMM; densityClust; … Main Fields: Statistics (62-XX)
zkCNN Cited in 1 Document (2023) Software Authors: Liu, T.; Xie, X.; Zhang, Y. Related Software: Libra Main Fields: Information and communication theory, circuits (94-XX)
PIRBN Cited in 0 Documents Software Authors: Bai, Jinshuai; Liu, Gui-Rong; Gupta, Ashish; Alzubaidi, Laith; Feng, Xi-Qiao; Gu, YuanTong Related Software: – Main Fields: –