Showing 1–19 of 19 results
/ Date/ Name
Oct 25, 2022PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph CompletionOct 13, 2022ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak SupervisionSep 19, 2022Joint Language Semantic and Structure Embedding for Knowledge Graph CompletionNov 29, 2023Zeta Functions for Spherical Tits Buildings of Finite General Linear GroupsMar 13, 2018Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint PredictionSep 7, 2021Generate & Rank: A Multi-task Framework for Math Word ProblemsMay 23, 2024Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie TypeDec 25, 2019Learning to Answer Ambiguous Questions with Knowledge GraphApr 11, 2020Multi-task Learning via Adaptation to Similar Tasks for Mortality Prediction of Diverse Rare DiseasesDec 17, 2024Cluster-guided Contrastive Class-imbalanced Graph ClassificationMay 21, 2022KGNN: Harnessing Kernel-based Networks for Semi-supervised Graph ClassificationFeb 27, 2024Measuring Vision-Language STEM Skills of Neural ModelsJun 4, 2024Process-Driven Autoformalization in Lean 4Oct 16, 2023TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language ModelsSep 27, 2023Lyra: Orchestrating Dual Correction in Automated Theorem ProvingSep 8, 2023FIMO: A Challenge Formal Dataset for Automated Theorem ProvingApr 11, 2023A Comprehensive Survey on Deep Graph Representation LearningApr 3, 2024Measuring Social Norms of Large Language ModelsApr 17, 2026Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4