LCS-Bench

What is LCS-Bench?

LCS-Bench is a theory-scale benchmark for auto-formalization in logics for computer science. It includes 327 textbook items, over 4,076 Lean declarations, and…

Released

2026-06-25

Evaluates

Language & Knowledge, Mathematics & Formal Science, cs.LG

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2606.26525

LCS-Bench paper

• Paper https://arxiv.org/abs/2606.26525

Which sources cite LCS-Bench?

• LCS-Bench

Related Language & Knowledge, Mathematics & Formal Science, cs.LG benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• AARRI-Bench
• ABC-Bench
• ActiveSciBench
• AdaMem-Bench
• AdvancedMathBench
• AdversaBench