In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic μMALL : linear logic extended with least and ...
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.
Circuit Size,Collusion,Computational Efficiency,Elliptic Curve,Endomorphism Ring,Hash Function,Information Leakage,Random Bits,Random String,Random Walk,Reduce Time ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback