Formal Logic
Emerging1papers using it
2026first seen
The 'Formal Logic' dataset/benchmark contains mathematical problems encoded in formal logic to evaluate the effectiveness of large language models' safety mechanisms against harmful prompts.
The 'Formal Logic' dataset/benchmark contains mathematical problems encoded in formal logic to evaluate the effectiveness of large language models' safety mechanisms against harmful prompts.