CBSE Class 10 Maths Assertion & Reasoning Questions (2025-26): Assertion & Reasoning questions are an important part of the competency-based questions in the CBSE Class 10 Maths exam. These questions ...
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