Paper

  • FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

    Qingxing Cao, Yinya Huang, Xiaodan Liang, Xiaohan Lin, Zhengying Liu, Jianqiao Lu, Linqi Song, Haiming Wang p54932-54946 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • G-Retriever: Retrieval-Augmented Generation for Textual Graph Understanding and Question Answering

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    G-Retriever: Retrieval-Augmented Generation for Textual Graph Understanding and Question Answering

    Xavier Bresson, Nitesh Chawla, Xiaoxin He, Bryan Hooi, Thomas Laurent, Yann LeCun, Yifei Sun, Yijun Tian p132876-132907 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • G2D: From Global to Dense Radiography Representation Learning via Vision-Language Pre-training

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    G2D: From Global to Dense Radiography Representation Learning via Vision-Language Pre-training

    Rossella Arcucci, Wenjia Bai, Sibo Cheng, Che Liu, Cheng Ouyang, Anand Shah p14751-14773 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • G3: An Effective and Adaptive Framework for Worldwide Geolocalization Using Large Multi-Modality Models

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    G3: An Effective and Adaptive Framework for Worldwide Geolocalization Using Large Multi-Modality Models

    Yantong Du, Xiao Han, Pengyue Jia, Xiaopeng Li, Yiding Liu, Shuaiqiang Wang, Yuhao Wang, Xuetao Wei, Dawei Yin, Xiangyu Zhao p53198-53221 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • GACL: Exemplar-Free Generalized Analytic Continual Learning

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GACL: Exemplar-Free Generalized Analytic Continual Learning

    Cen Chen, Yizhu Chen, Di Fang, Run He, Kai Tong, Hongxin Wei, Ziqian Zeng, Huiping Zhuang p83024-83047 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • Gacs-Korner Common Information Variational Autoencoder

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    Gacs-Korner Common Information Variational Autoencoder

    Alessandro Achille, Jonathan Kao, Michael Kleinman, Stefano Soatto p66020-66043 from Advances in Neural Information Processing Systems 36
    Our Price: $0.00
  • GADBench: Revisiting and Benchmarking Supervised Graph Anomaly Detection

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GADBench: Revisiting and Benchmarking Supervised Graph Anomaly Detection

    Ziqi Gao, Fengrui Hua, Jia Li, Jianheng Tang, Peilin Zhao p29628-29653 from Advances in Neural Information Processing Systems 36
    Our Price: $0.00
  • GAGA: Deciphering Age-Path of Generalized Self-Paced Regularizer

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GAGA: Deciphering Age-Path of Generalized Self-Paced Regularizer

    Bin Gu, Diyang Li, Xingyu Qu, Xiaohan Zhao p32025-32038 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00
  • GAIA: Delving into Gradient-based Attribution Abnormality for Out-of-distribution Detection

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GAIA: Delving into Gradient-based Attribution Abnormality for Out-of-distribution Detection

    Jinggang Chen, Junjie Li, Xiaoyang Qu, Jiguang Wan, Jianzong Wang, Jing Xiao p79946-79958 from Advances in Neural Information Processing Systems 36
    Our Price: $0.00
  • GAIA: Rethinking Action Quality Assessment for AI-Generated Videos

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GAIA: Rethinking Action Quality Assessment for AI-Generated Videos

    Zijian Chen, Ru Huang, Jun Jia, Xiongkuo Min, Wei Sun, Yuan Tian, Jiarui Wang, Guangtao Zhai, Wenjun Zhang, Zicheng Zhang p40111-40144 from Advances in Neural Information Processing Systems 37
    Our Price: $0.00
  • GAL: Gradient Assisted Learning for Decentralized Multi-Organization Collaborations

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GAL: Gradient Assisted Learning for Decentralized Multi-Organization Collaborations

    Enmao Diao, Jie Ding, Vahid Tarokh p11854-11868 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00
  • GALOIS: Boosting Deep Reinforcement Learning Via Generalizable Logic Synthesis

    Neural Information Processing Systems Foundation, Inc. (NeurIPS)

    GALOIS: Boosting Deep Reinforcement Learning Via Generalizable Logic Synthesis

    Yushi Cao, Jianye Hao, Yi Li, Zhiming Li, Yang Liu, Tianpei Yang, Hao Zhang, Yan Zheng p19930-19943 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00