https://github.com/lishangyu-hkust/osvbench
공식 코드OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
A Recipe for CAC: Mosaic-based Generalized Loss for Improved Class-Agnostic Counting
GenoTEX: An LLM Agent Benchmark for Automated Gene Expression Data Analysis
Neural Multi-Hop Reasoning With Logical Rules on Biomedical Knowledge Graphs
Formalizing and Benchmarking Prompt Injection Attacks and Defenses
Thinking Racial Bias in Fair Forgery Detection: Models, Datasets and Evaluations
Multimodal Large Language Models for Inverse Molecular Design with Retrosynthetic Planning
SurvUnc: A Meta-Model Based Uncertainty Quantification Framework for Survival Analysis
Datasets and Benchmarks for Offline Safe Reinforcement Learning
Datasets and Benchmarks for Offline Safe Reinforcement Learning
Datasets and Benchmarks for Offline Safe Reinforcement Learning
CURATe: Benchmarking Personalised Alignment of Conversational AI Assistants
AgentSense: Benchmarking Social Intelligence of Language Agents through Interactive Scenarios
AutoMIR: Effective Zero-Shot Medical Information Retrieval without Relevance Labels
GenCeption: Evaluate Multimodal LLMs with Unlabeled Unimodal Data
GUNNEL: Guided Mixup Augmentation and Multi-View Fusion for Aquatic Animal Segmentation
OpenUnlearning: Accelerating LLM Unlearning via Unified Benchmarking of Methods and Metrics
Benchmarking Robustness of Endoscopic Depth Estimation with Synthetically Corrupted Data
LaCViT: A Label-aware Contrastive Fine-tuning Framework for Vision Transformers
SYNTHEVAL: Hybrid Behavioral Testing of NLP Models with Synthetic CheckLists
A Review and Efficient Implementation of Scene Graph Generation Metrics
Randomized Benchmarking of Local Zeroth-Order Optimizers for Variational Quantum Systems
NorEval: A Norwegian Language Understanding and Generation Evaluation Benchmark
AutoPenBench: Benchmarking Generative Agents for Penetration Testing
AutoPenBench: Benchmarking Generative Agents for Penetration Testing
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.