https://github.com/sphere-ai-lab/formalmath-bench
공식 코드FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
태스크의 하위 분류와 논문·코드·평가·기법·데이터셋을 탐색하세요.
관련 논문과 평가 결과에 연결된 구현입니다. 출처에서 확인된 저자 구현에는 공식 코드 표시가 있습니다.
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
DiagnosisArena: Benchmarking Diagnostic Reasoning for Large Language Models
A Manually Annotated Image-Caption Dataset for Detecting Children in the Wild
FNBench: Benchmarking Robust Federated Learning against Noisy Labels
GADBench: Revisiting and Benchmarking Supervised Graph Anomaly Detection
GraphArena: Benchmarking Large Language Models on Graph Computational Problems
Capsule Vision 2024 Challenge: Multi-Class Abnormality Classification for Video Capsule Endoscopy
Position: Quo Vadis, Unsupervised Time Series Anomaly Detection?
Towards Heterogeneous Long-tailed Learning: Benchmarking, Metrics, and Toolbox
Image2Struct: Benchmarking Structure Extraction for Vision-Language Models
MedAgentBench: A Realistic Virtual EHR Environment to Benchmark Medical LLM Agents
High-Quality, ROS Compatible Video Encoding and Decoding for High-Definition Datasets
EV2Gym: A Flexible V2G Simulator for EV Smart Charging Research and Benchmarking
3D fluorescence microscopy data synthesis for segmentation and benchmarking
A Continuous Information Gain Measure to Find the Most Discriminatory Problems for AI Benchmarking
One Law, Many Languages: Benchmarking Multilingual Legal Reasoning for Judicial Support
Mind the Gap: Benchmarking Spatial Reasoning in Vision-Language Models
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents
StreamBench: Towards Benchmarking Continuous Improvement of Language Agents
Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs
CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
IML-ViT: Benchmarking Image Manipulation Localization by Vision Transformer
Benchmarking the Robustness of Deep Neural Networks to Common Corruptions in Digital Pathology
A comparison of translation performance between DeepL and Supertext
WattsOnAI: Measuring, Analyzing, and Visualizing Energy and Carbon Footprint of AI Workloads
Does BERT Learn as Humans Perceive? Understanding Linguistic Styles through Lexica
출처: Papers with Code · CC BY-SA 4.0. 아카이브 자료와 새로 수집한 논문은 별도로 관리합니다.