The British chemist Lesley Orgel had a rule: Evolution is cleverer than you. Antibiotic-resistant bacteria have repeatedly proven him right. Since humans started making antibiotics for ourselves in ...
This is the implementation of the paper LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models, published in EMNLP 2025 Main Conference.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results