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

    Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang 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

    Xiaoxin He, Yijun Tian, Yifei Sun, Nitesh Chawla, Thomas Laurent, Yann Lecun, Xavier Bresson, Bryan Hooi 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

    Che Liu, Cheng Ouyang, Sibo Cheng, Anand Shah, Wenjia Bai, Rossella Arcucci 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

    Pengyue Jia, Yiding Liu, Xiaopeng Li, Yuhao Wang, Yantong Du, Xiao Han, Xuetao Wei, Shuaiqiang Wang, 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

    Huiping Zhuang, Yizhu Chen, Di Fang, Run He, Kai Tong, Hongxin Wei, Ziqian Zeng, Cen Chen 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

    Michael Kleinman, Alessandro Achille, Stefano Soatto, Jonathan Kao 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

    Jianheng Tang, Fengrui Hua, Ziqi Gao, Peilin Zhao, Jia Li 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

    Xingyu Qu, Diyang Li, Xiaohan Zhao, Bin Gu 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, Jianzong Wang, Jiguang Wan, 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, Wei Sun, Yuan Tian, Jun Jia, Zicheng Zhang, Jiarui Wang, Ru Huang, Xiongkuo Min, Guangtao Zhai, Wenjun 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, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu p19930-19943 from Advances in Neural Information Processing Systems 35
    Our Price: $0.00