https://github.com/moonshotai/kimina-prover-preview
공식 코드Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
GradBias: Unveiling Word Influence on Bias in Text-to-Image Generative Models
QLESS: A Quantized Approach for Data Valuation and Selection in Large Language Model Fine-Tuning
Leave No Document Behind: Benchmarking Long-Context LLMs with Extended Multi-Doc QA
RAD-Bench: Evaluating Large Language Models Capabilities in Retrieval Augmented Dialogues
Synthesizing Interpretable Control Policies through Large Language Model Guided Search
CIIR@LiveRAG 2025: Optimizing Multi-Agent Retrieval Augmented Generation through Self-Training
MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series
Merging-Diverging Hybrid Transformer Networks for Survival Prediction in Head and Neck Cancer
Large Language Model Cascades with Mixture of Thoughts Representations for Cost-efficient Reasoning
AI-University: An LLM-based platform for instructional alignment to scientific classrooms
Improving RAG for Personalization with Author Features and Contrastive Examples
Large Language Models as Zero-Shot Keyphrase Extractors: A Preliminary Empirical Study
Response Quality Assessment for Retrieval-Augmented Generation via Conditional Conformal Factuality
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Micro-Act: Mitigate Knowledge Conflict in Question Answering via Actionable Self-Reasoning
A Human-AI Comparative Analysis of Prompt Sensitivity in LLM-Based Relevance Judgment
When Benchmarks are Targets: Revealing the Sensitivity of Large Language Model Leaderboards
KoSBi: A Dataset for Mitigating Social Bias Risks Towards Safer Large Language Model Application
TableVQA-Bench: A Visual Question Answering Benchmark on Multiple Table Domains
LAVCap: LLM-based Audio-Visual Captioning using Optimal Transport
BERGEN: A Benchmarking Library for Retrieval-Augmented Generation
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.