Spaces:

LG-Anonym
/

VerifiableRewardsForScalableLogicalReasoning

Sleeping

LG-Anonym commited on 6 days ago

Commit

2f16f05

verified ·

1 Parent(s): d5296d6

Update README.md

Files changed (1) hide show

README.md CHANGED Viewed

@@ -16,7 +16,7 @@ description: >-
     VerifiableRewardsForScalableLogicalReasoning is a metric for evaluating logical reasoning in AI systems by providing verifiable rewards. It computes rewards through symbolic execution of candidate solutions against validation programs, enabling automatic, transparent and reproducible evaluation in AI systems.
 ---
-# Metric Card for Symbolic Judge: Verifiable Rewards for Scalable Logical Reasoning
 This metric is part of the SLR framework (LG-Anonym/SLR-Bench) and provides rewards for logical reasoning tasks.
 THe reward model is grounded in the ILP (Inductive Logic Programming) paradigm, testing whether a given hypothesis (logic rule) solves a logical reasoning task.

     VerifiableRewardsForScalableLogicalReasoning is a metric for evaluating logical reasoning in AI systems by providing verifiable rewards. It computes rewards through symbolic execution of candidate solutions against validation programs, enabling automatic, transparent and reproducible evaluation in AI systems.
 ---
+# Metric Card for Verifiable Logic Rewards
 This metric is part of the SLR framework (LG-Anonym/SLR-Bench) and provides rewards for logical reasoning tasks.
 THe reward model is grounded in the ILP (Inductive Logic Programming) paradigm, testing whether a given hypothesis (logic rule) solves a logical reasoning task.