LukasHug commited on
Commit
ad4ae3a
·
1 Parent(s): 27f212c
verifiablerewardsforscalablelogicalreasoning.py → VerifiableRewardsForScalableLogicalReasoning.py RENAMED
File without changes
app.py CHANGED
@@ -256,5 +256,5 @@ Evaluations performed by the symbolic judge are fully verifiable and grounded in
256
  return demo
257
 
258
  # Use a local path instead of a module name
259
- module = evaluate.load("AIML-TUDA/verifiablerewardsforscalablelogicalreasoning")
260
  create_interface(module).launch()
 
256
  return demo
257
 
258
  # Use a local path instead of a module name
259
+ module = evaluate.load("AIML-TUDA/VerifiableRewardsForScalableLogicalReasoning")
260
  create_interface(module).launch()