yemigraffix/beam-regexlogic-rlvr
RegexLogic-RLVR: Formal Automata and ReDoS Verification for Beam RegexLogic-RLVR is an execution-verified reasoning benchmark and synthetic dataset evaluating reflection/Beam-1.0-501B-A23B on formal regular expression synthesis, automata state constraints, and Catastrophic Backtracking (ReDoS) immunity. Unlike subjective LLM-as-a-judge benchmarks, every model output in this dataset is evaluated by a 4-stage deterministic Python verifier: Compilation Check: Syntactic validity in… See the full description on the dataset page: https://huggingface.co/datasets/yemigraffix/beam-regexlogic-rlvr.
| Author / organization | yemigraffix |
|---|---|
| License (as declared) | apache-2.0 |
| Downloads | 0 (as reported by Hugging Face) |
| Likes | 1 |
| Created | 23 October 2026 |
| Last updated at source | 23 October 2026 |
Recent changes
- 23 Oct 2026 Description: 🛡️ RegexLogic-RLVR: Formal Automata & ReDoS Verification for Beam RegexLogic-RLVR is an execution-verified reasoning benchmark and synthetic dataset evaluating reflection/Beam-1.0-501B-A23B on formal regular expression synthesis, automata → RegexLogic-RLVR: Formal Automata and ReDoS Verification for Beam RegexLogic-RLVR is an execution-verified reasoning benchmark and synthetic dataset evaluating reflection/Beam-1.0-501B-A23B on formal regular expression synthesis, automata st
Changes detected by Silytics between refreshes of the source.
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 23 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.