Milan Gritta

milangritta's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in bytedance-research/BFS-Prover 5 days ago

Code/Data Release

2

#1 opened 8 days ago by

milangritta

upvoted a collection 19 days ago

LeanDojo

Collection

Machine learning for theorem proving in Lean: https://leandojo.org/ • 10 items • Updated Jul 23, 2024 • 2

liked a dataset 4 months ago

huawei-noah/human_rank_eval

Viewer • Updated Jul 25, 2024 • 7k • 222 • 2

upvoted a paper 5 months ago

Large Language Models Orchestrating Structured Reasoning Achieve Kaggle Grandmaster Level

Paper • 2411.03562 • Published Nov 5, 2024 • 67

New activity in huawei-noah/human_rank_eval 5 months ago

Are these votes really reliable indicators?

3

#3 opened 5 months ago by

Ouz-G

updated a dataset 8 months ago

huawei-noah/human_rank_eval

Viewer • Updated Jul 25, 2024 • 7k • 222 • 2

New activity in huawei-noah/human_rank_eval 8 months ago

Librarian Bot: Add language metadata for dataset

1

#2 opened 8 months ago by

librarian-bot

upvoted a paper 8 months ago

HumanRankEval: Automatic Evaluation of LMs as Conversational Assistants

Paper • 2405.09186 • Published May 15, 2024 • 22

upvoted a paper 9 months ago

ROS-LLM: A ROS framework for embodied AI with task feedback and structured reasoning

Paper • 2406.19741 • Published Jun 28, 2024 • 62

liked 2 Spaces over 1 year ago

Running

4.2k

4.2k

Chatbot Arena Leaderboard

🏆

Display chatbot leaderboard and stats

Running on CPU Upgrade

12.8k

12.8k

Open LLM Leaderboard

🏆

Track, rank and evaluate open LLMs and chatbots

upvoted a paper over 1 year ago

PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback

Paper • 2307.14936 • Published Jul 27, 2023 • 41