Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
arxiv.orgยท4h
List is a monad
alexyorke.github.ioยท16h
๐ฒ Evolving Integer Compression Algorithms with LLMs
mathieularose.comยท16h
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.orgยท4h
Audit-of-Understanding: Posterior-Constrained Inference for Mathematical Reasoning in Language Models
arxiv.orgยท4h
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.instituteยท1d
ReFIne: A Framework for Trustworthy Large Reasoning Models with Reliability, Faithfulness, and Interpretability
arxiv.orgยท1d
Loading...Loading more...