Update score formula

src/leaderboard/read_evals.py

@@ -123,20 +123,17 @@ class EvalResult:
         # average = sum([v for v in self.results.values() if v is not None]) / len(Tasks)
         scores = {
             'naive_judge': self.results.get('naive_judge', 0),
-            'human_eval_solidity_pass_1': self.results.get('human_eval_solidity_pass_1', 0),
             'human_eval_solidity_pass_3': self.results.get('human_eval_solidity_pass_3', 0),
         }
 
         # Set soliditybench score to 0 if HumanEval scores are not present
-        if (scores['human_eval_solidity_pass_1'] == 0 and 
-                scores['human_eval_solidity_pass_3'] == 0):
+        if scores['human_eval_solidity_pass_3'] == 0:
             soliditybench = 0
         else:
             non_zero_scores = {k: v for k, v in scores.items() if v != 0}
             weights = {
-                'naive_judge': 0.1,
-                'human_eval_solidity_pass_1': 0.5,
-                'human_eval_solidity_pass_3': 0.4,
+                'naive_judge': 0.15,
+                'human_eval_solidity_pass_3': 0.85,
             }
             total_weight = sum(weights[k] for k in non_zero_scores)
             soliditybench = sum(