Spaces:
				
			
			
	
			
			
					
		Running
		
			on 
			
			CPU Upgrade
	
	
	
			
			
	
	
	
	
		
		
					
		Running
		
			on 
			
			CPU Upgrade
	Clean up
Browse files
    	
        app.py
    CHANGED
    
    | @@ -256,7 +256,7 @@ leaderboard_df = filter_models( | |
| 256 | 
             
            initial_columns = ["T"] + [
         | 
| 257 | 
             
                c.name for c in fields(AutoEvalColumn) if (c.never_hidden or c.displayed_by_default) and c.name != "T"
         | 
| 258 | 
             
            ]
         | 
| 259 | 
            -
             | 
| 260 |  | 
| 261 |  | 
| 262 | 
             
            # Leaderboard demo
         | 
| @@ -481,7 +481,7 @@ with gr.Blocks() as demo_leaderboard: | |
| 481 |  | 
| 482 | 
             
                # DataFrameコンポーネントの初期化
         | 
| 483 | 
             
                leaderboard_table = gr.Dataframe(
         | 
| 484 | 
            -
                    value= | 
| 485 | 
             
                    headers=initial_columns,
         | 
| 486 | 
             
                    datatype=TYPES,
         | 
| 487 | 
             
                    elem_id="leaderboard-table",
         | 
|  | |
| 256 | 
             
            initial_columns = ["T"] + [
         | 
| 257 | 
             
                c.name for c in fields(AutoEvalColumn) if (c.never_hidden or c.displayed_by_default) and c.name != "T"
         | 
| 258 | 
             
            ]
         | 
| 259 | 
            +
            leaderboard_df = select_columns(leaderboard_df, initial_columns)
         | 
| 260 |  | 
| 261 |  | 
| 262 | 
             
            # Leaderboard demo
         | 
|  | |
| 481 |  | 
| 482 | 
             
                # DataFrameコンポーネントの初期化
         | 
| 483 | 
             
                leaderboard_table = gr.Dataframe(
         | 
| 484 | 
            +
                    value=leaderboard_df,
         | 
| 485 | 
             
                    headers=initial_columns,
         | 
| 486 | 
             
                    datatype=TYPES,
         | 
| 487 | 
             
                    elem_id="leaderboard-table",
         | 

