https://github.com/Goedel-LM/Goedel-Prover
공식 코드Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
Knowledge graphs $G$ are represented as a collection of triples $\\{(h, r, t)\\}\subseteq E\times R\times E$, where $E$ and $R$ are the entity set and relation set. The task of Knowledge Graph Completion is to either predict unseen relations $r$ between two existing entities: $(h, ?, t)$ or predict the tail entity $t$ given the head entity and the query relation: $(h, r, ?)$.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
KGE-CL: Contrastive Learning of Tensor Decomposition Based Knowledge Graph Embeddings
Causal Graphs Meet Thoughts: Enhancing Complex Reasoning in Graph-Augmented LLMs
VLTP: Vision-Language Guided Token Pruning for Task-Oriented Segmentation
Towards Better Benchmark Datasets for Inductive Knowledge Graph Completion
HyenaDNA: Long-Range Genomic Sequence Modeling at Single Nucleotide Resolution
FunnyNet-W: Multimodal Learning of Funny Moments in Videos in the Wild
Self-Evaluation of Large Language Model based on Glass-box Features
Meta-Chunking: Learning Text Segmentation and Semantic Completion via Logical Perception
QAEncoder: Towards Aligned Representation Learning in Question Answering System
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools
UniTTS: An end-to-end TTS system without decoupling of acoustic and semantic information
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection
Virtual Agents for Alcohol Use Counseling: Exploring LLM-Powered Motivational Interviewing
FutureGen: LLM-RAG Approach to Generate the Future Work of Scientific Article
Low-Resource Language Processing: An OCR-Driven Summarization and Translation Pipeline
A Training-free LLM-based Approach to General Chinese Character Error Correction
BRIEF: Bridging Retrieval and Inference for Multi-hop Reasoning via Compression
MMS-LLaMA: Efficient LLM-based Audio-Visual Speech Recognition with Minimal Multimodal Speech Tokens
Large Language Model Recall Uncertainty is Modulated by the Fan Effect
GitGoodBench: A Novel Benchmark For Evaluating Agentic Performance On Git
TeMP: Temporal Message Passing for Temporal Knowledge Graph Completion
TIE: A Framework for Embedding-based Incremental Temporal Knowledge Graph Completion
Adaptive Attentional Network for Few-Shot Knowledge Graph Completion
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.