ENTITY LOGIC-Climate

LOGIC-Climate

PulseAugur coverage of LOGIC-Climate — every cluster mentioning LOGIC-Climate across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_104772 · Jun 20 · 04:10

New framework ForEx verifies LLM reasoning in logical fallacy detection

Researchers have developed ForEx, a novel framework designed to formally verify the reasoning processes of Large Language Models (LLMs) in detecting logical fallacies. This system translates LLM explanations into Lean4,…